Opened 8 years ago
Last modified 8 years ago
#766 new bug
revival of ticket 744: bug in normalP() or norTest() (normal.lib)
Reported by: | 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
Note: See
TracTickets for help on using
tickets.