Opened 7 years ago

Last modified 6 years ago

#766 new bug

revival of ticket 744: bug in normalP() or norTest() (normal.lib)

Reported by: jakobkroeker.academic@… Owned by: laplagne
Priority: minor Milestone: 4-1-0 and higher
Component: dontKnow Version: 4-0-3
Keywords: bug normalP norTest Cc:

Description

normalP() or norTest() is wrong:

LIB("primdec.lib");     
LIB("normal.lib");    
     
proc norExample2()
{
     ring r = 2,(x,y),dp;
     ideal I = x+1,y;
     // check that I is radical and prime:
     ASSUME(0, idealsEqual(I, primdecGTZ(I)[1][2]));     
     list nor = normalP(I, "withRing"); 
     def norTestResult   = norTest(I, nor); 
     print ("norTest: ([1,1,1] if ok!) ");
     norTestResult;     
}

norExample2();

output:

. norExample2();
1
0
norTest: ([1,1,1] if ok!) 
1,0,1

Change History (1)

comment:1 Changed 6 years ago by hannes

Owner: changed from somebody to laplagne
Note: See TracTickets for help on using tickets.