root method

AlgebraicNumeral root(
  1. int k
)

Implementation

AlgebraicNumeral root(int k) =>
    _c._getAlgebraicNumeral(_c._z3.algebraic_root(_n, k));