In working out the procedure isDeeplyAlgebraic in the post Deeply algebraic, I was trying to use something like `and` and `or`, analogously to `+`, `*`, `.`, etc.

It did not work, or, more precisely, it worked for two arguments only. Almost by accident (why should that be so hard?) I stumbled upon the functions andmap and ormap which do the job. Why this dichotomy in the notation?


Please Wait...