Difference between revisions of "ApCoCoA-1:BBSGen.NonStand"
From ApCoCoAWiki
| Line 1: | Line 1: | ||
<command> | <command> | ||
<title>BBSGen.NonStand</title> | <title>BBSGen.NonStand</title> | ||
| − | <short_description> Finds the non-standard indeterminates of | + | <short_description> Finds the non-standard indeterminates of the ring <tt>K[c_{ij}]</tt> with respect to the arrow grading. </short_description> |
| − | the ring <tt>K[c_{ij}]</tt> with respect to the arrow grading. | ||
| − | </short_description> | ||
<syntax> | <syntax> | ||
Revision as of 18:41, 13 February 2012
BBSGen.NonStand
Finds the non-standard indeterminates of the ring K[c_{ij}] with respect to the arrow grading.
Syntax
BBSGen.NonStand(OO:LIST,BO:LIST,N:INT,W:MATRIX):LIST
Description
@param OO A list of terms representing an order ideal.
@param BO A list of terms representing the border.
@param N The number of elements of the Polynomial ring K[x_1,...x_n].
@param W The weight matrix.
@return A list of non-standard indeterminates from BBS=K[c_{ij}] with their degree vectors from field K.
Example
Use R::=QQ[x[1..2]]; OO:=BB.Box([1,1]); BO:=BB.Border(OO); W:=Wmat(OO,BO,N); Use XX::=QQ[c[1..Mu,1..Nu],t[1..N,1..N,1..Mu,1..Mu]]; NonStand(OO,BO,N,W); [[c[1,3], [R :: 1, R :: 2]], [c[1,4], [R :: 2, R :: 1]], [c[2,3], [R :: 1, R :: 1]], [c[3,4], [R :: 1, R :: 1]]] -------------------------------
