This repository has been archived by the owner on Dec 27, 2022. It is now read-only.

Alg equality checking. #67

Open

lgarron opened this issue Jun 18, 2014 · 0 comments

Labels

difficulty-hard-or-complicated priority-low

Member

lgarron commented Jun 18, 2014

Allows simplifying [R, U] [R, U] to [R, U]2

Question: is (R U) R == R (U R) ?
(While simplifying, I think it should. But structurally, it's unclear.)

lgarron added difficulty-hard-or-complicated labels

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.