is_equal()

bool M2FreeAlgebraQuotient::is_equal ( const ring_elem f, const ring_elem g ) const

virtual

Implements Ring.

Definition at line 174 of file M2FreeAlgebraQuotient.cpp.

{
  auto f = reinterpret_cast<const Poly*>(f1.get_Poly());
  auto g = reinterpret_cast<const Poly*>(g1.get_Poly());
  return freeAlgebraQuotient().is_equal(*f,*g);
}

References freeAlgebraQuotient(), ring_elem::get_Poly(), and FreeAlgebraQuotient::is_equal().