Dear HOL-Computational_Algebra developers, how about renaming "reflect_poly" in Polynomial.thy to "reciprocal_poly"?
It seems to be standard to call them "reciprocal polynomials", cf. https://en.wikipedia.org/wiki/Reciprocal_polynomial, and the current naming wants an extra sentence to relate the notions in paper writing.
Best regards, Akihisa _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev