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