Re: [isabelle-dev] reflect_poly
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 reference in the thy file, though. BTW, Google-books search will find "reciprocal polynomial": 152 "reverse polynomial": 118 "reflected polynomial": 18 (try to access the last hit, otherwise reciprocal looks dominant). So "rev_poly" seems to be a good option (in connection with rev, obviously). Best, Akihisa ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] reflect_poly
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
