Skip to content

direct sums of xmod-algebras - #91

Merged
cdwensley merged 2 commits into
masterfrom
dsum
Jul 30, 2026
Merged

direct sums of xmod-algebras#91
cdwensley merged 2 commits into
masterfrom
dsum

Conversation

@cdwensley

Copy link
Copy Markdown
Collaborator

trying to find out what I did last December

Comment thread lib/dsum-xmod.gd
Comment on lines +193 to +194
## <Example>
## <![CDATA[

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

This should ideally avoid re-introducing the bad patterns fixed in PR #90

Suggested change
## <Example>
## <![CDATA[
## <Example><![CDATA[

Comment thread lib/dsum-xmod.gd
Comment on lines +197 to +198
## ]]>
## </Example>

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Suggested change
## ]]>
## </Example>
## ]]></Example>

@fingolfin fingolfin mentioned this pull request Jul 30, 2026
@cdwensley
cdwensley merged commit e47a1b4 into master Jul 30, 2026
1 of 6 checks passed
@cdwensley
cdwensley deleted the dsum branch July 30, 2026 14:43
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