Opened 14 years ago
Last modified 14 years ago
#215 new bug
wrong result of PH_ais (phindex.lib) for some instances?
Reported by: | Owned by: | ||
---|---|---|---|
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)
Change History (2)
Changed 14 years ago by
Attachment: | counterexamples_PH_ais.pdf added |
---|
comment:1 Changed 14 years ago by
Owner: | changed from Victor Castellanos to decker@… |
---|
Note: See
TracTickets for help on using
tickets.
two counterexamples for PHais