Bug #1026
JanetBasis gives error indet index out of range
Description
The following input gives an error:
use QQ[x,y,z],lex; I := ideal(-x^2*y -x +z^3, -x^2*y +x^2*z +y^2, x^3 +y^3); JB := JanetBasis(I); --> ERROR: Indeterminate index out of range
It works fine if I do not specify lex
ordering.
History
#1 Updated by John Abbott about 7 years ago
There is a certain irony in finding this problem just 5 minutes after Mario left for good...
Is the implementation not valid for lex
ordering? If that is the case, then a better error message should be produced.
NOTE this input generators are ones which give large coeffs during the computation of a lex
Gbasis (even though the final result is not that horrible -- see issue #1025).