{VERSION 6 0 "IBM INTEL NT" "6.0" }{USTYLETAB {CSTYLE "Maple Input" -1 0 "Courier" 0 1 255 0 0 1 0 1 0 0 1 0 0 0 0 1 }{CSTYLE "2D Math" -1 2 "Times" 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 1 }{CSTYLE "2D Output" 2 20 "" 0 1 0 0 255 1 0 0 0 0 0 0 0 0 0 1 }{PSTYLE "Normal" -1 0 1 {CSTYLE "" -1 -1 "Times" 1 12 0 0 0 1 2 2 2 2 2 2 1 1 1 1 }1 1 0 0 0 0 1 0 1 0 2 2 0 1 }{PSTYLE "Text Output" -1 2 1 {CSTYLE "" -1 -1 "Courier" 1 10 0 0 255 1 0 0 0 0 0 1 3 0 3 0 }1 0 0 -1 -1 -1 0 0 0 0 0 0 -1 0 }{PSTYLE "Warning" 2 7 1 {CSTYLE "" -1 -1 "" 0 1 0 0 255 1 0 0 0 0 0 0 1 0 0 0 }0 0 0 -1 -1 -1 0 0 0 0 0 0 -1 0 }{PSTYLE "Maple Output" -1 11 1 {CSTYLE "" -1 -1 "Times" 1 12 0 0 0 1 2 2 2 2 2 2 1 1 1 1 }3 3 0 0 0 0 1 0 1 0 2 2 0 1 }{PSTYLE "" 11 12 1 {CSTYLE "" -1 -1 "" 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 }1 0 0 -1 -1 -1 0 0 0 0 0 0 -1 0 }}{SECT 0 {EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 102 "#fonctions sur ensembles ou listes:\n#op, nops, minus, union, intersect, subset, select, \+remove, member" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 46 "#Q1\nS1:=seq(2*k+1,k=1..6);\nE1:=\{S1\};\nL1:=[S1];" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%#S1G6(\"\"$\"\"&\"\"(\"\"*\"#6\"#8" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%#E1G<(\"\"$\"\"&\"\"(\"\"*\"#6\"#8" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%#L1G7(\"\"$\"\"&\"\"(\"\"*\"#6\"#8" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 37 "#Q2\nmap(isprime,E1);\nmap(isprime,L1);" }{TEXT -1 0 "" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#<$%&falseG%%trueG" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#7(%%trueGF$F$%&falseGF$F$" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 121 "#Q3\nmap(isprime,S1); #applique isprime \340 3, les autres valeurs sont consid\351r\351es comme arguments suppl\351mentaire de isprime" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#%%trueG" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 163 "#Q4\nop(E1); #pour prendre les \351l\351ments d'un ensemble d'\351l\351ments, il faut donc appliquer op \340 tous les sous-ensembles\nflatset:=E->map(op,E);\nflatset(\{\{1,2\},\{2,3\}\});" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#%#E1G" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%(flatsetGf*6#%\"EG6\"6$%)operatorG%&arrowGF(-%$mapG6$%#opG9$F(F(F(" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#<%\"\"\"\"\"#\"\"$" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 54 "#Q5\nflat_list:=L->map(op,L);\nflat_list([[1,2],[3,4]]);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%*flat_listGf*6#%\"LG6\"6$%)operatorG%&arrowGF(-%$mapG6$%#opG9$F(F(F(" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#7&\"\"\"\"\"#\"\"$\"\"%" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 90 "#Q6 \nelements:=M->seq(seq(M[i,j],j=1..nops(M[i])),i=1..nops(M)):\nelements([[1,2],[3,4]]);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6&\"\"\"\"\"#\"\"$\"\"%" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 109 "#Q7\nwith(numtheory); \+#charge la bibliot\350que numtheory contenant la fonction sum2qr\nsum2sqr(218);\nsum2sqr(33);" }}{PARA 7 "" 1 "" {TEXT -1 69 "Warning, the protected name order has been redefined and unprotected\n" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#7Q%&GIgcdG%)bigomegaG%&cfracG%)cfracpolG%+cyclotomicG%)divisorsG%)factorEQG%*factorsetG%'fermatG%)imagunitG%&indexG%/integral_basisG%)invcfracG%'invphiG%*issqrfreeG%'jacobiG%*kroneckerG%'lambdaG%)legendreG%)mcombineG%)mersenneG%(migcdexG%*minkowskiG%(mipolysG%%mlogG%'mobiusG%&mrootG%&msqrtG%)nearestpG%*nthconverG%)nthdenomG%)nthnumerG%'nthpowG%&orderG%)pdexpandG%$phiG%#piG%*pprimrootG%)primrootG%(quadresG%+rootsunityG%*safeprimeG%&sigmaG%*sq2factorG%(sum2sqrG%$tauG%%thueG" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#7#7$\"\"(\"#8" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#7\"" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 44 "map(L->[seq(flat_list(sum2sqr(i)),i=1..10)];" }}{PARA 11 "" 1 "" {XPPMATH 20 "6,7$\"\"!\"\"\"7$F%F%7\"7$F$\"\"#7$F)F%F'F'7$F)F)7$F$\"\"$7$F%F-" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 540 "#Q8 principe: sum2sqr donne une liste de listes, en lui appliquant flatlist, puis en \+prenant la somme des carr\351s des deux membres on retombe sur le nombre bon\n#on aurait seq(flat_list(sum2sqr(i))[1]^2+flat_list(sum2sqr(i))[2]^2,i=1..N)\n#ne marche pas car la liste vide n'a ni premier ni dernier \351l\351ment\n\n#solution du m\352me esprit\nsumlist:=L->sum(L[k],k=1..2): #fonction sommant les 2 premiers termes d'une liste\n#on prend les carr\351s de la liste et on fait la somme ac sumliste\nbon:=\{seq(sumlist(map(x->x^2,flat_list(sum2sqr(i)))),i=1..10)\};\n" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%$bonG<*\"\"!\"\"\"\"\"#\"\"%\"\"&\"\")\"\"*\"#5" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 40 "#Q9\nmauvais:=\{seq(i,i=1..10)\} minus bon;" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%(mauvaisG<%\"\"$\"\"'\"\"(" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 142 "#Q11 si tous les membres satisfont f alors l'ensemble map(f,e) sera \351gal \340 \{true\}\nfor_all:=(f,e)->evalb(map(f,e)=\{true\}):\nfor_all(isprime,E1);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#%&falseG" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 149 "#Q12 si il existe un \351l\351ment de e satisfaisant f alors true fait partie de map(f,e)\nexiste:=(f,e)->evalb(member(true,map(f,e))):\nexiste(isprime,E1);\n" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#%&falseG" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 81 "#Q13\nest_carre_parfait:=x->evalb(sqrt(x)-floor(sqrt(x))=0):\nest_carre_parfait(9);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#%%trueG" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 267 "#Q14\nest_bon:=x->existe(est_carre_parfait,\{seq(i,i=1..floor(sqrt(x)))\});\nEt:=\{seq(i,i=10^6..10^6+99)\}:\nselect(est_bon,Et); # select est une fonction pr\351d\351finie qui s\351lectionne les \351l\351ments d'une liste ou d'un ensemble e qui v\351rifient un crit\350re f syntaxe: select(f,e)" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%(est_bonGf*6#%\"xG6\"6$%)operatorG%&arrowGF(-%'existeG6$%2est_carre_parfaitG<#-%$seqG6$%\"iG/F4;\"\"\"-%&floorG6#-%%sqrtG6#9$F(F(F(" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#<`q\"(+++\"\"(,++\"\"(-++\"\"(.++\"\"(/++\"\"(0++\"\"(1++\"\"(2++\"\"(3++\"\"(4++\"\"(5++\"\"(6++\"\"(7++\"\"(8++\"\"(9++\"\"(:++\"\"(;++\"\"(<++\"\"(=++\"\"(>++\"\"(?++\"\"(@++\"\"(A++\"\"(B++\"\"(C++\"\"(D++\"\"(E++\"\"(F++\"\"(G++\"\"(H++\"\"(I++\"\"(J++\"\"(K++\"\"(L++\"\"(M++\"\"(N++\"\"(O++\"\"(P++\"\"(Q++\"\"(R++\"\"(S++\"\"(T++\"\"(U++\"\"(V++\"\"(W++\"\"(X++\"\"(Y++\"\"(Z++\"\"([++\"\"(\\++\"\"(]++\"\"(^++\"\"(_++\"\"(`++\"\"(a++\"\"(b++\"\"(c++\"\"(d++\"\"(e++\"\"(f++\"\"(g++\"\"(h++\"\"(i++\"\"(j++\"\"(k++\"\"(l++\"\"(m++\"\"(n++\"\"(o++\"\"(p++\"\"(q++\"\"(r++\"\"(s++\"\"(t++\"\"(u++\"\"(v++\"\"(w++\"\"(x++\"\"(y++\"\"(z++\"\"(!3+5\"(\"3+5\"(#3+5\"($3+5\"(%3+5\"(&3+5\"('3+5\"((3+5\"()3+5\"(*3+5\"(!4+5\"(\"4+5\"(#4+5\"($4+5\"(%4+5\"(&4+5\"('4+5\"((4+5\"()4+5\"(*4+5" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 386 "#Q15\nC:=\{seq(a^2,a=0..10)\}: liste des carr\351s parfaits entre 0 et 10\najoute:=(x,E)->map(a->a+x,E):# fonction ajoutant x \340 tous les \351l\351ments d'un \+ensemble\nB:=flatset(\{seq(ajoute(i,C),i in C)\}):# ensembles des bons (somme(i^2+j^2))\nR:=flatset(\{seq(ajoute(i,B),i in C)\}):#ensemble des remarquables\n(somme(i^2+j^2+k^2)\nNR:=\{seq(i,i=1..300)\} minus R:# ensemble des non remarquables\nNR[1..10];" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#<,\"\"(\"#:\"#B\"#G\"#J\"#R\"#Z\"#b\"#g\"#j" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 77 "#Q16\nEX:=flatset(\{seq(ajoute(i,R),i in C)\}):\nNEX:=\{seq(i,i=1..100)\} minus EX;" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%$NEXG<\"" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}}}{MARK "17 0 0" 0 }{VIEWOPTS 1 1 0 1 1 1803 1 1 1 1 }{PAGENUMBERS 0 1 2 33 1 1 }