pow method

AlgebraicNumeral pow(
  1. int k
)

Implementation

AlgebraicNumeral pow(int k) =>
    _c._getAlgebraicNumeral(_c._z3.algebraic_power(_n, k));