Project

General

Profile

Bug #1026

JanetBasis gives error indet index out of range

Added by John Abbott over 1 year ago. Updated over 1 year ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
Buggy Maths
Target version:
Start date:
08 Mar 2017
Due date:
% Done:

0%

Estimated time:
Spent time:

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 over 1 year 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).

Also available in: Atom PDF