Skip to content

Add DirectSumGModule#6277

Merged
fingolfin merged 1 commit intomasterfrom
codex/direct-sum-gmodule
Mar 24, 2026
Merged

Add DirectSumGModule#6277
fingolfin merged 1 commit intomasterfrom
codex/direct-sum-gmodule

Conversation

@fingolfin
Copy link
Copy Markdown
Member

Analogue to TensorProductGModule.

Co-authored-by: Codex codex@openai.com

Analogue to TensorProductGModule.

Co-authored-by: Codex <codex@openai.com>
@fingolfin fingolfin requested a review from ThomasBreuer March 23, 2026 11:10
@fingolfin fingolfin added kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements topic: performance bugs or enhancements related to performance (improvements or regressions) topic: library release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes labels Mar 23, 2026
Copy link
Copy Markdown
Contributor

@ThomasBreuer ThomasBreuer left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good.
Thanks.

## they should have the same number of generators.
##
InstallGlobalFunction(DirectSumGModule,function(module1, module2)
TestModulesFitTogether(module1, module2);
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The function TestModulesFitTogether could be used in all functions that take two modules (TensorProductGModule, SMTX.Homomorphism, SMTX.Homomorphisms, SMTX.Isomomorphism).

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Agreed

@fingolfin fingolfin merged commit c9b62f3 into master Mar 24, 2026
32 checks passed
@fingolfin fingolfin deleted the codex/direct-sum-gmodule branch March 24, 2026 09:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes topic: library topic: performance bugs or enhancements related to performance (improvements or regressions)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants