Opened 10 years ago

Closed 9 years ago

#682 closed bug (fixed)

minAssGTZ() call ends in 'nesting too deep' error

Reported by: kroeker@… Owned by: pfister
Priority: minor Milestone: 4-1-0 and higher
Component: singular-libs Version: 4-0-1
Keywords: nesting too deep minAssGTZ Cc:

Description

The following example succeeds with maximum call level depth = 7

LIB("primdec.lib");
ring rng = (18457),(xx,yy,zz,ww),dp;
ideal I = -172*xx^2+57*xx*yy*zz-36*zz^2*ww,146*xx*yy^2+129*xx*zz;
TRACE = 1;
minAssGTZ (I,"GTZ");

but when adding another level of indirection, the algorithm recursion does not stop, ending in a 'nesting too deep'-Error:

proc anotherIndirection()
{
    LIB("primdec.lib");
    ring rng = (18457),(xx,yy,zz,ww),dp;
    ideal I = -172*xx^2+57*xx*yy*zz-36*zz^2*ww,146*xx*yy^2+129*xx*zz;

    minAssGTZ (I,"GTZ");
}
TRACE = 0;
anotherIndirection(); //  ? nesting too deep

This issue may related to the hardcoded 'voice' checks in 'primdec.lib'

Change History (2)

comment:1 Changed 9 years ago by Oleksandr

Owner: changed from somebody to pfister

comment:2 Changed 9 years ago by hannes

Resolution: fixed
Status: newclosed
Note: See TracTickets for help on using tickets.