search

bobot / ocaml-flint

GNU Lesser General Public License v2.1
5 stars 3 forks source link

Add qqbar from_roots and from_enclosure #5

Closed bobot closed 1 year ago

bobot commented 1 year ago

add other functions needed for using them