|
 |
 |
 |
 |
 |
 |
 |
 |
 |
D.15.19.1 sagbiGeneral
Procedure from librarysagbiNormaliz.lib (see sagbiNormaliz_lib).
- Usage:
- sagbiGeneral(ideal Q [, int sagbiMaxRounds, int sorting, int verb]));
- Return:
- An ideal whose generators form the Sagbi basis of the algebra generated
by the polynomials in Q as far as computwed in at most sagbiMaxRounds.
If sorting is set, the compouted elements are degrevlex sorted before a round of the algorithm. The optional parameter verb sets the terminal output. Fefault is 1 = on.
The component has a second integer component. Its possible values are: 0, if the full Sagbi basis has not been reached, 1 if this is unknown, and 2 if the full Sagbi basis has been computed.
LIB "sagbiNormaliz.lib"; ring R = 0, (x,y,z),dp; ideal P = x^6+y^6+z^6, x^7+y^7+z^7; ideal Q; int success; // at most 3 rounds, no sorting, no terminal output (Q,success) = sagbiGeneral(P,3,0,0); Q; ==> Q[1]=x6+y6+z6 ==> Q[2]=x7+y7+z7 ==> Q[3]=x36y6-6/7x35y7+3x30y12-15/7x28y14+5x24y18-20/7x21y21+5x18y24-15/7x14\ y28+3x12y30-6/7x7y35+x6y36+x36z6+6x30y6z6+15x24y12z6+20x18y18z6+15x12y24z\ 6+6x6y30z6+y36z6-6/7x35z7-30/7x28y7z7-60/7x21y14z7-60/7x14y21z7-30/7x7y28\ z7-6/7y35z7+3x30z12+15x24y6z12+30x18y12z12+30x12y18z12+15x6y24z12+3y30z12\ -15/7x28z14-60/7x21y7z14-90/7x14y14z14-60/7x7y21z14-15/7y28z14+5x24z18+20\ x18y6z18+30x12y12z18+20x6y18z18+5y24z18-20/7x21z21-60/7x14y7z21-60/7x7y14\ z21-20/7y21z21+5x18z24+15x12y6z24+15x6y12z24+5y18z24-15/7x14z28-30/7x7y7z\ 28-15/7y14z28+3x12z30+6x6y6z30+3y12z30-6/7x7z35-6/7y7z35+x6z36+y6z36 "Note: success = 2 <==> Sagbi basi complete"; ==> Note: success = 2 <==> Sagbi basi complete "success",success; ==> success 2 |