operator - method

AlgebraicNumeral operator -(
  1. AlgebraicNumeral other
)

Implementation

AlgebraicNumeral operator -(AlgebraicNumeral other) =>
    _c._getAlgebraicNumeral(_c._z3.algebraic_sub(_n, other._n));