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

◆ promote()

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

Implements Ring.

Definition at line 308 of file frac.cpp.

311{
312 // Rf = R ---> frac R
313 if (Rf == R_)
314 {
315 frac_elem *g = new_frac_elem();
316 g->numer = R_->copy(f);
317 g->denom = R_->from_long(1);
319 return true;
320 }
321
322 return false;
323}
frac_elem * new_frac_elem() const
Definition frac.cpp:88
const PolyRingFlat * R_
Definition frac.hpp:63
#define FRAC_RINGELEM(a)
Definition frac.cpp:15
VALGRIND_MAKE_MEM_DEFINED & result(result)
ring_elem numer
Definition frac.hpp:43
ring_elem denom
Definition frac.hpp:44

References frac_elem::denom, FRAC_RINGELEM, new_frac_elem(), frac_elem::numer, R_, result(), and Ring::Ring().