Macaulay2 Engine
Loading...
Searching...
No Matches

◆ from_rational()

bool Z_mod::from_rational ( mpq_srcptr q,
ring_elem & result ) const
virtual

Implements Ring.

Definition at line 156 of file ZZp.cpp.

157{
158 ring_elem a = Z_mod::from_int(mpq_numref(q));
159 ring_elem b = Z_mod::from_int(mpq_denref(q));
160 if (b.get_int() == _ZERO) return false;
161 result = Z_mod::divide(a, b);
162 return true;
163}
int _ZERO
Definition ZZp.hpp:68
virtual ring_elem from_int(mpz_srcptr n) const
Definition ZZp.cpp:140
virtual ring_elem divide(const ring_elem f, const ring_elem g) const
Definition ZZp.cpp:286
VALGRIND_MAKE_MEM_DEFINED & result(result)
int get_int() const
Definition ringelem.hpp:124

References _ZERO, divide(), from_int(), ring_elem::get_int(), and result().