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". Manuel 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-...@in.tum.de > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev