ApCoCoA-1:BBSGen.NonStand

From ApCoCoAWiki
Revision as of 18:53, 13 February 2012 by Sipal (talk | contribs)

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);
Mu:=Len(OO);
Nu:=Len(BO);
 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]]]
-------------------------------

BBSGen.Wmat