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

◆ lift()

bool M2::ARingGFM2::lift ( const Ring * Rg,
const elem f,
ring_elem & result ) const

Definition at line 163 of file aring-m2-gf.cpp.

164{
165 // Rg = Z/p[x]/F(x) ---> GF(p,n)
166 // promotion: need to be able to know the value of 'x'.
167 // lift: need to compute (primite_element)^e
168
169 if (&mGF.ring() != Rg) return false;
170
172 return true;
173}
void lift_to_original_ring(ring_elem &result, const ElementType &f) const
GaloisFieldTable mGF
VALGRIND_MAKE_MEM_DEFINED & result(result)

References lift_to_original_ring(), mGF, and result().