Yeah, but that is a tutorial.
The stuff I am trying to read is by some bloke who actually uses it.
(tacpprm has a mmrpcat, Fri 8 Jul 2005, 11:03, archived)

I could give you a tutorial
I am king of all algebra!

(actually ... that might be JHConway ... but I'm at least a minor aristocrat)
( Dr. Shambolic je suis charlie, Fri 8 Jul 2005, 11:31, archived)