]> gitweb.michael.orlitzky.com - sage.d.git/commit
projects / sage.d.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2995034) | patch
mjo.eja.eja_operator: fix exponentiation master
authorMichael Orlitzky <michael@orlitzky.com>
Wed, 1 Oct 2025 15:58:08 +0000 (11:58 -0400)
committerMichael Orlitzky <michael@orlitzky.com>
Wed, 1 Oct 2025 15:58:08 +0000 (11:58 -0400)
commit3b4736dfef862300735d1a8d2137f26caa07f7c1
tree01a6fd1bbc53c5dc1aed20acba2e7b9d71c779c9tree | snapshot
parent2995034cac633280734ca37e61a65fb4edcedd05commit | diff
mjo.eja.eja_operator: fix exponentiation

Using exponentiation was allowing us to skip the domain/codomain check
for operator composition when their dimensions agreed. To fix that, we
reimplement powers directly in terms of multiplication.

This also sheds light on a buggy test that needed to be fixed:
isomorphisms can't necessarily be composed.
mjo/eja/eja_operator.py diff | blob | history
My personal library of Sage code.