]> gitweb.michael.orlitzky.com - sage.d.git/commit
eja: check the (co)domain of each EJA operator.
authorMichael Orlitzky <michael@orlitzky.com>
Mon, 23 Nov 2020 03:13:52 +0000 (22:13 -0500)
committerMichael Orlitzky <michael@orlitzky.com>
Mon, 23 Nov 2020 03:13:52 +0000 (22:13 -0500)
commit1ba4748f125c32d51ed1b3b89188f34546c9136f
treef6c6c7329be887fe5b60d32571c939cfe012ff8b
parentdb5226c4f5478db40d844b99077a5b164ef6d714
eja: check the (co)domain of each EJA operator.
mjo/eja/eja_operator.py