I already have Sturm_Tarski running again and will commit that later today.
On a related note, in faf1aa9381e0, I also removed the definition of
"algebraic" from Algebraic_Numbers and updated it to use the more
general definition of "algebraic" that is now in the library.
Cheers,
Manuel
On Mon, 11 Jan 2016, Manuel Eberl wrote:
I also noticed the ring_gcd instance for polynomials. Finalising the
changes to the GCD class hierarchy and updating the AFP entries that
rely on half-finished versions of this change (such as Echelon_Form) is
something that I should probably take care
I don't expect to contribute anything else before the next release. There are
little bits that I could add, but probably I should desist in the name of
stability.
Larry
___
isabelle-dev mailing list
isabelle-...@in.tum.de
