Closed mjsutcliffe99 closed 3 months ago
Add the cat3, cat4, cat5, cat6, and magic5 decompositions, plus a validity check function and a generic catlike term constructor function
Add the cat3, cat4, cat5, cat6, and magic5 decompositions, plus a validity check function and a generic catlike term constructor function