rawNumberOfVariables()

int rawNumberOfVariables

(

const MonomialOrdering *

mo

)

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

{
  int i, sum = 0;
  for (i = 0; i < mo->len; i++)
    if (mo->array[i]->type != MO_WEIGHTS) sum += mo->array[i]->nvars;
  return sum;
}

References MonomialOrdering::array, MonomialOrdering::len, and MO_WEIGHTS.

Referenced by Monoid::create(), moGetWeightValues(), Monoid::Monoid(), monomialOrderingToMatrix(), MonomialOrderings::product(), rawNonTermOrderVariables(), rawProductMonomialOrdering(), and TEST().