Rp-equal
Check if two terms are equivalent by discarding rp terms
- Signature
(rp-equal term1 term2) → *
Subtopics
- Rp-equal-cnt
- Same as rp-equal but when counts down from cnt and starts ~
using 'equal' when it hits 0.
- Rp-equal-cw
- Same as rp-equal but prints a mismatch.
- Rp-equal-subterms
