Opened 13 years ago

Last modified 13 years ago

#215 new bug

wrong result of PH_ais (phindex.lib) for some instances?

Reported by: Iwona Karolkiewicz (ikarol@… Owned by: decker@…
Priority: minor Milestone: 3-1-1
Component: singular-libs Version: 3-1-1
Keywords: phais phindex.lib Cc: ikarol@…

Description

ring r=0, (x_1,x_2,x_3), ds; LIB "phindex.lib"; ideal I=4*x_13-2*x_1*x_32-x_15,2*x_2*x_32-x_25,-2*x_12*x_3+2*x_22*x_3-x_35; PH_ais(I); =4 vs. -3 ideal J=-4*x_13+2*x_1*x_32-x_15,2*x_2*x_32-x_25,-2*x_12*x_3+2*x_22*x_3-x_35; PH_ais(J); SINGULAR says -4 vs. Theory says 3(?)

ring r=0, (x_1,x_2,x_3), ds; LIB "phindex.lib"; ideal I=2*x_1*x_22*x_32-x_17,2*x_12*x_2*x_32-x_27,2*x_12*x_22*x_3-x_37; PH_ais(I); =5 vs. 7 ideal J=-2*x_1*x_22*x_32-x_17,-2*x_12*x_2*x_32-x_27,-2*x_12*x_22*x_3-x_37; PH_ais(J); SINGULAR says -5 vs. Theory says -1(?)

Attachments (1)

counterexamples_PH_ais.pdf (109.9 KB) - added by seelisch 13 years ago.
two counterexamples for PHais

Download all attachments as: .zip

Change History (2)

Changed 13 years ago by seelisch

Attachment: counterexamples_PH_ais.pdf added

two counterexamples for PHais

comment:1 Changed 13 years ago by seelisch

Owner: changed from Victor Castellanos to decker@…
Note: See TracTickets for help on using tickets.