Package sagbi/SB.GetCoeffRing
From ApCoCoAWiki
| This article is about a function from ApCoCoA-2. |
SB.GetCoeffRing
This function returns the coefficient ring of a given subalgebra similar to the CoCoA function CoeffRing.
Syntax
SB.GetCoeffRing(S: TAGGED(<quotes>$apcocoa/sagbi.Subalgebra</quotes>)): RING
Description
Takes a subalgebra S of a polynomial ring R and returns the coefficient ring of R
@param S A subalgebra
@return the coefficient ring of S
Example
Use R ::= QQ[x,y,z]; S := SB.Subalgebra(R,[x^2,y+z]); PrintLn SB.GetCoeffRing(S); -- QQ
See also
Package sagbi/SB.GetTruncSAGBI
