is_unit()

bool PolyRing::is_unit ( const ring_elem f ) const

virtual

Implements Ring.

Definition at line 478 of file poly.cpp.

{
  Nterm *t = f;
  if (begin(f) == end(f)) return false;
  if (t->next == nullptr && M_->is_one(t->monom) && K_->is_unit(t->coeff))
    return true;
  return false;
}

References begin(), Nterm::coeff, end(), PolynomialRing::K_, PolynomialRing::M_, Nterm::monom, and Nterm::next.

Referenced by power().