rawRevLexMonomialOrdering()

MonomialOrdering * rawRevLexMonomialOrdering

(

int

nvars

)

Definition at line 597 of file monomial-ordering.cpp.

{
  mon_part p = mo_make(MO_REVLEX, nvars, nullptr);
  MonomialOrdering *result = make_mon_order(1);
  result->array[0] = p;
  return result;
}

References make_mon_order(), mo_make(), MO_REVLEX, mon_part::nvars, p, and result().

Referenced by MonomialOrderings::RevLex().