Opened 8 years ago

Closed 8 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 8 years ago by Oleksandr

Owner: changed from somebody to pfister

comment:2 Changed 8 years ago by hannes

Resolution: → fixed
Status: new → closed

fixed by Pfister with 3a823d31cc10c360f47890e903f0104a00e4f97b

Note: See TracTickets for help on using tickets.