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.
More information about the isabelle-dev