eval()

ring_elem M2FreeAlgebraQuotient::eval ( const RingMap * map, const ring_elem f, int first_var ) const

virtual

Implements Ring.

Definition at line 319 of file M2FreeAlgebraQuotient.cpp.

{
  // map: R --> S, this = R.
  // f is an ele ment in R
  // return an element of S.
 
  auto f = reinterpret_cast<const Poly*>(ff.get_Poly());
  auto g = freeAlgebraQuotient().eval(map, *f, first_var);
  return g;
}

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