|
D.15.19.2 sagbiByDegree
Procedure from library sagbiNormaliz.lib (see sagbiNormaliz_lib).
- Usage:
- sagbiByDegree(ideal Q, int sagbiDegreeBound [,int sorting, int verb]);
- Return:
- RETURN: An ideal whose generators form the Sagbi basis of the algebra generated
by the polynomials inin degrwees <= Sagbi_degree_bound.
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.
Example:
| LIB "sagbiNormaliz.lib";
ring R = 0, (x,y,z),dp;
ideal P = x^6+y^6+z^6, x^7+y^7+z^7, x^8+y^8+z^8;
ideal Q;
int success;
// degree bound 40, no sorting, no terminal output
(Q,success) = sagbiByDegree(P,40,0,0);
lead(Q);
==> _[1]=x6
==> _[2]=x7
==> _[3]=x8
==> _[4]=x8y6
==> _[5]=x18y6
==> _[6]=x23y7
==> _[7]=x25y7
"Note: success = 1 <==> Unknown whether complete";
==> Note: success = 1 <==> Unknown whether complete
"success",success;
==> success 1
|
|