Oh, I missed this line:
for op in algop repeat assert(op, ALGOP) -- algop is [oproot, opalg]
So "has?(operator k, ALGOP)" is a shortcut for
"is?(operator k, 'nthRoot) or is?(operator k, 'rootOf)".
I was under the impression that there's an operator named "%alg",
turns out this is a property, not a name.
- Qian