Definition at line 52 of file sagbi.cpp.
53{
56 if (R == nullptr)
57 {
58 ERROR(
"expected polynomial ring");
59 return nullptr;
60 }
62 for (
int i = 0; i < m->
n_cols(); i++)
63 {
64 ring_elem a = m->
elem(0, i);
65 ring_elem b =
subduct(nslots, R, R->
copy(a), phi, J);
67 }
69}
const Ring * get_ring() const
ring_elem elem(int i, int j) const
const FreeModule * rows() const
const FreeModule * cols() const
int n_slots(int nparts) const
virtual ring_elem copy(const ring_elem f) const
virtual const Monoid * getMonoid() const
virtual const PolyRing * cast_to_PolyRing() const
static ring_elem subduct(int numslots, const PolyRing *R, ring_elem f, const RingMap *phi, GBComputation *J)
VALGRIND_MAKE_MEM_DEFINED & result(result)
References Ring::cast_to_PolyRing(), Matrix::cols(), PolyRing::copy(), Matrix::elem(), ERROR, Matrix::get_ring(), PolynomialRing::getMonoid(), Matrix, Matrix::n_cols(), Monoid::n_slots(), result(), Matrix::rows(), and subduct().