Vayun

10 Reputation

2 Badges

14 years, 7 days

MaplePrimes Activity


These are questions asked by Vayun

Hello everyone,

Groebner[NormalForm] fails to produce quotients for the members of Ideal when MonomialOrder is constructed with Ore_algebra.

e.g. Groebner[NormalForm](F[1], G, T, 'Q');
results in "Error, (in Groebner:-NormalForm) numeric exception: division by zero"
if F[1] in <G> and T is MonomialOrder

But it works if we dont ask for quotients or use ShortMonomialOrder

Any ideas if it is intended behaviour or a bug?

Steps to reproduce:

Page 1 of 1