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

From ApCoCoAWiki
(Created page with "{{Version|2}} <command> <title>SB.GetHS</title> <short_description>This function returns the Hilbert series of a given standard-graded subalgebra.</short_description>...")
 
m (replaced <quotes> tags by real quotes)
 
Line 4: Line 4:
 
   <short_description>This function returns the Hilbert series of a given standard-graded subalgebra.</short_description>
 
   <short_description>This function returns the Hilbert series of a given standard-graded subalgebra.</short_description>
 
    
 
    
   <syntax>SB.GetHS(ref S: TAGGED(<quotes>$apcocoa/sagbi.Subalgebra</quotes>)): TAGGED(<quotes>$hp.PSeries</quotes>)</syntax>
+
   <syntax>SB.GetHS(ref S: TAGGED("$apcocoa/sagbi.Subalgebra")): TAGGED("$hp.PSeries")</syntax>
 
   <description>
 
   <description>
 
This function computes the Hilbert series of <tt>S</tt>, stores it in <tt>S</tt> and returns it. If the Hilbert series of <tt>S</tt> was already computed and stored in <tt>S</tt>, then it returns the stored Hilbert series.
 
This function computes the Hilbert series of <tt>S</tt>, stores it in <tt>S</tt> and returns it. If the Hilbert series of <tt>S</tt> was already computed and stored in <tt>S</tt>, then it returns the stored Hilbert series.

Latest revision as of 13:20, 29 October 2020

This article is about a function from ApCoCoA-2.

SB.GetHS

This function returns the Hilbert series of a given standard-graded subalgebra.

Syntax

SB.GetHS(ref S: TAGGED("$apcocoa/sagbi.Subalgebra")): TAGGED("$hp.PSeries")

Description

This function computes the Hilbert series of S, stores it in S and returns it. If the Hilbert series of S was already computed and stored in S, then it returns the stored Hilbert series.

  • @param ref S A standard-graded subalgebra, i.e. a subalgebra generated by homogeneous polynomials

  • @return The Hilbert series of S

Example

Use R ::= QQ[x,y,z];
S := SB.Subalgebra(R,[x^2,y+z]);
PrintLn SB.GetHS(S);
-----------------------------------------------------------------------------
---  Non-simplified HilbertPoincare' Series  ---
(1) / ( (1-t^2)*(1-t) )

See also

HowTo:Gradings

Package sagbi/SB.GetID

Package sagbi/SB.GetRing

Package sagbi/SB.GetGens

Package sagbi/SB.GetCoeffRing

Package sagbi/SB.GetSAGBI

Package sagbi/SB.GetTruncSAGBI

Package sagbi/SB.GetTruncDeg

Package sagbi/SB.GetLTSA

Package sagbi/SB.GetInDeg