Repository navigation

Add `Embedding` and `Projection` for direct sums of rings - #6702

Merged

fingolfin merged 7 commits into

Oct 15, 2026

Merged

Add `Embedding` and `Projection` for direct sums of rings#6702
fingolfin merged 7 commits into
masterfrom
embed2

Commits on Oct 8, 2026
- embedding and projection for direct sums of rings
  cdwensley
  committed
  dc18b49
Commits on Oct 10, 2026
- processing comments from Max
  cdwensley
  committed
  6a76783
- changed manual example to be closer to the test file
  cdwensley
  committed
  1460361
Commits on Oct 14, 2026
- Update tst/testinstall/ring-dsum.tst
  
  cdwensley
  and
  fingolfin
  authored
  9c19fe3
- Update lib/ringsc.gi
  
  cdwensley
  and
  fingolfin
  authored
  f727e5a
- Update lib/ringsc.gi
  
  cdwensley
  and
  fingolfin
  authored
  4fbb081
- Update lib/ringsc.gi
  
  cdwensley
  and
  fingolfin
  authored
  7531248