Remark 5.1 (p,t)=(7,2), dual t^-1=4: |O|=49, maps O->A 49, O->B 7 (printed 49/7); 1+t+t^2 mod p = 0
Remark 5.1 (p,t)=(11,3), dual t^-1=4: |O|=120, maps O->A 121, O->B 11 (printed 121/11); 1+t+t^2 mod p = 2
Remark 5.1 (p,t)=(13,2), dual t^-1=7: |O|=168, maps O->A 169, O->B 13 (printed 169/13); 1+t+t^2 mod p = 7
p=5: pairs {t,1/t} twist-related: [(2, 3)]; not: []
p=7: pairs {t,1/t} twist-related: [(3, 5)]; not: [(2, 4, 'ord(-t)=6')]
p=11: pairs {t,1/t} twist-related: [(2, 6), (7, 8)]; not: [(3, 4, 'ord(-t)=10'), (5, 9, 'ord(-t)=10')]
p=13: pairs {t,1/t} twist-related: [(4, 10), (5, 8)]; not: [(2, 7, 'ord(-t)=12'), (3, 9, 'ord(-t)=6'), (6, 11, 'ord(-t)=12')]
p=17: pairs {t,1/t} twist-related: [(4, 13)]; not: [(2, 9, 'ord(-t)=8'), (3, 6, 'ord(-t)=16'), (5, 7, 'ord(-t)=16'), (8, 15, 'ord(-t)=8'), (10, 12, 'ord(-t)=16'), (11, 14, 'ord(-t)=16')]
p=19: pairs {t,1/t} twist-related: [(8, 12)]; not: [(2, 10, 'ord(-t)=9'), (3, 13, 'ord(-t)=9'), (4, 5, 'ord(-t)=18'), (6, 16, 'ord(-t)=18'), (7, 11, 'ord(-t)=6'), (9, 17, 'ord(-t)=18'), (14, 15, 'ord(-t)=9')]
Remark 5.3 B4 on X^4, Aff(Z/5,2) vs Aff(Z/5,3): same orbit sizes True, isomorphic False; orbit of (0,0,0,1): 125 points, maps into r: 25, into s: 5
Remark 5.3 B4 on X^4, Aff(Z/7,3) vs Aff(Z/7,5): same orbit sizes True, isomorphic True
checks failed: 0
RESULT PASS
