is_equal()

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

virtual

Implements Ring.

Definition at line 184 of file M2FreeAlgebra.cpp.

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

References freeAlgebra(), ring_elem::get_Poly(), and FreeAlgebra::is_equal().

Referenced by index_of_var().