Module Z3.Polynomial

module Polynomial: sig .. end

Polynomial operations.

val mk_polynomial_subresultants : context ->
       Expr.expr -> Expr.expr -> Expr.expr -> Expr.expr list