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

From ApCoCoAWiki
(Created page with "{{Version|2}} <command> <title>SB.GetTruncSAGBI</title> <short_description>This function returns a truncated SAGBI basis of a given standard-graded subalgebra.</short_desc...")
 
m (upsi!)
Line 32: Line 32:
  
 
   <types>
 
   <types>
     <type> </type>
+
     <type>subalgebra</type>
     <type> </type>
+
     <type>poly_list</type>
 +
    <type>int</type>
 
   </types>
 
   </types>
  
   <key> </key>
+
   <key>GetTruncSAGBI</key>
   <key> </key>
+
   <key>SB.GetTruncSAGBI</key>
   <key> </key>
+
   <key>apcocoa/sagbi.GetTruncSAGBI</key>
  
   <wiki-category>Package </wiki-category>
+
   <wiki-category>Package sagbi</wiki-category>
  
 
</command>
 
</command>

Revision as of 14:52, 26 October 2020

This article is about a function from ApCoCoA-2.

SB.GetTruncSAGBI

This function returns a truncated SAGBI basis of a given standard-graded subalgebra.

Syntax

SB.GetTruncSAGBI(ref S: TAGGED(<quotes>$apcocoa/sagbi.Subalgebra</quotes>), d: INT): LIST of POLY

Description

This function takes a subalgebra S generated by homogeneous polynomials as a reference, computes a d-truncated SAGBI basis, returns it and saves it into S if the function wasn't called previously. If the function was called previously on the same subalgebra with the same or a higher truncation degree d, then it just returns the truncated SAGBI basis of S.

  • @param S A subalgebra

  • @param d A positive integer

  • @return A d-truncated SAGBI basis of S

Example

 

See also

HowTo:Call by Reference

HowTo:Term Orderings

Package sagbi/SB.GetTruncDeg

Package sagbi/SB.TruncSAGBI

Package sagbi/SB.GetID

Package sagbi/SB.GetRing

Package sagbi/SB.GetGens

Package sagbi/SB.GetCoeffRing

Package sagbi/SB.GetSAGBI

Package sagbi/SB.GetLTSA

Package sagbi/SB.GetInDeg

Package sagbi/SB.GetHS