compare_elems()

int FreeAlgebra::compare_elems	(	const Poly &	f,
		const Poly &	g ) const

Definition at line 260 of file FreeAlgebra.cpp.

{
  auto fIt = f.cbegin();
  auto gIt = g.cbegin();
  auto fEnd = f.cend();
  auto gEnd = g.cend();
  int cmp;
  for ( ; ; fIt++, gIt++)
    {
      if (fIt == fEnd)
        {
          if (gIt == gEnd) return EQ;
          return LT;
        }
      if (gIt == gEnd) return GT;
      // TODO: can we remove the following block?  Make sure monoid can handle zero variables...
      if (numVars() > 0)
        {
          cmp = monoid().compare(fIt.monom(),gIt.monom());
          if (cmp != 0) return cmp;
        }
      // if we are here, then the monomials are the same and we compare coefficients.
      // for example if a,b are in the base and a > b then ax > bx.
      cmp = coefficientRing()->compare_elems(fIt.coeff(), fIt.coeff());
      if (cmp != 0) return cmp;
    }
}

References coefficientRing(), FreeMonoid::compare(), Ring::compare_elems(), EQ, GT, LT, monoid(), and numVars().

Referenced by M2FreeAlgebra::compare_elems(), and TEST().