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

◆ find_ring_divisor()

int res_comp::find_ring_divisor ( const_exponents exp,
ring_elem & result ) const
private

Definition at line 710 of file res-a1.cpp.

714{
715 if (!P->is_quotient_ring()) return 0;
716 Bag *b;
717 if (!P->get_quotient_monomials()->search_expvector(exp, b)) return 0;
718 result.poly_val = P->quotient_element(b->basis_elem());
719 return 1;
720}
int basis_elem() const
Definition int-bag.hpp:66
const PolynomialRing * P
Definition res-a1.hpp:78
int_bag Bag
Definition int-bag.hpp:70
VALGRIND_MAKE_MEM_DEFINED & result(result)

References int_bag::basis_elem(), P, and result().

Referenced by reduce(), reduce_gen(), and reduce_level_one().