Difference between revisions of "ApCoCoA-1:BBSGen.NonStand"
From ApCoCoAWiki
Line 27: | Line 27: | ||
− | NonStand(OO,BO,N,W); | + | BBSGen.NonStand(OO,BO,N,W); |
[[c[1,3], [R :: 1, R :: 2]], | [[c[1,3], [R :: 1, R :: 2]], |
Revision as of 18:51, 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]]; BBSGen.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]]] -------------------------------