n2-L3-f6-r5-t3-ver1.1.txt
n=2
l=3
f=6
p=2917
t0=1
t=3
g=5
r=5
contribution table:{0, 1, 4, 1, 0}
*** a(t,0,r):
{{sf[1], sf[g^729]}, {sf[g^108], sf[g^837]}, {sf[g^216], sf[g^945]}, 
 {sf[g^324], sf[g^1053]}, {sf[g^432], sf[g^1161]}, {sf[g^540], sf[g^1269]}, 
 {sf[g^648], sf[g^1377]}, {sf[g^756], sf[g^1485]}, {sf[g^864], sf[g^1593]}, 
 {sf[g^972], sf[g^1701]}, {sf[g^1080], sf[g^1809]}, {sf[g^1188], sf[g^1917]}, 
 {sf[g^1296], sf[g^2025]}, {sf[g^1404], sf[g^2133]}, 
 {sf[g^1512], sf[g^2241]}, {sf[g^1620], sf[g^2349]}, 
 {sf[g^1728], sf[g^2457]}, {sf[g^1836], sf[g^2565]}, 
 {sf[g^1944], sf[g^2673]}, {sf[g^2052], sf[g^2781]}, 
 {sf[g^2160], sf[g^2889]}, {sf[g^2268], sf[g^81]}, {sf[g^2376], sf[g^189]}, 
 {sf[g^2484], sf[g^297]}, {sf[g^2592], sf[g^405]}, {sf[g^2700], sf[g^513]}, 
 {sf[g^2808], sf[g^621]}}
{{sf[1], sf[2863]}, {sf[1535], sf[1703]}, {sf[2206], sf[473]}, 
 {sf[2490], sf[2639]}, {sf[880], sf[2069]}, {sf[229], sf[2219]}, 
 {sf[1475], sf[2026]}, {sf[533], sf[388]}, {sf[1395], sf[512]}, 
 {sf[247], sf[1247]}, {sf[2852], sf[593]}, {sf[2320], sf[151]}, 
 {sf[2460], sf[1342]}, {sf[1502], sf[568]}, {sf[1140], sf[2614]}, 
 {sf[2617], sf[1615]}, {sf[386], sf[2492]}, {sf[359], sf[1033]}, 
 {sf[2669], sf[1724]}, {sf[1447], sf[621]}, {sf[1308], sf[2293]}, 
 {sf[884], sf[1853]}, {sf[535], sf[280]}, {sf[1548], sf[1001]}, 
 {sf[1742], sf[2193]}, {sf[1998], sf[37]}, {sf[1163], sf[1372]}}
{{cb[0], cb[4]}, {cb[2], cb[2]}, {cb[3], cb[0]}, {cb[4], cb[4]}, 
 {cb[1], cb[3]}, {cb[0], cb[3]}, {cb[2], cb[3]}, {cb[0], cb[0]}, 
 {cb[2], cb[0]}, {cb[0], cb[2]}, {cb[4], cb[1]}, {cb[3], cb[0]}, 
 {cb[4], cb[2]}, {cb[2], cb[0]}, {cb[1], cb[4]}, {cb[4], cb[2]}, 
 {cb[0], cb[4]}, {cb[0], cb[1]}, {cb[4], cb[2]}, {cb[2], cb[1]}, 
 {cb[2], cb[3]}, {cb[1], cb[3]}, {cb[0], cb[0]}, {cb[2], cb[1]}, 
 {cb[2], cb[3]}, {cb[3], cb[0]}, {cb[1], cb[2]}}
{{0, 0}, {4, 4}, {1, 0}, {0, 0}, {1, 1}, {0, 1}, {4, 1}, {0, 0}, {4, 0}, 
 {0, 4}, {0, 1}, {1, 0}, {0, 4}, {4, 0}, {1, 0}, {0, 4}, {0, 0}, {0, 1}, 
 {0, 4}, {4, 1}, {4, 1}, {1, 1}, {0, 0}, {4, 1}, {4, 1}, {1, 0}, {1, 4}}
{0, 8, 1, 0, 2, 1, 5, 0, 4, 4, 1, 1, 4, 4, 1, 4, 0, 1, 4, 5, 5, 2, 0, 5, 5, 
 1, 5}
73
3
*** a(t,9,r):
{{sf[g^36], sf[g^765]}, {sf[g^144], sf[g^873]}, {sf[g^252], sf[g^981]}, 
 {sf[g^360], sf[g^1089]}, {sf[g^468], sf[g^1197]}, {sf[g^576], sf[g^1305]}, 
 {sf[g^684], sf[g^1413]}, {sf[g^792], sf[g^1521]}, {sf[g^900], sf[g^1629]}, 
 {sf[g^1008], sf[g^1737]}, {sf[g^1116], sf[g^1845]}, 
 {sf[g^1224], sf[g^1953]}, {sf[g^1332], sf[g^2061]}, 
 {sf[g^1440], sf[g^2169]}, {sf[g^1548], sf[g^2277]}, 
 {sf[g^1656], sf[g^2385]}, {sf[g^1764], sf[g^2493]}, 
 {sf[g^1872], sf[g^2601]}, {sf[g^1980], sf[g^2709]}, 
 {sf[g^2088], sf[g^2817]}, {sf[g^2196], sf[g^9]}, {sf[g^2304], sf[g^117]}, 
 {sf[g^2412], sf[g^225]}, {sf[g^2520], sf[g^333]}, {sf[g^2628], sf[g^441]}, 
 {sf[g^2736], sf[g^549]}, {sf[g^2844], sf[g^657]}}
{{sf[764], sf[2499]}, {sf[106], sf[110]}, {sf[2275], sf[2581]}, 
 {sf[476], sf[549]}, {sf[1410], sf[2619]}, {sf[2853], sf[539]}, 
 {sf[938], sf[1854]}, {sf[1749], sf[1815]}, {sf[1075], sf[290]}, 
 {sf[2020], sf[1766]}, {sf[2846], sf[917]}, {sf[1861], sf[1601]}, 
 {sf[892], sf[1421]}, {sf[1147], sf[2236]}, {sf[1694], sf[1868]}, 
 {sf[1243], sf[2886]}, {sf[287], sf[2004]}, {sf[78], sf[1622]}, 
 {sf[133], sf[1569]}, {sf[2882], sf[1890]}, {sf[1698], sf[1652]}, 
 {sf[1549], sf[947]}, {sf[360], sf[979]}, {sf[1287], sf[510]}, 
 {sf[736], sf[1094]}, {sf[881], sf[2015]}, {sf[1764], sf[1005]}}
{{cb[1], cb[4]}, {cb[0], cb[0]}, {cb[3], cb[4]}, {cb[0], cb[0]}, 
 {cb[2], cb[4]}, {cb[4], cb[0]}, {cb[1], cb[3]}, {cb[2], cb[3]}, 
 {cb[1], cb[0]}, {cb[3], cb[3]}, {cb[4], cb[1]}, {cb[3], cb[2]}, 
 {cb[1], cb[2]}, {cb[1], cb[3]}, {cb[2], cb[3]}, {cb[2], cb[4]}, 
 {cb[0], cb[3]}, {cb[0], cb[2]}, {cb[0], cb[2]}, {cb[4], cb[3]}, 
 {cb[2], cb[2]}, {cb[2], cb[1]}, {cb[0], cb[1]}, {cb[2], cb[0]}, 
 {cb[1], cb[1]}, {cb[1], cb[3]}, {cb[3], cb[1]}}
{{1, 0}, {0, 0}, {1, 0}, {0, 0}, {4, 0}, {0, 0}, {1, 1}, {4, 1}, {1, 0}, 
 {1, 1}, {0, 1}, {1, 4}, {1, 4}, {1, 1}, {4, 1}, {4, 0}, {0, 1}, {0, 4}, 
 {0, 4}, {0, 1}, {4, 4}, {4, 1}, {0, 1}, {4, 0}, {1, 1}, {1, 1}, {1, 1}}
{1, 0, 1, 0, 4, 0, 2, 5, 1, 2, 1, 5, 5, 2, 5, 4, 1, 4, 4, 1, 8, 5, 1, 4, 2, 
 2, 2}
72
2

where, sf(a) = sum_b[fb(a) w_r(b)^-1] for integer a.
       sf(a) = sf(a') if a = a' mod p.
For 0 <= a < p, sf(a) = cb( floor(a r / p) ),
   the contribution table gives the function value of cb(i) for 0<=i<r.

result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code for r>2 version 1.1
start=Tue 4 Apr 2023 10:34:07
end  =Tue 4 Apr 2023 10:34:07
elapsed(sec)=0.007060