{VERSION 5 0 "IBM INTEL NT" "5.0" } {USTYLETAB {CSTYLE "Maple Input" -1 0 "Courier" 0 1 255 0 0 1 0 1 0 2 1 2 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 } {CSTYLE "_cstyle1" -1 202 "Times" 0 1 0 0 0 0 0 0 0 2 2 2 0 0 0 1 } {CSTYLE "_cstyle2" -1 203 "Times" 0 1 0 0 0 0 0 0 0 2 2 2 0 0 0 1 } {PSTYLE "Normal" -1 0 1 {CSTYLE "" -1 -1 "" 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 }0 0 0 -1 -1 -1 0 0 0 0 0 0 -1 0 }{PSTYLE "Maple Output" 0 11 1 {CSTYLE "" -1 -1 "" 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 }3 3 0 -1 -1 -1 0 0 0 0 0 0 -1 0 }{PSTYLE "_pstyle1" -1 200 1 {CSTYLE "" -1 -1 "" 0 1 0 0 0 0 0 0 0 2 2 2 0 0 0 1 }0 0 0 -1 -1 -1 1 0 1 0 2 2 -1 1 }{PSTYLE "_ pstyle2" -1 201 1 {CSTYLE "" -1 -1 "Courier" 0 1 255 0 0 1 0 1 0 2 1 2 0 0 0 1 }0 0 0 -1 -1 -1 1 0 1 0 2 2 -1 1 }{PSTYLE "_pstyle3" -1 202 1 {CSTYLE "" -1 -1 "" 0 1 0 0 0 0 0 0 0 2 2 2 0 0 0 1 }0 0 0 -1 -1 -1 1 0 1 0 2 2 -1 1 }} {SECT 0 {EXCHG {PARA 200 "" 0 "" {TEXT 202 3 "01." }{TEXT 202 0 "" }}} {EXCHG {PARA 201 "> " 0 "" {MPLTEXT 1 0 27 "FastNextCarmichael:=proc(n )" }{MPLTEXT 1 0 0 "" }{MPLTEXT 1 0 32 "\nlocal liste,fertig,p,a,facto rs;" }{MPLTEXT 1 0 0 "" }{MPLTEXT 1 0 15 "\nfertig:=false;" }{MPLTEXT 1 0 0 "" }{MPLTEXT 1 0 6 "\np:=n;" }{MPLTEXT 1 0 0 "" }{MPLTEXT 1 0 21 "\nwhile not(fertig) do" }{MPLTEXT 1 0 0 "" }{MPLTEXT 1 0 16 "\n i f isprime(p)" }{MPLTEXT 1 0 0 "" }{MPLTEXT 1 0 18 "\n then p:=p+1; \+ " }{MPLTEXT 1 0 0 "" }{MPLTEXT 1 0 37 "\n else factors:=op(2,ifacto rs(p));" }{MPLTEXT 1 0 0 "" }{MPLTEXT 1 0 10 "\n end if;" }{MPLTEXT 1 0 0 "" }{MPLTEXT 1 0 47 "\n if not(\{op(map(a->op(2,a),factors))\}= \{1\}) or" }{MPLTEXT 1 0 0 "" }{MPLTEXT 1 0 65 "\n not(type((p-1)/ lcm(op(map(a->op(1,a)-1,factors))),integer))" }{MPLTEXT 1 0 0 "" } {MPLTEXT 1 0 17 "\n then p:=p+1;" }{MPLTEXT 1 0 0 "" }{MPLTEXT 1 0 24 "\n else fertig:=true; " }{MPLTEXT 1 0 0 "" }{MPLTEXT 1 0 10 "\n end if;" }{MPLTEXT 1 0 0 "" }{MPLTEXT 1 0 8 "\nend do;" }{MPLTEXT 1 0 0 "" }{MPLTEXT 1 0 10 "\nreturn p;" }{MPLTEXT 1 0 0 "" }{MPLTEXT 1 0 10 "\nend proc:" }{MPLTEXT 1 0 0 "" }}}{EXCHG {PARA 200 "" 0 "" {TEXT 202 3 "02." }{TEXT 202 0 "" }}}{EXCHG {PARA 201 "> " 0 "" {MPLTEXT 1 0 14 "start:=time():" }{MPLTEXT 1 0 0 "" }{MPLTEXT 1 0 26 " \nc:=FastNextCarmichael(4);" }{MPLTEXT 1 0 0 "" }{MPLTEXT 1 0 14 "\nti me()-start;" }{MPLTEXT 1 0 0 "" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%\" cG\"$h&" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#$\"$I\"!\"$" }}}{EXCHG {PARA 200 "" 0 "" {TEXT 202 3 "03." }{TEXT 202 0 "" }}}{EXCHG {PARA 201 "> " 0 "" {MPLTEXT 1 0 14 "start:=time():" }{MPLTEXT 1 0 0 "" } {MPLTEXT 1 0 28 "\nc:=FastNextCarmichael(c+1);" }{MPLTEXT 1 0 0 "" } {MPLTEXT 1 0 14 "\ntime()-start;" }{MPLTEXT 1 0 0 "" }}{PARA 11 "" 1 " " {XPPMATH 20 "6#>%\"cG\"%06" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#$\"$I \"!\"$" }}}{EXCHG {PARA 200 "" 0 "" {TEXT 202 3 "04." }{TEXT 202 0 "" }}}{EXCHG {PARA 201 "> " 0 "" {MPLTEXT 1 0 14 "start:=time():" } {MPLTEXT 1 0 0 "" }{MPLTEXT 1 0 28 "\nc:=FastNextCarmichael(c+1);" } {MPLTEXT 1 0 0 "" }{MPLTEXT 1 0 14 "\ntime()-start;" }{MPLTEXT 1 0 0 " " }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%\"cG\"%H<" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#$\"$I#!\"$" }}}{EXCHG {PARA 200 "" 0 "" {TEXT 202 3 "05 ." }{TEXT 202 0 "" }}}{EXCHG {PARA 201 "> " 0 "" {MPLTEXT 1 0 14 "star t:=time():" }{MPLTEXT 1 0 0 "" }{MPLTEXT 1 0 28 "\nc:=FastNextCarmicha el(c+1);" }{MPLTEXT 1 0 0 "" }{MPLTEXT 1 0 14 "\ntime()-start;" } {MPLTEXT 1 0 0 "" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%\"cG\"%lC" }} {PARA 11 "" 1 "" {XPPMATH 20 "6#$\"$!>!\"$" }}}{EXCHG {PARA 0 "> " 0 " " {MPLTEXT 1 0 0 "" }}}{PARA 202 "" 0 "" {TEXT 203 0 "" }}{PARA 202 " " 0 "" {TEXT -1 0 "" }}}{MARK "1 0 0" 0 }{VIEWOPTS 1 1 0 1 1 1803 1 1 1 1 }{PAGENUMBERS 0 1 2 33 1 1 }