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

From ApCoCoAWiki
(Created page with "{{Version|2}} <command> <title>SB.GetSAGBI</title> <short_description>This function returns the reduced SAGBI basis of a given subalgebra.</short_description> <syntax...")
 
m (replaced <quotes> tags by real quotes)
 
Line 4: Line 4:
 
   <short_description>This function returns the reduced SAGBI basis of a given subalgebra.</short_description>
 
   <short_description>This function returns the reduced SAGBI basis of a given subalgebra.</short_description>
 
    
 
    
   <syntax>SB.GetSAGBI(ref S: TAGGED(<quotes>$apcocoa/sagbi.Subalgebra</quotes>): LIST of POLY</syntax>
+
   <syntax>SB.GetSAGBI(ref S: TAGGED("$apcocoa/sagbi.Subalgebra"): LIST of POLY</syntax>
 
   <description>
 
   <description>
 
This function takes a subalgebra <tt>S</tt> as a reference, computes its unique reduced SAGBI basis, returns it and saves it into <tt>S</tt> if the function wasn't called previously. If the function was called previously on the same subalgebra, then it just returns the reduced SAGBI basis of <tt>S</tt>. If no finite SAGBI basis is found after 120 seconds, the function stops and returns an error.
 
This function takes a subalgebra <tt>S</tt> as a reference, computes its unique reduced SAGBI basis, returns it and saves it into <tt>S</tt> if the function wasn't called previously. If the function was called previously on the same subalgebra, then it just returns the reduced SAGBI basis of <tt>S</tt>. If no finite SAGBI basis is found after 120 seconds, the function stops and returns an error.

Latest revision as of 13:21, 29 October 2020

This article is about a function from ApCoCoA-2.

SB.GetSAGBI

This function returns the reduced SAGBI basis of a given subalgebra.

Syntax

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

Description

This function takes a subalgebra S as a reference, computes its unique reduced 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, then it just returns the reduced SAGBI basis of S. If no finite SAGBI basis is found after 120 seconds, the function stops and returns an error.

  • @param S A subalgebra

  • @return The reduced SAGBI basis of S

Example

Use R ::= QQ[x,y];
fs := [x^2*y,  x^2 -y^2,  x^2*y^2 -y^4,  x^2*y^4];
S := SB.Subalgebra(R,fs);
PrintLn SB.GetSAGBI(ref S);
-- [x^2 -y^2,  x^2*y,  x^2*y^2 -y^4,  y^6,  x^2*y^4]

See also

HowTo:Term Orderings

HowTo:Call by Reference

Package sagbi/SB.SAGBI

Package sagbi/SB.Subalgebra

Package sagbi/SB.GetID

Package sagbi/SB.GetRing

Package sagbi/SB.GetGens

Package sagbi/SB.GetCoeffRing

Package sagbi/SB.GetTruncSAGBI

Package sagbi/SB.GetTruncDeg

Package sagbi/SB.GetLTSA

Package sagbi/SB.GetInDeg

Package sagbi/SB.GetHS