Some minor Graph Inverse Semigroup related fixes/additions - #1198

Merged

james-d-mitchell merged 2 commits into

semigroups:mainfrom

Jun 16, 2026

Commits on Jun 16, 2026

Set IsPositionalObjectRep on graph inverse semigroup elements, added attribute EdgesOfGraphInverseSemigroup and added IsWholeFamily test to graph inverse subsemigroups
joe-dw
committed
lint
joe-dw
committed