from_ring_elem()

void M2::ARingGFFlint::from_ring_elem ( ElementType & result, const ring_elem & a ) const

inline

Definition at line 204 of file aring-gf-flint.hpp.

  {
    result.value = a.get_int();
  }

References ring_elem::get_int(), and result().