Difference between revisions of "Package sagbi/SB.Subalgebra"
From ApCoCoAWiki
Andraschko (talk | contribs) (Created page with "{{Version|2}} <command> <title>SB.Subalgebra</title> <short_description>Creates a subalgebra given the base ring and a list of generators.</short_description> <syn...") |
m (replaced <quotes> tags by real quotes) |
||
| (5 intermediate revisions by one other user not shown) | |||
| Line 1: | Line 1: | ||
{{Version|2}} | {{Version|2}} | ||
| − | |||
<command> | <command> | ||
| − | |||
<title>SB.Subalgebra</title> | <title>SB.Subalgebra</title> | ||
<short_description>Creates a subalgebra given the base ring and a list of generators.</short_description> | <short_description>Creates a subalgebra given the base ring and a list of generators.</short_description> | ||
| − | <syntax> | + | <syntax>SB.Subalgebra(R: RING, fs: LIST): TAGGED("$apcocoa/sagbi.Subalgebra")</syntax> |
| − | SB.Subalgebra(R: RING, fs: LIST): TAGGED( | ||
| − | |||
<description> | <description> | ||
| − | This function returns the Subalgebra of a polynomial ring < | + | This function returns the Subalgebra of a polynomial ring <tt>R</tt> generated by the polynomials in the list <tt>fs</tt>. A Subalgebra in this package is a record tagged with "$apcocoa/sagbi.Subalgebra". The record contains the following fields: |
<itemize> | <itemize> | ||
| − | <item>< | + | <item><tt>ID</tt>: A unique ID of the subalgebra, like the ID of a ring, </item> |
| − | <item>< | + | <item><tt>CoeffRing</tt>: The coefficient ring of <tt>R</tt>, </item> |
| − | <item>< | + | <item><tt>Ring</tt>: The ring <tt>R</tt>, </item> |
| − | <item>< | + | <item><tt>gens</tt>: The generators of the subalgebra, so <tt>fs</tt>, </item> |
| − | <item>< | + | <item><tt>SAGBI</tt>: A (truncated) SAGBI basis of the subalgebra, initially <tt>[]</tt>, </item> |
| − | <item>< | + | <item><tt>trunc</tt>: The truncation degree of the current SAGBI basis, initially <tt>0</tt> - is set to -1 if <tt>SAGBI</tt> is a complete SAGBI basis,</item> |
| − | <item>< | + | <item><tt>HS</tt>: The Hilbert series of S, initially 0.</item> |
</itemize> | </itemize> | ||
| − | Note that most of the fields are initially empty and only computed by calling the getter functions of the package. For using truncated SAGBI bases and Hilbert series, the base ring < | + | Note that most of the fields are initially empty and only computed by calling the getter functions of the package. For using truncated SAGBI bases and Hilbert series, the base ring <tt>R</tt> has to be standard graded. |
<itemize> | <itemize> | ||
| − | <item>@param < | + | <item>@param <tt>R</tt> The polynomial ring containing the subalgebra, i.e. the ring of the <tt>fs</tt>. </item> |
| − | <item>@param < | + | <item>@param <tt>fs</tt> A list of polynomials in <tt>R</tt> </item> |
| − | <item>@return The subalgebra of < | + | <item>@return The subalgebra of <tt>R</tt> generated by the polynomials in <tt>fs</tt>, represented as a tagged object.</item> |
</itemize> | </itemize> | ||
<example> | <example> | ||
Use R ::= QQ[x,y,z]; | Use R ::= QQ[x,y,z]; | ||
| − | S := | + | S := SB.Subalgebra(R,[x^2,y+z]); |
PrintLn S; | PrintLn S; | ||
| − | -- SubalgebraWithID(2, QQ[x^2, y +z]) of RingWithID(2, | + | -- SubalgebraWithID(2, QQ[x^2, y +z]) of RingWithID(2, "QQ[x,y,z]")</example> |
| − | |||
</description> | </description> | ||
| Line 50: | Line 45: | ||
<see>Package sagbi/SB.GetLTSA</see> | <see>Package sagbi/SB.GetLTSA</see> | ||
<see>Package sagbi/SB.GetInDeg</see> | <see>Package sagbi/SB.GetInDeg</see> | ||
| + | <see>Package sagbi/SB.GetHS</see> | ||
<see>Package sagbi/SB.IsToricRing</see> | <see>Package sagbi/SB.IsToricRing</see> | ||
<see>Package sagbi/SB.IsGraded</see> | <see>Package sagbi/SB.IsGraded</see> | ||
Latest revision as of 13:22, 29 October 2020
| This article is about a function from ApCoCoA-2. |
SB.Subalgebra
Creates a subalgebra given the base ring and a list of generators.
Syntax
SB.Subalgebra(R: RING, fs: LIST): TAGGED("$apcocoa/sagbi.Subalgebra")
Description
This function returns the Subalgebra of a polynomial ring R generated by the polynomials in the list fs. A Subalgebra in this package is a record tagged with "$apcocoa/sagbi.Subalgebra". The record contains the following fields:
ID: A unique ID of the subalgebra, like the ID of a ring,
CoeffRing: The coefficient ring of R,
Ring: The ring R,
gens: The generators of the subalgebra, so fs,
SAGBI: A (truncated) SAGBI basis of the subalgebra, initially [],
trunc: The truncation degree of the current SAGBI basis, initially 0 - is set to -1 if SAGBI is a complete SAGBI basis,
HS: The Hilbert series of S, initially 0.
Note that most of the fields are initially empty and only computed by calling the getter functions of the package. For using truncated SAGBI bases and Hilbert series, the base ring R has to be standard graded.
@param R The polynomial ring containing the subalgebra, i.e. the ring of the fs.
@param fs A list of polynomials in R
@return The subalgebra of R generated by the polynomials in fs, represented as a tagged object.
Example
Use R ::= QQ[x,y,z]; S := SB.Subalgebra(R,[x^2,y+z]); PrintLn S; -- SubalgebraWithID(2, QQ[x^2, y +z]) of RingWithID(2, "QQ[x,y,z]")
See also
Package sagbi/SB.IsInToricRing
Package sagbi/SB.GetTruncSAGBI
