TP12-sol.cas.out1
4.53 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
[],
"Warning: some commands like subs might change arguments order",
0,0,0,1,0,1e-10,10,[1,50,0,25],0,0,0,
GF(3,k^6+2*k^5+2,[k,K,a],undef),
(-a^4-a^3-a^2),
1*x^3-1*x+1,
((1 % 3)*x+(-a^4-a^3+a^2+a))*(x+(-a^4-a^3+a^2+a+1))*((1 % 3)*x+(-a^4-a^3+a^2+a-1)),
x^3-1 % 3*x+a,
[1*x*(1*x+1)*(1*x-1)*(1*x^5-1*x+1)*(1*x^5-1*x-1)*(1*x^5+1*x^4-1)*(1*x^5-1*x^4+1)*(1*x^5+1*x^2+1*x-1)*(1*x^5-1*x^2+1*x+1)*(1*x^5+1*x^3+1*x+1)*(1*x^5+1*x^3+1*x-1)*(1*x^5+1*x^3+1*x^2-1)*(1*x^5+1*x^3-1*x^2+1)*(1*x^5-1*x^3+1*x^2+1)*(1*x^5-1*x^3-1*x^2-1)*(1*x^5+1*x^4+1*x-1)*(1*x^5+1*x^4-1*x+1)*(1*x^5+1*x^4+1*x^2+1)*(1*x^5+1*x^4-1*x^3+1)*(1*x^5-1*x^4+1*x+1)*(1*x^5-1*x^4-1*x-1)*(1*x^5-1*x^4-1*x^2-1)*(1*x^5-1*x^4-1*x^3-1)*(1*x^5+1*x^3+1*x^2-1*x-1)*(1*x^5+1*x^3-1*x^2-1*x+1)*(1*x^5-1*x^3+1*x^2+1*x-1)*(1*x^5-1*x^3+1*x^2-1*x-1)*(1*x^5-1*x^3-1*x^2+1*x+1)*(1*x^5-1*x^3-1*x^2-1*x+1)*(1*x^5+1*x^4+1*x^2+1*x+1)*(1*x^5+1*x^4+1*x^2-1*x-1)*(1*x^5+1*x^4+1*x^3+1*x+1)*(1*x^5+1*x^4-1*x^3-1*x-1)*(1*x^5+1*x^4-1*x^3+1*x^2-1)*(1*x^5+1*x^4-1*x^3-1*x^2+1)*(1*x^5+1*x^4-1*x^3-1*x^2-1)*(1*x^5-1*x^4-1*x^2+1*x-1)*(1*x^5-1*x^4-1*x^2-1*x+1)*(1*x^5-1*x^4+1*x^3+1*x-1)*(1*x^5-1*x^4-1*x^3-1*x+1)*(1*x^5-1*x^4-1*x^3+1*x^2+1)*(1*x^5-1*x^4-1*x^3+1*x^2-1)*(1*x^5-1*x^4-1*x^3-1*x^2+1)*(1*x^5+1*x^4+1*x^3+1*x^2-1*x+1)*(1*x^5+1*x^4+1*x^3-1*x^2+1*x+1)*(1*x^5+1*x^4+1*x^3-1*x^2+1*x-1)*(1*x^5+1*x^4-1*x^3+1*x^2+1*x+1)*(1*x^5-1*x^4+1*x^3+1*x^2+1*x+1)*(1*x^5-1*x^4+1*x^3+1*x^2+1*x-1)*(1*x^5-1*x^4+1*x^3-1*x^2-1*x-1)*(1*x^5-1*x^4-1*x^3-1*x^2+1*x-1)],
GF(3,k^20-k^19-k^18-k^17-k^16+k^12-k^11-k^10+k^9+k^8+k^7-k^6+k-1,[k,L,b],undef),
(1*X^4+1*X^2-1)*(1*X^4-1*X^2-1),
{1,2,3,4},
{2,4},
{ },
proc(n)
local a,i,j,k,l,o,liste;
liste:=[];
if irem(n,3)=0 then print("Erreur: 3 divise",n); else
l:={seq(i,i=(0 .. (n-1)))};
j:=1;
while l<>{ } do
i:=l[1];
o:={i};
a:=irem(3*i,n);
while a<>i do
o:=o union {a};
a:=irem(3*a,n);
od;;
l:=l minus o;
liste:=[op(liste),o];
od;
fi ;
liste;
end;,
(1*X+1)*(1*X-1)*(1*X^2+1)*(1*X^2+1*X-1)*(1*X^2-1*X-1)*(1*X^4+1*X^2-1)*(1*X^4-1*X^2-1)*(1*X^8+1*X^4-1)*(1*X^8-1*X^4-1),
[{0},{1,3,9,27,17,19,25,11},{2,6,18,22},{4,12},{5,15,13,7,21,31,29,23},{8,24},{10,30,26,14},{16},{20,28}],
(1*X+1)*(1*X-1)*(1*X^6+1*X^5+1*X^4+1*X^3+1*X^2+1*X+1)*(1*X^6-1*X^5+1*X^4-1*X^3+1*X^2-1*X+1),
[{0},{1,3,9,13,11,5},{2,6,4,12,8,10},{7}],
0,
0,
(n)->X^(2^(n-1))+1,
0,
0,
(1*X^64+1*X^32-1)*(1*X^64-1*X^32-1),
X^64+X^32-1,
1*X^64+1*X^32-1,
x^64+x^32-1,
proc(g,n)
local u,v;
u:=1;
v:=g;
while n>1 do if irem(n,2)=0 then
v:=irem(Rem(v*v,P),3);
n:=n/2 else
u:=irem(Rem(u*v,P),3);
v:=irem(Rem(v*v,P),3);
n:=(n-1)/2
fi ;
od;;
irem(Rem(u*v,P),3);
end;,
1*x^61+1*x^60-1*x^59+1*x^58+0*x^57-1*x^56+1*x^55+0*x^54-1*x^53+0*x^52+0*x^51-1*x^49+0*x^48+1*x^47-1*x^46+1*x^45-1*x^44+1*x^43+1*x^42+1*x^41+1*x^40-1*x^39+0*x^38+0*x^37+0*x^36+0*x^35+0*x^34-1*x^33+1*x^32-1*x^31+1*x^30-1*x^29+1*x^28-1*x^27-1*x^25-1*x^24+1*x^23-1*x^22-1*x^21+1*x^20-1*x^19+1*x^17+0*x^16+0*x^15+1*x^13-1*x^12+1*x^11-1*x^10-1*x^9-1*x^8+1*x^7+1*x^6-1*x^5+1*x^4-1*x^3+1*x^2-1*x+1,
(g,n)->powmod(g,n,3,P,x),
x^61+x^60-x^59+x^58-x^56+x^55-x^53-x^49+x^47-x^46+x^45-x^44+x^43+x^42+x^41+x^40-x^39-x^33+x^32-x^31+x^30-x^29+x^28-x^27-x^25-x^24+x^23-x^22-x^21+x^20-x^19+x^17+x^13-x^12+x^11-x^10-x^9-x^8+x^7+x^6-x^5+x^4-x^3+x^2-x+1,
3433683820292512484657849089281,
13412827423017626893194723005,
proc(g)
evalb(puiss(g,(q-1)/2)=1);
end;,
true,
false,
x^63-x^31,
[],
[x^63-x^31,-x^62,-x^60-x^28,x^56+x^24,x^48+x^16,x^32+1,x^32-1,-1,1],
proc(v)
puiss(v,q-2);
end;,
1+x,
true,
[-107,5606142711964398740514981881],
-x^50-x^18,
-x^15-x^14,
1*x+1,
1+x,
-x^50-x^18,
1*x+1,
1+x,
2,
x^63+x^60+x^59+x^57+x^56+x^55-x^54-x^53+x^52+x^51-x^50-x^49-x^48+x^47-x^46-x^45+x^44+x^39-x^37+x^36-x^35+x^33+x^32-x^31+x^30+x^28+x^27-x^26-x^25-x^24+x^22-x^21-x^20-x^18-x^16+x^15+x^13+x^12+x^11+x^9-x^8+x^6+x^5+x^4+x^3+x^2+x,
-x^15-x^14,
-x^15-x^14,
[[0,0,0,0,0,0,0,0]],
-x^50-x^18,
1,
1,
"Done",
-x^50-x^18,
-x^50-x^18,
1,
"Done",
-x^50-x^18,
-x^50-x^18,
-x^63+x^62+x^60-x^59+x^57+x^55-x^53-x^52-x^51+x^48+x^46+x^44+x^43-x^42+x^41-x^40-x^39-x^37+x^36+x^34-x^33+x^32+x^30-x^29+x^28-x^26-x^25-x^24-x^23+x^19-x^18-x^17+x^16+x^15-x^13+x^12-x^10-x^7+x^6-x^4-x^2+x+1,
x+1,
1+x,
[[2,2],[3,2],[7,1]],
[[2,2],[3,2],[7,1]],
[2,3,7],
proc(x,n)
local m,l,p,y;
m:=Phi(n);
l:=(maple_ifactors(m))[2];
for i from 1 to rowdim(l) do
m:=iquo(m,(l[i,1])^(l[i,2]));
y:=powmod(x,m,n);
while y<>1 do
y:=powmod(y,l[i,1],n);
m:=m*l[i,1];
od;;
od;;
m;
end;,
2,
"Done",
0