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

◆ create_quotient() [2/3]

PolynomialRing * PolynomialRing::create_quotient ( const PolynomialRing * R,
const PolynomialRing * B )
static

Definition at line 156 of file polyring.cpp.

162{
163 VECTOR(Nterm *) elems;
164
165 for (int i = 0; i < B->n_quotients(); i++)
166 {
167 ring_elem f;
168 R->promote(B->getNumeratorRing(), B->quotient_element(i), f);
169 elems.push_back(f);
170 }
171 return create_quotient(R, elems);
172}
int n_quotients() const
Definition polyring.hpp:219
static PolynomialRing * create_quotient(const PolynomialRing *R, VECTOR(Nterm *) &elems)
Definition polyring.cpp:79
Nterm * quotient_element(int i) const
Definition polyring.hpp:220
virtual const PolyRing * getNumeratorRing() const
Definition polyring.hpp:259
virtual bool promote(const Ring *R, const ring_elem f, ring_elem &result) const =0
#define VECTOR(T)
Definition newdelete.hpp:78

References create_quotient(), getNumeratorRing(), n_quotients(), PolynomialRing(), Ring::promote(), quotient_element(), and VECTOR.