|
D.4.23.1 sagbiSPoly
Procedure from library sagbi.lib (see sagbi_lib).
- Usage:
- sagbiSPoly(A[, returnRing, meth]); A is an ideal, returnRing and meth are integers.
- Return:
- ideal or ring
- Assume:
- basering is not a qring
- Purpose:
- Returns SAGBI S-polynomials of the leading terms of a given ideal A if returnRing=0.
Otherwise returns a new ring containing the ideals algebraicRelations
and spolynomials, where these objects are explained by their name.
See the example on how to access these objects.
@format The other optional argument meth determines which method is
used for computing the algebraic relations.
- If meth=0 (default), the procedure std is used.
- If meth=1, the procedure slimgb is used.
- If meth=2, the prodecure uses toric_ideal.
@end format
Example:
|