"Source: Text/Geometry/HypGeomMot.text";
"Line: 1718";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/HypGeomMot.text, line: 1718
// Example: H138E16 ()
print "Example: H138E16";
ei := GetEchoInput();
SetEchoInput(true);
J := JacobiMotive([1/3,1/3,1/3]); // weight 3, effective wt 1
J;
Grossencharacter(J);
J^3;
Grossencharacter(J^3); // norm 3
Grossencharacter(J^6); // norm 1
A := JacobiMotive([2/3,2/3],[1/3]);
J*A; // one of the 1/3 cancels
Grossencharacter(J*A); // trivial character
K := KummerTwist(J*A, 3, 1/3); K;
Grossencharacter(K); // bad reduction at 3
K2 := KummerTwist(JacobiMotive([]),3,1/3); K2;
Grossencharacter(K2); // twist of the above
K/K2 eq J*A; // removing the Kummer twist from K, gives J*A
SetEchoInput(ei);
