Difference between revisions of "Package sagbi/SB.GetCoeffRing"

From ApCoCoAWiki
(added see item)
m (replaced <quotes> tags by real quotes)
 
Line 4: Line 4:
 
   <short_description>This function returns the coefficient ring of a given subalgebra similar to the CoCoA function <tt>CoeffRing</tt>.</short_description>
 
   <short_description>This function returns the coefficient ring of a given subalgebra similar to the CoCoA function <tt>CoeffRing</tt>.</short_description>
 
    
 
    
   <syntax>SB.GetCoeffRing(S: TAGGED(<quotes>$apcocoa/sagbi.Subalgebra</quotes>)): RING</syntax>
+
   <syntax>SB.GetCoeffRing(S: TAGGED("$apcocoa/sagbi.Subalgebra")): RING</syntax>
 
   <description>
 
   <description>
 
Takes a subalgebra <tt>S</tt> of a polynomial ring <tt>R</tt> and returns the coefficient ring of <tt>R</tt>
 
Takes a subalgebra <tt>S</tt> of a polynomial ring <tt>R</tt> and returns the coefficient ring of <tt>R</tt>

Latest revision as of 13:20, 29 October 2020

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.Subalgebra

Package sagbi/SB.GetID

Package sagbi/SB.GetRing

Package sagbi/SB.GetGens

Package sagbi/SB.GetSAGBI

Package sagbi/SB.GetTruncSAGBI

Package sagbi/SB.GetTruncDeg

Package sagbi/SB.GetLTSA

Package sagbi/SB.GetInDeg

Package sagbi/SB.GetHS