Definition at line 227 of file relem.cpp.
230{
231 const PolynomialRing *P =
R->cast_to_PolynomialRing();
233 {
234 ERROR(
"zero element has no degree");
235 return;
236 }
237 if (P == nullptr)
238 {
239 ERROR(
"expected polynomial ring");
240 return;
241 }
243}
virtual void degree_weights(const ring_elem f, const std::vector< int > &wts, int &lo, int &hi) const =0
References PolynomialRing::degree_weights(), ERROR, is_zero(), R, and val.
Referenced by rawWeightRange().