Difference between revisions of "Package sagbi/SB.GetTruncDeg"
From ApCoCoAWiki
Andraschko (talk | contribs) (Created page with "{{Version|2}} <command> <title>SB.GetTruncDeg</title> <short_description>This function returns the truncation degree of the currently stored SAGBI basis in the given subal...") |
m (replaced <quotes> tags by real quotes) |
||
| Line 4: | Line 4: | ||
<short_description>This function returns the truncation degree of the currently stored SAGBI basis in the given subalgebra.</short_description> | <short_description>This function returns the truncation degree of the currently stored SAGBI basis in the given subalgebra.</short_description> | ||
| − | <syntax>SB.GetTruncDeg(S: TAGGED( | + | <syntax>SB.GetTruncDeg(S: TAGGED("$apcocoa/sagbi.Subalgebra")): INT</syntax> |
<description> | <description> | ||
</itemize> | </itemize> | ||
Latest revision as of 13:21, 29 October 2020
| This article is about a function from ApCoCoA-2. |
SB.GetTruncDeg
This function returns the truncation degree of the currently stored SAGBI basis in the given subalgebra.
Syntax
SB.GetTruncDeg(S: TAGGED("$apcocoa/sagbi.Subalgebra")): INT
Description
</itemize>
@param S A subalgebra
@return 0 if there is no (truncated) SAGBI basis stored in S, -1 if there is a complete SAGBI basis stored in S and d if there is a d-truncated SAGBI basis stored in 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.GetTruncDeg(S); -- 0 PrintLn SB.GetTruncSAGBI(ref S,4); -- [x^2 -y^2, x^2*y, x^2*y^2 -y^4] PrintLn SB.GetTruncDeg(S); -- 4 PrintLn SB.GetSAGBI(ref S); -- [x^2 -y^2, x^2*y, x^2*y^2 -y^4, y^6, x^2*y^4] PrintLn SB.GetTruncDeg(S); -- -1
See also
Package sagbi/SB.GetTruncSAGBI
