Difference between revisions of "ApCoCoA-1:BBSGen.TraceSyzLin"
From ApCoCoAWiki
m (Bot: Category moved) |
m (fixed links to namespace ApCoCoA) |
||
| Line 1: | Line 1: | ||
<command> | <command> | ||
<title>BBSGen.TraceSyzLin</title> | <title>BBSGen.TraceSyzLin</title> | ||
| − | <short_description>: This function computes the K[c]-linear summand of trace polynomials.(see <ref>BBSGen.TraceSyzFull</ref>)</short_description> | + | <short_description>: This function computes the K[c]-linear summand of trace polynomials.(see <ref>ApCoCoA-1:BBSGen.TraceSyzFull|BBSGen.TraceSyzFull</ref>)</short_description> |
<syntax> | <syntax> | ||
| Line 53: | Line 53: | ||
</types> | </types> | ||
| − | <see>BBSGen.Wmat</see> | + | <see>ApCoCoA-1:BBSGen.Wmat|BBSGen.Wmat</see> |
| − | <see>BBSGen.TraceSyzStep</see> | + | <see>ApCoCoA-1:BBSGen.TraceSyzStep|BBSGen.TraceSyzStep</see> |
| − | <see>BBSGen.TraceSyzFull</see> | + | <see>ApCoCoA-1:BBSGen.TraceSyzFull|BBSGen.TraceSyzFull</see> |
<key>TraceSyzLin</key> | <key>TraceSyzLin</key> | ||
Revision as of 08:04, 7 October 2020
BBSGen.TraceSyzLin
- This function computes the K[c]-linear summand of trace polynomials.(see BBSGen.TraceSyzFull)
Syntax
BBSGen.TraceSyzLin(OO,BO,N); BBSGen.TraceSyzLin(OO:LIST,BO:LIST,N:INTEGER):LIST
Description
@param The order ideal OO, border BO, the number of Indeterminates of the polynomial ring K[x_1,...,x_N].
@return List of polynomials from K[t[1..N,1..N,1..Mu,1..Mu]] that is a sub-ring of XX=K[c[1..Mu,1..Nu],t[1..N,1..N,1..Mu,1..Mu]].
Example
Use R::=QQ[x[1..2]]; OO:=$apcocoa/borderbasis.Box([1,1]); BO:=$apcocoa/borderbasis.Border(OO); Mu:=Len(OO); Nu:=Len(BO); N:=Len(Indets()); W:=BBSGen.Wmat(OO,BO,N); Use XX::=QQ[c[1..Mu,1..Nu],t[1..N,1..N,1..Mu,1..Mu]]; BBSGen.TraceSyzLin(OO,BO,N); [ t[1,2,1,3] + t[1,2,2,4], 2t[1,2,1,2] + 2t[1,2,3,4], t[1,2,1,3] + t[1,2,2,4], 2t[1,2,1,4]] -------------------------------
