up previous next
NewPolyRingWeights    --    create a new PolyRing with weights


Syntax
NewPolyRing(CoeffRing: RING, IndetNames: STRING/LIST, W: MAT): RING

Description
This function is similar to NewPolyRing . It returns a polynomial ring with the given matrix of weights W (with GradingDim equal to NumRows(W)).

Currently (CoCoA-5.4.2) only non-negative entries are allowed in W (work in progress: Redmine 832).

Example
/**/  W := matrix([[2,3,1]]);
/**/  P := NewPolyRingWeights(QQ, "a,b,c", W);
/**/  [wdeg(X) | X in indets(P)];
[[2], [3], [1]]

/**/  -- same as
/**/  P2 := NewPolyRing(QQ, "a,b,c", MakeTermOrdMat(W), 1);
/**/  [wdeg(X) | X in indets(P2)];

See Also