[isabelle-dev] reflect_poly

Akihisa Yamada ayamada at trs.cm.is.nagoya-u.ac.jp
Mon Apr 16 06:52:21 CEST 2018

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,

More information about the isabelle-dev mailing list