{VERSION 6 0 "IBM INTEL LINUX" "6.0" } {USTYLETAB {CSTYLE "Maple Input" -1 0 "Courier" 0 0 255 0 0 1 0 1 0 0 1 0 0 0 0 1 }{PSTYLE "Normal" -1 0 1 {CSTYLE "" -1 -1 "Times" 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 }0 0 0 -1 -1 -1 0 0 0 0 0 0 -1 0 }{PSTYLE "Hea ding 1" 0 3 1 {CSTYLE "" -1 -1 "" 1 18 0 0 0 0 0 1 0 0 0 0 0 0 0 1 }1 0 0 0 6 6 0 0 0 0 0 0 -1 0 }{PSTYLE "Heading 2" 3 4 1 {CSTYLE "" -1 -1 "" 1 14 0 0 0 0 0 0 0 0 0 0 0 0 0 1 }0 0 0 -1 4 4 0 0 0 0 0 0 -1 0 }{PSTYLE "Heading 3" 4 5 1 {CSTYLE "" -1 -1 "" 1 13 0 0 0 0 0 1 0 0 0 0 0 0 0 1 }0 0 0 -1 0 0 0 0 0 0 0 0 -1 0 }{PSTYLE "Title" 0 18 1 {CSTYLE "" -1 -1 "" 1 24 0 0 0 0 0 1 1 0 0 0 0 0 0 1 }3 0 0 -1 12 12 0 0 0 0 0 0 19 0 }{PSTYLE "R3 Font 0" -1 256 1 {CSTYLE "" -1 -1 "Couri er" 1 11 255 0 0 1 2 1 2 0 0 0 0 0 0 1 }0 0 0 -1 -1 -1 0 0 0 0 0 0 -1 0 }{PSTYLE "R3 Font 2" -1 257 1 {CSTYLE "" -1 -1 "Courier" 1 11 0 0 0 1 1 1 2 0 0 0 0 0 0 1 }0 0 0 -1 -1 -1 0 0 0 0 0 0 -1 0 }{PSTYLE "newpa ge" -1 258 1 {CSTYLE "" -1 -1 "" 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 }0 0 0 -1 -1 -1 0 0 0 0 1 0 -1 0 }{PSTYLE "R3 Font 0" -1 259 1 {CSTYLE "" -1 -1 "Courier" 1 12 255 0 0 1 2 1 2 0 0 0 0 0 0 1 }0 0 0 -1 -1 -1 0 0 0 0 0 0 -1 0 }{PSTYLE "R3 Font 2" -1 260 1 {CSTYLE "" -1 -1 "Courier " 1 10 0 0 0 1 1 1 2 0 0 0 0 0 0 1 }0 0 0 -1 -1 -1 0 0 0 0 0 0 -1 0 } } {SECT 0 {PARA 18 "" 0 "" {TEXT -1 17 "Maple V Release 4" }}{SECT 1 {PARA 3 "" 0 "" {TEXT -1 26 "Slozitejs\355 logick\351 operace" }} {EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 47 "evalb(1 < 3),\nevalb(2/3 < 1 /3),\nevalb(3 < Pi);\n" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 38 "i s(1 < 3),\nis(2/3 < 1/3),\nis(3 < Pi);\n" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 57 "### WARNING: `logic` is no longer available\nwith(log ic):\n" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 191 "### WARNING: log ic[bsimp] is no longer available\nbsimp((x &and y &and ¬ z) &or\n \+ (x &and (z &xor t)) &or\n (x &and z &and (y &nand ¬ t)) &o r\n (x &and ¬ y &and ¬ t));\n" }}}}{SECT 1 {PARA 3 "" 0 "" {TEXT -1 14 "Inertn\355 funkce" }}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 96 "### WARNING: persi stent store makes one-argument readlib obsolete\nreadlib(showtime): sh owtime();" }}}{EXCHG {PARA 0 "O1 := " 0 "" {MPLTEXT 1 0 39 "evalf(int( (sin^10)(x+sin(x)), x=0..1));" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 40 "evalf(Int((sin^10)(x+sin(x)), x=0..1));\n" }}}{EXCHG {PARA 0 "O3 := " 0 "" {MPLTEXT 1 0 4 "off;" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 9 "restart;\n" }}}}{SECT 1 {PARA 3 "" 0 "" {TEXT -1 35 "Pravidla v yhodnocov\341n\355 (evaluation)" }}{SECT 1 {PARA 4 "" 0 "" {TEXT -1 16 "Pln\351 vyhodnocen\355" }}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 23 "unassign('j','k','l');\n" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 18 "j:=k; k:=l; l:=31;" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 2 " j;" }}}}{SECT 1 {PARA 4 "" 0 "" {TEXT -1 20 "Zpozden\351 vyhodnocen \355" }}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 27 "j := 31;\nsum(j^2, j =1..5);\n" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 18 "Sum(j^2, j=1.. 5);\n" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 43 "Sum('j'^2, 'j'=1.. 5)=sum('j'^2, 'j'=1..5);\n" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 57 "Sum(j^2, 'j'=1..5)=sum(j^2, 'j'=1..5);\n ifactor(rhs(%));\n" }}}} {SECT 1 {PARA 4 "" 0 "" {TEXT -1 28 "V\375jimky z pln\351ho vyhodnocen \355" }}{SECT 1 {PARA 5 "" 0 "" {TEXT -1 29 "Vyhodnocen\355 po posledn \355 jm\351no" }}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 153 "f := proc( x); sin(x+x^2) end:\nA := array(1..2, 1..2, [[a,b], [c,d]]):\nbarva := table():\nbarva[`nebe`] := `modra`:\nbarva[`slunce`]:=`zluta`:\nf, A, barva;\n" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 22 "g := f: h := g: \nh;" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 6 "h(3);\n" }}} {EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 5 "f(h);" }}}}{SECT 1 {PARA 5 " " 0 "" {TEXT -1 16 "Lok\341ln\355 promenn\351" }}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 75 "test1 := proc() local j,k,l; j:=k; k:=l; l:=31; \+ print(j,k,l) end:\ntest1();\n" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 75 "test2 := proc() local j,k,l; l:=31; k:=l; j:=k; print(j,k,l) end :\ntest2();\n" }}}}{SECT 1 {PARA 5 "" 0 "" {TEXT -1 32 "V\375razy se z pozden\375m vyhodnocen\355m" }}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "m:=''''j+11'''';\n" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 2 "%; " }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 2 "%;" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 2 "%;" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 2 "%;" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 7 "M:='m';" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 5 "M:=M;" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 5 "M:=M;" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 5 "M:= M;" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 5 "M:=M;" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 15 "'''5^2+4/2''';\n" }}}}{SECT 1 {PARA 5 "" 0 "" {TEXT -1 12 "Funkce eval" }}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 10 "eval(f); \n" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 13 "eval(barva); " }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 9 "eval( A); " }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 23 "seq(eval(m,i), i=1. .9);" }}}}{SECT 1 {PARA 5 "" 0 "" {TEXT -1 23 "Funkce evaln, assigned " }}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 33 "evaln(barva[nebe]); assi gned(m);\n" }}}{EXCHG {PARA 0 "" 0 "" {TEXT -1 80 "Funkce evaln prac uje pro jednoduch\351 promenn\351 stejne jako zpozden\351 vyhodnocen \355:" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 15 "evaln(j), 'j';" } }}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 10 "index:=2;\n" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 25 "tab[index]:='tab[index]';" }}} {EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 30 "tab[index]:=evaln(tab[index] );" }}}}{SECT 1 {PARA 5 "" 0 "" {TEXT -1 16 "Funkce userinfo" }} {EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}}{EXCHG {PARA 0 "> " 0 " " {MPLTEXT 1 0 104 "pocitadlo := proc() global pocet; pocet:=pocet+1 e nd:\npocet:=0:\npocitadlo(), pocitadlo(), pocitadlo(); \n" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 91 "naseinfo := proc (hodn, lev); if in folevel[lev]>=hodn then lprint(args[3..nargs]) fi \nend:\n" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 205 "infolevel[lev]:=0:\nnaseinfo(1, le v, `zatim to je volano`, pocitadlo(), `-krat`);\nnaseinfo(1, lev, `zat im to je volano`, pocitadlo(), `-krat`);\nnaseinfo(1, lev, `zatim to j e volano`, pocitadlo(), `-krat`);\n" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 81 "infolevel[lev]:=3:\nnaseinfo(1, lev, `zatim to je vol ano`, pocitadlo(), `-krat`);\n" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 61 "naseinfo(1, lev, `zatim to je volano`, pocitadlo(), `-krat`); " }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}}{EXCHG {PARA 0 "> \+ " 0 "" {MPLTEXT 1 0 205 "infolevel[lev]:=0:\nuserinfo(1, lev, `zatim t o je volano`, pocitadlo(), `-krat`);\nuserinfo(1, lev, `zatim to je vo lano`, pocitadlo(), `-krat`);\nuserinfo(1, lev, `zatim to je volano`, \+ pocitadlo(), `-krat`);\n" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 81 "infolevel[lev]:=3:\nuserinfo(1, lev, `zatim to je volano`, pocitadlo( ), `-krat`);\n" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 61 "userinfo( 1, lev, `zatim to je volano`, pocitadlo(), `-krat`);" }}}}{SECT 1 {PARA 5 "" 0 "" {TEXT -1 21 "Funkce seq, add, mul" }}{EXCHG {PARA 0 " > " 0 "" {MPLTEXT 1 0 54 "seq(j^2, j=1..3);\nadd(j^2, j=1..3);\nmul(j^ 2, j=1..3);\n" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 14 "j^2 $ j=1. .3;\n" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "j^2 $ 'j'=1..3;\n " }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 18 "'j^2' $ 'j'=1..3;\n" }} }}{SECT 1 {PARA 5 "" 0 "" {TEXT -1 17 "Spojov\341n\355 retezcu" }} {EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 51 "r1:=`prvni`: r2:=`druhy`: r3 :=`treti`:\nr1||r2||r3;\n" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 25 "``||r1 || r2||r3;\n" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "``||r1||(1..5);\n" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 43 "for i from 1 to 3 do `kvadrat`||i:=i^2 od;\n" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 9 "kvadrat2;" }}}}{SECT 1 {PARA 5 "" 0 "" {TEXT -1 14 "Funkce evalhf" }}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 14 "eva lhf(h(3));\n" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 13 "evalhf(h(a) );" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 68 "vyber := x -> x[2];\n seznam := [11, 22, 33];\nevalf(vyber(seznam)/7);\n" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 24 "evalhf(vyber(seznam)/7);" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "vyber(seznam)/7;" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 10 "e valhf(%);" }}}}}}}{MARK "0 0" 0 }{VIEWOPTS 1 1 0 1 1 1803 1 1 1 1 } {PAGENUMBERS 0 1 2 33 1 1 }