operator / method

AlgebraicNumeral operator /(
  1. AlgebraicNumeral other
)

Implementation

AlgebraicNumeral operator /(AlgebraicNumeral other) =>
    _c._getAlgebraicNumeral(_c._z3.algebraic_div(_n, other._n));