CoCalc -- S1V4.g

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

⁵⁶³⁶²⁴ views

# S1 with a point of V4-iso

M := [ [1,2], [1,3], [2,3] ];
G := Group( (1,2), (3,4) );
iso := rec( 1 := G );
mu := [];
dim := 5;