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

◆ lift()

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

Implements Ring.

Definition at line 176 of file ZZp.cpp.

177{
178 // Rg = Z ---> Z/p
179 if (Rg == globalZZ)
180 {
181 result = Rg->from_long(to_int(f.get_int()));
182 return true;
183 }
184 return false;
185}
int to_int(int a) const
Definition ZZp.cpp:73
RingZZ * globalZZ
Definition relem.cpp:13
VALGRIND_MAKE_MEM_DEFINED & result(result)
int get_int() const
Definition ringelem.hpp:124

References Ring::from_long(), ring_elem::get_int(), globalZZ, result(), Ring::Ring(), and to_int().