[isabelle-dev] reflect_poly

Manuel Eberl eberlm at in.tum.de
Mon Apr 16 08:34:24 CEST 2018

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 "recip_poly".


On 2018-04-16 06:52, Akihisa Yamada wrote:
> 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-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

More information about the isabelle-dev mailing list