Package sagbi/SB.GetCoeffRing
From ApCoCoAWiki
< Package sagbi
Revision as of 14:19, 26 October 2020 by Andraschko (talk | contribs) (Created page with "{{Version|2}} <command> <title>SB.GetCoeffRing</title> <short_description>This function returns the coefficient ring of a given subalgebra similar to the CoCoA function <t...")
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