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).

isabelle-dev mailing list

Reply via email to