testWeightMatrix -- test compatibility of weight matrix with Groebner basis elements

Synopsis

• Usage:

  L=testWeightMatrix(wtr,r,GB)

• Inputs:
  • wtr, weight matrix
  • r, polynomial ring with weight-over-grevlex order
  • GB, list of generators for the ideal of relations
• Outputs:
  • L, list of boolean checks

Description

i1 : wtr=matrix{{5,6,6},{2,6,0}};

              2       3
o1 : Matrix ZZ  <-- ZZ

i2 : r=ZZ/2[x,y,z,Weights=> entries weightGrevlex(wtr)];

i3 : GB={x^6+x^3*z-y^3*z^2};

i4 : L=testWeightMatrix(wtr,r,GB)

o4 = {false}

o4 : List

each test should be true if the weight matrix is compatible