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