gbvector_normal_form()

void QRingInfo_ZZ::gbvector_normal_form ( const FreeModule * F, gbvector *& f ) const

virtual

Reimplemented from QRingInfo.

Definition at line 414 of file qring.cpp.

{
  exponents_t EXP1 = ALLOCATE_EXPONENTS(exp_size);
 
  GBRing *GR = R->get_gb_ring();
  gbvector head;
  gbvector *result = &head;
  gbvector *t = f;
  while (t != nullptr)
    {
      GR->gbvector_get_lead_exponents(F, t, 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
          const gbvector *g = quotient_gbvector(w);
          gbvector *zero = nullptr;
          if (GR->gbvector_reduce_lead_term_ZZ(F, F, t, zero, g, zero))
            continue;
        }
      result->next = t;
      t = t->next;
      result = result->next;
    }
  result->next = nullptr;
  f = head.next;
}

References ALLOCATE_EXPONENTS, QRingInfo::exp_size, GBRing::gbvector_get_lead_exponents(), GBRing::gbvector_reduce_lead_term_ZZ(), gbvector::next, QRingInfo::quotient_gbvector(), QRingInfo::R, result(), ringtableZZ, and zero.