Dear Manuel,
There are definitely books out there that call it the "reflected
polynomial", and that's what my undergraduate discrete maths course
called it, so that's what I called it.
oh I'm fine with the naming if it's textbook-level standard. I wouldn't
have raised this if there were a
There are definitely books out there that call it the "reflected
polynomial", and that's what my undergraduate discrete maths course
called it, so that's what I called it.
Still, a quick Google search suggests that the terminology you suggest
is more common. I think I'd probably go with
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