Package sagbi/SB.GetLTSA

From ApCoCoAWiki
< Package sagbi
Revision as of 13:21, 29 October 2020 by AndraschkoBot (talk | contribs) (replaced <quotes> tags by real quotes)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
This article is about a function from ApCoCoA-2.

SB.GetLTSA

This function returns the leading term subalgebra of a given Subalgebra.

Syntax

SB.GetLTSA(ref S: TAGGED("$apcocoa/sagbi.Subalgebra")): TAGGED("$apcocoa/sagbi.Subalgebra")

Description

Returns the leading term subalgebra of S, i.e. the subalgebra generated by all terms appearing as the leading term of a polynomial in S.

Note: Calling the function more than once results in equal subalgebras with different IDs.

  • @param S A subalgebra

  • @return the leading term subalgebra of S

Example

Use R ::= QQ[x,y,z];
S := SB.Subalgebra(R,[x^2,x^2+y]);
PrintLn SB.GetLTSA(ref S);
-- SubalgebraWithID(2, QQ[y,  x^2]) of RingWithID(1311, "QQ[x,y,z]")
PrintLn SB.GetLTSA(ref S);
-- SubalgebraWithID(3, QQ[y,  x^2]) of RingWithID(1311, "QQ[x,y,z]")

See also

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.GetInDeg

Package sagbi/SB.GetHS