getCoefficients method

List<Rat> getCoefficients()

Implementation

List<Rat> getCoefficients() {
  final result = _c._z3.algebraic_get_poly(_n);
  return _c
      ._unpackAstVector(result)
      .cast<AlgebraicNumeral>()
      .map((e) => e.toRat())
      .toList();
}