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

From ApCoCoAWiki
(Created page with "{{Version|2}} <command> <title>SB.GetGens</title> <short_description>Returns a set of generators of a given subalgebra</short_description> <syntax>SB.GetGens(S: TAGGE...")
 
m (replaced <quotes> tags by real quotes)
 
(2 intermediate revisions by one other user not shown)
Line 20: Line 20:
  
 
   <seealso>
 
   <seealso>
 +
    <see>Package sagbi/SB.Subalgebra</see>
 
     <see>Package sagbi/SB.GetID</see>
 
     <see>Package sagbi/SB.GetID</see>
 
     <see>Package sagbi/SB.GetRing</see>
 
     <see>Package sagbi/SB.GetRing</see>

Latest revision as of 13:20, 29 October 2020

This article is about a function from ApCoCoA-2.

SB.GetGens

Returns a set of generators of a given subalgebra

Syntax

SB.GetGens(S: TAGGED("$apcocoa/sagbi.Subalgebra")): LIST of POLY

Description

This function returns a set G such that S = K[g|g in G] where K is the coefficient ring of S.

  • @param S A subalgebra

  • @return a set of generators of S

Example

Use R ::= QQ[x,y,z];
S := SB.Subalgebra(R,[x^2,y+z]);
PrintLn SB.GetGens(S);
-- [x^2,  y +z]

See also

Package sagbi/SB.Subalgebra

Package sagbi/SB.GetID

Package sagbi/SB.GetRing

Package sagbi/SB.GetCoeffRing

Package sagbi/SB.GetSAGBI

Package sagbi/SB.GetTruncSAGBI

Package sagbi/SB.GetTruncDeg

Package sagbi/SB.GetLTSA

Package sagbi/SB.GetInDeg

Package sagbi/SB.GetHS