Difference between revisions of "Package sagbi/SB.GetHS"
From ApCoCoAWiki
Andraschko (talk | contribs) (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( | + | <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
Package sagbi/SB.GetTruncSAGBI