normalize()

bool binomial_ring::normalize

(

binomial &

f

)

const

Definition at line 382 of file gb-toric.cpp.

{
  int cmp = compare(f.lead, f.tail);
  if (cmp == EQ) return false;
  if (cmp == LT)
    {
      monomial a = f.lead;
      f.lead = f.tail;
      f.tail = a;
    }
  return true;
}

References compare(), EQ, LT, and monomial.

Referenced by calc_s_pair(), intvector_to_binomial(), one_reduction_step(), and vector_to_binomial().