TP00.tst
9.6 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
[],
"Warning: some commands like subs might change arguments order",
0,0,0,1,0,1e-10,25,[1,50,0,25],0,0,0,
23^(1/3),
2.8438669798515,
2.8438669798515,
2.843866979851565477695440,
3.141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408128481117450284102701938521105559644622948954930381964428810975665933446128475648233786783165271201909145648566923460348610454326648213393607260249141273724587006606315588174881520920962829254091715364367892590360011330530548820466521384146951941511609433057270365759591953092186117381932611793105118548074462379962749567351885752724891227938183011949129833673362440656643086021394946395224737190702179860943702770539217176293176752384674818467669405132000568127145263560827785771342757789609173637178721468440901224953430146549585371050792279689258923542019956112129021960864034418159813629774771309960518707211349999998372978049951059731732816096318595024459455346908302642522308253344685035261931188171010003137838752886587533208381420617177669147303598253490428755468731159562863882353787593751957781857780532171226806613001927876611195909216420199,
"Warning: some commands like subs might change arguments order",
E,
2.718281828459045235360287,
"Warning: some commands like subs might change arguments order",
E,
e,
2.718281828459045235360287,
1000,
1.4142135623731,
10,
1.732050808,
4*x^6+8*x^5+9*x^4+9*x^3+9*x^2+5*x+1,
(X-1)*(X+1)*(X^2+1)*(X^2-X+1)*(X^2+X+1)*(X^4-X^2+1),
(X-1)*(X+1)*(X^2-X+1)*(X^2+X+1),
(X-1)*(X+1)*(X^2+1),
"No such variable a","No such variable u","No such variable v",
a+u,
a+u+v,
a/(a+u+a+u+v)+(a+u)/(a+a+u+v)+(a+u+v)/(a+a+u)-3/2,
4*a*u^2+4*a*u*v+4*a*v^2+2*u^3+3*u^2*v+5*u*v^2+2*v^3,
16*a^3+32*a^2*u+16*a^2*v+20*a*u^2+20*a*u*v+4*a*v^2+4*u^3+6*u^2*v+2*u*v^2,
1,
4.4*(x+0.50000000000000)*(x+0.50000000000000)*(x+0.80901699437494469055405+0.58778525229247103432521*I)*(x+0.80901699437494469055405-0.58778525229247103432521*I)*(x-0.30901699437494853421122+0.95105651629515245315101*I)*(x-0.30901699437494853421122-0.95105651629515245315101*I),
4.0*(x+0.5)*(x+0.5)*(x+0.8090169944+0.5877852523*I)*(x+0.8090169944-0.5877852523*I)*(x-0.3090169944+0.9510565163*I)*(x-0.3090169944-0.9510565163*I),
0,
(2*x+1)^2*(x^4+x^3+x^2+x+1),
4.0*(x+0.5)*(x+0.5)*(x^2-0.6180339887*x+1.0)*(x^2+1.618033989*x+1.0),
(2*x+1)^2*(x^4+x^3+x^2+x+1),
(X-1)*(X+1)*(X^2+1)*(X^2+(-sqrt(3))*X+1)*(X^2-X+1)*(X^2+X+1)*(X^2+sqrt(3)*X+1),
(X-1)*(X+1)*(X-I)*(X+((-I)*sqrt(3)-1)/2)*(X+((-I)*3+3*sqrt(3))/6)*(X+((-I)*sqrt(3)+1)/2)*(X+((-I)*3-3*sqrt(3))/6)*(X+(I*3-3*sqrt(3))/6)*(X+(I*sqrt(3)-1)/2)*(X+I)*(X+(I*sqrt(3)+1)/2)*(X+(I*3+3*sqrt(3))/6),
(X-1)*(X+1)*(X^2+1)*(X^2-X+1)*(X^2+X+1)*(X^4-X^2+1),
(X-1)*(X+1)*(X-I)*(X+((-I)*sqrt(3)-1)/2)*(X+((-I)*3+3*sqrt(3))/6)*(X+((-I)*sqrt(3)+1)/2)*(X+((-I)*3-3*sqrt(3))/6)*(X+(I*3-3*sqrt(3))/6)*(X+(I*sqrt(3)-1)/2)*(X+I)*(X+(I*sqrt(3)+1)/2)*(X+(I*3+3*sqrt(3))/6),
1+I*sqrt(3),
exp(2*I*Pi/9),
0,
exp(2*I*Pi/9),
16*cos(a)^5-20*cos(a)^3+5*cos(a),
-209*ln(2)+209*ln(3)-254/3,
2*((32*sin(x)^4-256/3*sin(x)^3+208*sin(x)^2-832*sin(x))/16+209/2*ln(sin(x)+2)),
209*ln(sin(x)+2)+4*sin(x)^4-32/3*sin(x)^3+26*sin(x)^2-104*sin(x),
0,
"No such variable a",a+u,1+I*sqrt(3),"No such variable d","No such variable e","No such variable t",
((1-a*t)*(1-b*t)*(1-c*t)*(1-d*t))^-1,
1+(a+b+c+d)*t+(a^2+a*b+a*c+a*d+b^2+b*c+b*d+c^2+c*d+d^2)*t^2+(a^3+a^2*b+a^2*c+a^2*d+a*b^2+a*b*c+a*b*d+a*c^2+a*c*d+a*d^2+b^3+b^2*c+b^2*d+b*c^2+b*c*d+b*d^2+c^3+c^2*d+c*d^2+d^3)*t^3+t^4*order_size(t),
a^3+a^2*b+a^2*c+a^2*d+a*b^2+a*b*c+a*b*d+a*c^2+a*c*d+a*d^2+b^3+b^2*c+b^2*d+b*c^2+b*c*d+b*d^2+c^3+c^2*d+c*d^2+d^3,
1/((1-a*t)*(1-b*t^3)*(1-c*t^2)*(1-d*t)*(1-e*t^4)),
"Done",
a^4+a^3*d+a^2*d^2+a^2*c+a*d^3+a*d*c+a*b+d^4+d^2*c+d*b+c^2+e,
1/((1-t)*(1-t^3)*(1-t^2)*(1-t)*(1-t^4)),
"Done",
3605967,
(n)->mul(1/(1-t^i),i=(1 .. n)),
1+t+2*t^2+3*t^3+5*t^4+7*t^5+11*t^6+15*t^7+22*t^8+30*t^9+42*t^10+56*t^11+77*t^12+101*t^13+135*t^14+176*t^15+231*t^16+297*t^17+385*t^18+490*t^19+627*t^20+792*t^21+1002*t^22+1255*t^23+1575*t^24+1958*t^25+2436*t^26+3010*t^27+3718*t^28+4565*t^29+5604*t^30+6842*t^31+8349*t^32+10143*t^33+12310*t^34+14883*t^35+17977*t^36+21637*t^37+26015*t^38+31185*t^39+37338*t^40+44583*t^41+53174*t^42+63261*t^43+75175*t^44+89134*t^45+105558*t^46+124754*t^47+147273*t^48+173525*t^49+204226*t^50+t^51*order_size(t),
204226,
a^8+8*a^7*b+8*a^7*c+8*a^7*d+28*a^6*b^2+56*a^6*b*c+56*a^6*b*d+28*a^6*c^2+56*a^6*c*d+28*a^6*d^2+56*a^5*b^3+168*a^5*b^2*c+168*a^5*b^2*d+168*a^5*b*c^2+336*a^5*b*c*d+168*a^5*b*d^2+56*a^5*c^3+168*a^5*c^2*d+168*a^5*c*d^2+56*a^5*d^3+70*a^4*b^4+280*a^4*b^3*c+280*a^4*b^3*d+420*a^4*b^2*c^2+840*a^4*b^2*c*d+420*a^4*b^2*d^2+280*a^4*b*c^3+840*a^4*b*c^2*d+840*a^4*b*c*d^2+280*a^4*b*d^3+70*a^4*c^4+280*a^4*c^3*d+420*a^4*c^2*d^2+280*a^4*c*d^3+70*a^4*d^4+56*a^3*b^5+280*a^3*b^4*c+280*a^3*b^4*d+560*a^3*b^3*c^2+1120*a^3*b^3*c*d+560*a^3*b^3*d^2+560*a^3*b^2*c^3+1680*a^3*b^2*c^2*d+1680*a^3*b^2*c*d^2+560*a^3*b^2*d^3+280*a^3*b*c^4+1120*a^3*b*c^3*d+1680*a^3*b*c^2*d^2+1120*a^3*b*c*d^3+280*a^3*b*d^4+56*a^3*c^5+280*a^3*c^4*d+560*a^3*c^3*d^2+560*a^3*c^2*d^3+280*a^3*c*d^4+56*a^3*d^5+28*a^2*b^6+168*a^2*b^5*c+168*a^2*b^5*d+420*a^2*b^4*c^2+840*a^2*b^4*c*d+420*a^2*b^4*d^2+560*a^2*b^3*c^3+1680*a^2*b^3*c^2*d+1680*a^2*b^3*c*d^2+560*a^2*b^3*d^3+420*a^2*b^2*c^4+1680*a^2*b^2*c^3*d+2520*a^2*b^2*c^2*d^2+1680*a^2*b^2*c*d^3+420*a^2*b^2*d^4+168*a^2*b*c^5+840*a^2*b*c^4*d+1680*a^2*b*c^3*d^2+1680*a^2*b*c^2*d^3+840*a^2*b*c*d^4+168*a^2*b*d^5+28*a^2*c^6+168*a^2*c^5*d+420*a^2*c^4*d^2+560*a^2*c^3*d^3+420*a^2*c^2*d^4+168*a^2*c*d^5+28*a^2*d^6+8*a*b^7+56*a*b^6*c+56*a*b^6*d+168*a*b^5*c^2+336*a*b^5*c*d+168*a*b^5*d^2+280*a*b^4*c^3+840*a*b^4*c^2*d+840*a*b^4*c*d^2+280*a*b^4*d^3+280*a*b^3*c^4+1120*a*b^3*c^3*d+1680*a*b^3*c^2*d^2+1120*a*b^3*c*d^3+280*a*b^3*d^4+168*a*b^2*c^5+840*a*b^2*c^4*d+1680*a*b^2*c^3*d^2+1680*a*b^2*c^2*d^3+840*a*b^2*c*d^4+168*a*b^2*d^5+56*a*b*c^6+336*a*b*c^5*d+840*a*b*c^4*d^2+1120*a*b*c^3*d^3+840*a*b*c^2*d^4+336*a*b*c*d^5+56*a*b*d^6+8*a*c^7+56*a*c^6*d+168*a*c^5*d^2+280*a*c^4*d^3+280*a*c^3*d^4+168*a*c^2*d^5+56*a*c*d^6+8*a*d^7+b^8+8*b^7*c+8*b^7*d+28*b^6*c^2+56*b^6*c*d+28*b^6*d^2+56*b^5*c^3+168*b^5*c^2*d+168*b^5*c*d^2+56*b^5*d^3+70*b^4*c^4+280*b^4*c^3*d+420*b^4*c^2*d^2+280*b^4*c*d^3+70*b^4*d^4+56*b^3*c^5+280*b^3*c^4*d+560*b^3*c^3*d^2+560*b^3*c^2*d^3+280*b^3*c*d^4+56*b^3*d^5+28*b^2*c^6+168*b^2*c^5*d+420*b^2*c^4*d^2+560*b^2*c^3*d^3+420*b^2*c^2*d^4+168*b^2*c*d^5+28*b^2*d^6+8*b*c^7+56*b*c^6*d+168*b*c^5*d^2+280*b*c^4*d^3+280*b*c^3*d^4+168*b*c^2*d^5+56*b*c*d^6+8*b*d^7+c^8+8*c^7*d+28*c^6*d^2+56*c^5*d^3+70*c^4*d^4+56*c^3*d^5+28*c^2*d^6+8*c*d^7+d^8,
1680,
1680,
5,
(sqrt(5)-1)/4+I*sqrt(2*sqrt(5)+10)/4,
"Done",
(i,j,k)->if k=1 then segment(a^i,a^j); else seq(arc(a^i,a^j,l/k),l=(1 .. k));
fi ,
"Done",
pnt(pnt[(sqrt(5)-1)/4+I*sqrt(2*sqrt(5)+10)/4,1048580]),pnt(pnt[((sqrt(5)-1)/4+I*sqrt(2*sqrt(5)+10)/4)^2,1048580]),pnt(pnt[((sqrt(5)-1)/4+I*sqrt(2*sqrt(5)+10)/4)^3,1048580]),pnt(pnt[((sqrt(5)-1)/4+I*sqrt(2*sqrt(5)+10)/4)^4,1048580]),pnt(pnt[((sqrt(5)-1)/4+I*sqrt(2*sqrt(5)+10)/4)^5,1048580]),
pnt(pnt[group[(sqrt(5)-1)/4+I*sqrt(2*sqrt(5)+10)/4,((sqrt(5)-1)/4+I*sqrt(2*sqrt(5)+10)/4)^3],56]),pnt(pnt[circle(pnt[group[-(sqrt(5)-1)/4-I*sqrt(2*sqrt(5)+10)/4+2*((16*I*sqrt(2*sqrt(5)+5)-16)*tan(1/6)+rootof([[-1-2*I,-1+2*I,37+50*I,45+30*I],[1,0,-30,-40,5]]))/(64*tan(1/6)),(sqrt(5)-1)/4+I*sqrt(2*sqrt(5)+10)/4],0,1/3]),56]),pnt(pnt[circle(pnt[group[-(sqrt(5)-1)/4-I*sqrt(2*sqrt(5)+10)/4+2*((16*I*sqrt(2*sqrt(5)+5)-16)*tan(1/3)+rootof([[-1-2*I,-1+2*I,37+50*I,45+30*I],[1,0,-30,-40,5]]))/(64*tan(1/3)),(sqrt(5)-1)/4+I*sqrt(2*sqrt(5)+10)/4],0,2/3]),56]),pnt(pnt[circle(pnt[group[-(sqrt(5)-1)/4-I*sqrt(2*sqrt(5)+10)/4+2*((16*I*sqrt(2*sqrt(5)+5)-16)*tan(1/2)+rootof([[-1-2*I,-1+2*I,37+50*I,45+30*I],[1,0,-30,-40,5]]))/(64*tan(1/2)),(sqrt(5)-1)/4+I*sqrt(2*sqrt(5)+10)/4],0,1]),56]),pnt(pnt[circle(pnt[group[2*(((-16*I)*sqrt(-2*sqrt(5)+5)-16)*tan(1/4)+rootof([[-1+2*I,3-2*I,29-50*I,-15-30*I],[1,0,-30,-40,5]]))/(64*tan(1/4))-((sqrt(5)-1)/4+I*sqrt(2*sqrt(5)+10)/4)^2,((sqrt(5)-1)/4+I*sqrt(2*sqrt(5)+10)/4)^2],0,1/2]),56]),pnt(pnt[circle(pnt[group[2*(((-16*I)*sqrt(-2*sqrt(5)+5)-16)*tan(1/2)+rootof([[-1+2*I,3-2*I,29-50*I,-15-30*I],[1,0,-30,-40,5]]))/(64*tan(1/2))-((sqrt(5)-1)/4+I*sqrt(2*sqrt(5)+10)/4)^2,((sqrt(5)-1)/4+I*sqrt(2*sqrt(5)+10)/4)^2],0,1]),56]),pnt(pnt[group[((sqrt(5)-1)/4+I*sqrt(2*sqrt(5)+10)/4)^2,((sqrt(5)-1)/4+I*sqrt(2*sqrt(5)+10)/4)^3],56]),pnt(pnt[circle(pnt[group[2*(rootof([[-1,1-2*I,25+4*I,39+30*I],[1,0,-30,-40,5]])*tan(1/6)+rootof([[I,-2-I,4-25*I,30+25*I],[1,0,-30,-40,5]]))/(64*tan(1/6))-((sqrt(5)-1)/4+I*sqrt(2*sqrt(5)+10)/4)^3,((sqrt(5)-1)/4+I*sqrt(2*sqrt(5)+10)/4)^3],0,1/3]),56]),pnt(pnt[circle(pnt[group[2*(rootof([[-1,1-2*I,25+4*I,39+30*I],[1,0,-30,-40,5]])*tan(1/3)+rootof([[I,-2-I,4-25*I,30+25*I],[1,0,-30,-40,5]]))/(64*tan(1/3))-((sqrt(5)-1)/4+I*sqrt(2*sqrt(5)+10)/4)^3,((sqrt(5)-1)/4+I*sqrt(2*sqrt(5)+10)/4)^3],0,2/3]),56]),pnt(pnt[circle(pnt[group[2*(rootof([[-1,1-2*I,25+4*I,39+30*I],[1,0,-30,-40,5]])*tan(1/2)+rootof([[I,-2-I,4-25*I,30+25*I],[1,0,-30,-40,5]]))/(64*tan(1/2))-((sqrt(5)-1)/4+I*sqrt(2*sqrt(5)+10)/4)^3,((sqrt(5)-1)/4+I*sqrt(2*sqrt(5)+10)/4)^3],0,1]),56]),pnt(pnt[group[((sqrt(5)-1)/4+I*sqrt(2*sqrt(5)+10)/4)^3,((sqrt(5)-1)/4+I*sqrt(2*sqrt(5)+10)/4)^4],56]),pnt(pnt[circle(pnt[group[2*((sqrt(5)*8-8)*tan(1/4)-sqrt(2)*8*sqrt(sqrt(5)+5))/(32*tan(1/4))-((sqrt(5)-1)/4+I*sqrt(2*sqrt(5)+10)/4)^4,((sqrt(5)-1)/4+I*sqrt(2*sqrt(5)+10)/4)^4],0,1/2]),56]),pnt(pnt[circle(pnt[group[2*((sqrt(5)*8-8)*tan(1/2)-sqrt(2)*8*sqrt(sqrt(5)+5))/(32*tan(1/2))-((sqrt(5)-1)/4+I*sqrt(2*sqrt(5)+10)/4)^4,((sqrt(5)-1)/4+I*sqrt(2*sqrt(5)+10)/4)^4],0,1]),56]),
proc(a,n)
local A,B,C;
A:=1;
B:=a;
C:=n;
while C>0 do if irem(C,2)=1 then
A:=A*B;
C:=(C-1)/2;
B:=B*B else
C:=C/2;
B:=B*B
fi ;
od;;
A;
end;,
128,
[1,1,1,0,0,0,1]