search

thetensor-space / Auto-Sandbox

Algorithms for automorphism groups
3 stars 1 forks source link

DDAutotopismGroup #12

Open joshmaglione opened 4 years ago

joshmaglione commented 4 years ago

The following example was given to me by @eobr007 in Feb 2019. This records a bug that might be better fixed in TensorSpace.

F:=FreeGroup (3);
p := 5;
Q := quo < F | F.1^p, F.2^p, (F.1, F.2, F.2)^p>;
H:=pQuotient (Q, 5, 4:Print:=1, Exponent := 5);
T:=pCentralTensor (H, 2, 2);
T;
DDAutotopismGroup (T);