normal_form()

void QRingInfo_ZZ::normal_form ( ring_elem & f ) const

virtual

Reimplemented from QRingInfo.

Definition at line 384 of file qring.cpp.

{
  exponents_t EXP1 = ALLOCATE_EXPONENTS(exp_size);
 
  const Monoid *M = R->getMonoid();
  Nterm head;
  Nterm *result = &head;
  Nterm *t = f;
  while (t != nullptr)
    {
      M->to_expvector(t->monom, EXP1);
      int w = ringtableZZ->find_smallest_coeff_divisor(EXP1, 1);
      if (w >= 0)
        {
          // reduce lead term as much as possible
          // If the lead monomial reduces away, continue,
          //   else tack the monomial onto the result
          Nterm *g = quotient_element(w);
          if (reduce_lead_term_ZZ(t, g)) continue;
        }
      result->next = t;
      t = t->next;
      result = result->next;
    }
  result->next = nullptr;
  f = head.next;
}

References ALLOCATE_EXPONENTS, QRingInfo::exp_size, Nterm::monom, Nterm::next, QRingInfo::quotient_element(), QRingInfo::R, reduce_lead_term_ZZ(), result(), ringtableZZ, and Monoid::to_expvector().