Skip to content

Adding the zero element to the generating set for graph inverse semigroups with at most one vertex. - #1216

Merged
james-d-mitchell merged 6 commits into
semigroups:mainfrom
joe-dw:GIS-with-one-vertex
Sep 6, 2026
Merged

Adding the zero element to the generating set for graph inverse semigroups with at most one vertex.#1216
james-d-mitchell merged 6 commits into
semigroups:mainfrom
joe-dw:GIS-with-one-vertex

Refactoring, comments and lint

014ea36
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
gaplint
succeeded Sep 3, 2026 in 22s