degreeMonoid()

const Monoid * degreeMonoid

(

const std::vector< std::string > &

names

)

Definition at line 30 of file util-polyring-creation.cpp.

{
  std::vector<int> wts;
  for (int i=0; i<names.size(); i++)
    wts.push_back(-1);
  MonomialOrdering* mo = MonomialOrderings::join
    ({
      MonomialOrderings::Weights(wts),
      MonomialOrderings::GroupLex(names.size()),
      MonomialOrderings::PositionUp()
    });
 
  return Monoid::create(mo,
                        IM2_Ring_trivial_polyring()->cast_to_PolynomialRing(),
                        names,
                        {},
                        {});
}

References Monoid::create(), MonomialOrderings::GroupLex(), IM2_Ring_trivial_polyring(), MonomialOrderings::join(), MonomialOrderings::PositionUp(), and MonomialOrderings::Weights().

Referenced by degreeRing().