Implements Ring.
Definition at line 226 of file M2FreeAlgebra.cpp.
227{
228 auto f =
reinterpret_cast<const Poly*
>(f1.get_Poly());
229 auto g =
reinterpret_cast<const Poly*
>(g1.get_Poly());
232 return ring_elem(
reinterpret_cast<void *
>(
result));
233}
Polynomial< CoefficientRingType > Poly
void subtract(Poly &result, const Poly &f, const Poly &g) const
const FreeAlgebra & freeAlgebra() const
VALGRIND_MAKE_MEM_DEFINED & result(result)
References freeAlgebra(), ring_elem::get_Poly(), result(), and FreeAlgebra::subtract().