is_equal() [2/2]

bool M2::ARingTower::is_equal ( int level, const ARingPolynomial f, const ARingPolynomial g ) const

private

Definition at line 309 of file aring-tower.cpp.

{
  if (f == nullptr)
    {
      if (g == nullptr) return true;
      return false;
    }
  if (g == nullptr || f->deg != g->deg) return false;
  if (level == 0)
    {
      BaseCoefficientType *fp = f->coeffs;
      BaseCoefficientType *gp = g->coeffs;
      for (int i = 0; i <= f->deg; i++)
        if (fp[i] != gp[i]) return false;
      return true;
    }
  // level > 0
  ARingPolynomial *fp = f->polys;
  ARingPolynomial *gp = g->polys;
  for (int i = 0; i <= f->deg; i++)
    if (!is_equal(level - 1, fp[i], gp[i])) return false;
  return true;
}

References M2::ARingPolynomialStruct::coeffs, M2::ARingPolynomialStruct::deg, is_equal(), and M2::ARingPolynomialStruct::polys.