Skip to content

reapply 6d1cd4a09 and 32a7f2ee069cc28 from LieTypes #43

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Conversation

pzinn
Copy link

@pzinn pzinn commented May 13, 2025

One should check that the reintroduction of isIsomorphic is compatible with the recent changes to the Isomorphism package. The logic is sound -- isomorphism and equality remain the same for LieAlgebraModule, which makes sense if LieAlgebraModule is secretly an isomophism class of representations (this might need to be stated in the documentation somewhere).

@dswinarski dswinarski merged commit 31b429b into Macaulay2:LieAlgebraRepresentations May 18, 2025
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants