]> gitweb.michael.orlitzky.com - sage.d.git/commit
mjo/cone/isomorphism.py: new module for (rational) cone isomorphism
authorMichael Orlitzky <michael@orlitzky.com>
Tue, 1 Jul 2025 00:32:57 +0000 (20:32 -0400)
committerMichael Orlitzky <michael@orlitzky.com>
Tue, 1 Jul 2025 00:37:57 +0000 (20:37 -0400)
commiteecaf6de47000a4f2070864cd8ce695243abcd4c
treeaecac5b0d7560fdc394c7efc8a71ff73ac9d7a5a
parent0732f9b87a11349a065c11e6877d402b3a0fccc1
mjo/cone/isomorphism.py: new module for (rational) cone isomorphism

The is_isomorphic() method for convex cones in Sage kind of does what
I want, but the fact that it does is considered a bug by the author
since it does not capture the notion of isomorphism useful for toric
varieties. Some day that method will be fixed and it will be much less
useful for testing isomorphism in the usual linear-algebraic sense,
which is what I usually want to check.

This commit adds a new module with the beginnings of an isomorphism
test over the rationals. It should work for all convex cones (not just
pointed cones) though it isn't very smart or fast and probably has a
lot of bugs in it at the moment.
mjo/cone/all.py
mjo/cone/isomorphism.py [new file with mode: 0644]