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

◆ promote()

bool Z_mod::promote ( const Ring * R,
const ring_elem f,
ring_elem & result ) const
virtual

Implements Ring.

Definition at line 165 of file ZZp.cpp.

166{
167 // Rf = Z ---> Z/p
168 if (Rf == globalZZ)
169 {
170 result = from_int(f.get_mpz());
171 return true;
172 }
173 return false;
174}
virtual ring_elem from_int(mpz_srcptr n) const
Definition ZZp.cpp:140
RingZZ * globalZZ
Definition relem.cpp:13
VALGRIND_MAKE_MEM_DEFINED & result(result)
mpz_srcptr get_mpz() const
Definition ringelem.hpp:127

References from_int(), ring_elem::get_mpz(), globalZZ, result(), and Ring::Ring().