search

teorth / equational_theories

A project to map out the relations between different equational theories of Magmas.
Apache License 2.0
78 stars 19 forks source link

Add equations of 1 variable and their implications #12

Closed vlad902 closed 21 hours ago

vlad902 commented 1 day ago

Auto-generated by a very primitive brute force method.

vlad902 commented 1 day ago

Ah, I'm missing the blueprint updates.

teorth commented 1 day ago

Unfortunately there is a merge conflict with the file. Otherwise it looks good!

vlad902 commented 21 hours ago

Closing this in favor of a more general solution for all implications solvable by trivial rewrites that I'm working on now.