Package sagbi/SB.GetCoeffRing
From ApCoCoAWiki
< Package sagbi
Revision as of 13:20, 29 October 2020 by AndraschkoBot (talk | contribs) (replaced <quotes> tags by real quotes)
| 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("$apcocoa/sagbi.Subalgebra")): 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
