class_docstr: Element of a finite extension.
  
  A class of univariate polynomials modulo the ``modulus``
  of the extension ``ext``. It is represented by the
  unique polynomial ``rep`` of lowest degree. Both
  ``rep`` and the representation ``mod`` of ``modulus``
  are of class DMP.
class_docstr_tok: ["Element","of","a","finite","extension",".","A","class","of","univariate","polynomials","modulo","the","``","modulus","``","of","the","extension","``","ext","``",".","It","is","represented","by","the","unique","polynomial","``","rep","``","of","lowest","degree",".","Both","``","rep","``","and","the","representation","``","mod","``","of","``","modulus","``","are","of","class","DMP","."]
docstr: Raise if division is not implemented for this divisor
docstr_tok: ["Raise","if","division","is","not","implemented","for","this","divisor"]
code: def _divcheck(f):
      """Raise if division is not implemented for this divisor"""
      if not f:
          raise NotInvertible("Zero divisor")
      elif f.ext.is_Field:
          return True
      elif f.rep.is_ground and f.ext.domain.is_unit(f.rep.LC()):
          return True
      else:
          # Some cases like (2*x + 2)/2 over ZZ will fail here. It is
          # unclear how to implement division in general if the ground
          # domain is not a field so for now it was decided to restrict the
          # implementation to division by invertible constants.
          msg = (
              f"Can not invert {f} in {f.ext}. "
              "Only division by invertible constants is implemented."
          )
          raise NotImplementedError(msg)
  
imports: from sympy.polys.domains.domain import Domain
  from sympy.polys.domains.domainelement import DomainElement
  from sympy.polys.polyerrors import CoercionFailed, NotInvertible, GeneratorsError
  from sympy.polys.polytools import Poly
  from sympy.printing.defaults import DefaultPrinting
label_desc: Use image node_id 12 for calling the ExtensionElement obj's underlying member method code with example usage: obj._divcheck(f) and returns: True, True