rawNumberOfInvertibleVariables()

int rawNumberOfInvertibleVariables

(

const MonomialOrdering *

mo

)

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

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

References MonomialOrdering::array, MonomialOrdering::len, MO_LAURENT, and MO_LAURENT_REVLEX.