Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
| Download
GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
Project: cocalc-sagemath-dev-slelievre
Views: 418346%!PS-Adobe-2.0 EPSF-2.0 %%BoundingBox: 47 44 116 315 % EPSF created by ps2eps 1.47 %%Creator: dot version 1.9 (Sun Aug 3 15:42:18 WEST 2003) %%For: (josejoao) Jose Morais %%Title: Automaton %%EndComments %%BeginProlog save countdictstack mark newpath /showpage {} def /setpagedevice {pop} def %%EndProlog %%Page 1 1 save /DotDict 200 dict def DotDict begin /setupLatin1 { mark /EncodingVector 256 array def EncodingVector 0 ISOLatin1Encoding 0 255 getinterval putinterval EncodingVector dup 306 /AE dup 301 /Aacute dup 302 /Acircumflex dup 304 /Adieresis dup 300 /Agrave dup 305 /Aring dup 303 /Atilde dup 307 /Ccedilla dup 311 /Eacute dup 312 /Ecircumflex dup 313 /Edieresis dup 310 /Egrave dup 315 /Iacute dup 316 /Icircumflex dup 317 /Idieresis dup 314 /Igrave dup 334 /Udieresis dup 335 /Yacute dup 376 /thorn dup 337 /germandbls dup 341 /aacute dup 342 /acircumflex dup 344 /adieresis dup 346 /ae dup 340 /agrave dup 345 /aring dup 347 /ccedilla dup 351 /eacute dup 352 /ecircumflex dup 353 /edieresis dup 350 /egrave dup 355 /iacute dup 356 /icircumflex dup 357 /idieresis dup 354 /igrave dup 360 /dcroat dup 361 /ntilde dup 363 /oacute dup 364 /ocircumflex dup 366 /odieresis dup 362 /ograve dup 365 /otilde dup 370 /oslash dup 372 /uacute dup 373 /ucircumflex dup 374 /udieresis dup 371 /ugrave dup 375 /yacute dup 377 /ydieresis % Set up ISO Latin 1 character encoding /starnetISO { dup dup findfont dup length dict begin { 1 index /FID ne { def }{ pop pop } ifelse } forall /Encoding EncodingVector def currentdict end definefont } def /Times-Roman starnetISO def /Times-Italic starnetISO def /Times-Bold starnetISO def /Times-BoldItalic starnetISO def /Helvetica starnetISO def /Helvetica-Oblique starnetISO def /Helvetica-Bold starnetISO def /Helvetica-BoldOblique starnetISO def /Courier starnetISO def /Courier-Oblique starnetISO def /Courier-Bold starnetISO def /Courier-BoldOblique starnetISO def cleartomark } bind def /coord-font-family /Times-Roman def /default-font-family /Times-Roman def /coordfont coord-font-family findfont 8 scalefont def /InvScaleFactor 1.0 def /set_scale { dup 1 exch div /InvScaleFactor exch def dup scale } bind def % styles /solid { [] 0 setdash } bind def /dashed { [9 InvScaleFactor mul dup ] 0 setdash } bind def /dotted { [1 InvScaleFactor mul 6 InvScaleFactor mul] 0 setdash } bind def /invis {/fill {newpath} def /stroke {newpath} def /show {pop newpath} def} bind def /bold { 2 setlinewidth } bind def /filled { } bind def /unfilled { } bind def /rounded { } bind def /diagonals { } bind def % hooks for setting color /nodecolor { sethsbcolor } bind def /edgecolor { sethsbcolor } bind def /graphcolor { sethsbcolor } bind def /nopcolor {pop pop pop} bind def /beginpage { % i j npages /npages exch def /j exch def /i exch def /str 10 string def npages 1 gt { gsave coordfont setfont 0 0 moveto (\() show i str cvs show (,) show j str cvs show (\)) show grestore } if } bind def /set_font { findfont exch scalefont setfont } def % draw aligned label in bounding box aligned to current point /alignedtext { % width adj text /text exch def /adj exch def /width exch def gsave width 0 gt { text stringwidth pop adj mul 0 rmoveto } if [] 0 setdash text show grestore } def /boxprim { % xcorner ycorner xsize ysize 4 2 roll moveto 2 copy exch 0 rlineto 0 exch rlineto pop neg 0 rlineto closepath } bind def /ellipse_path { /ry exch def /rx exch def /y exch def /x exch def matrix currentmatrix newpath x y translate rx ry scale 0 0 1 0 360 arc setmatrix } bind def /endpage { showpage } bind def /layercolorseq [ % layer color sequence - darkest to lightest [0 0 0] [.2 .8 .8] [.4 .8 .8] [.6 .8 .8] [.8 .8 .8] ] def /layerlen layercolorseq length def /setlayer {/maxlayer exch def /curlayer exch def layercolorseq curlayer 1 sub layerlen mod get aload pop sethsbcolor /nodecolor {nopcolor} def /edgecolor {nopcolor} def /graphcolor {nopcolor} def } bind def /onlayer { curlayer ne {invis} if } def /onlayers { /myupper exch def /mylower exch def curlayer mylower lt curlayer myupper gt or {invis} if } def /curlayer 0 def 14 default-font-family set_font 1 setmiterlimit % /arrowlength 10 def % /arrowwidth 5 def % make sure pdfmark is harmless for PS-interpreters other than Distiller /pdfmark where {pop} {userdict /pdfmark /cleartomark load put} ifelse % make '<<' and '>>' safe on PS Level 1 devices /languagelevel where {pop languagelevel}{1} ifelse 2 lt { userdict (<<) cvn ([) cvn load put userdict (>>) cvn ([) cvn load put } if gsave 35 35 99 288 boxprim clip newpath 36 36 translate 0 0 1 beginpage 0 0 translate 0 rotate 0.000 0.000 0.000 graphcolor 14.00 /Times-Roman set_font % 1 gsave 10 dict begin newpath 46 270 moveto 20 230 lineto 72 230 lineto closepath stroke newpath 46 278 moveto 12 226 lineto 80 226 lineto closepath stroke gsave 10 dict begin 46 238 moveto 4 -0.5 (1) alignedtext end grestore end grestore % 2 gsave 10 dict begin 46 130 18 18 ellipse_path stroke 46 130 22 22 ellipse_path stroke gsave 10 dict begin 46 125 moveto 8 -0.5 (2) alignedtext end grestore end grestore % 1 -> 2 gsave 10 dict begin 0.000 1.000 1.000 edgecolor newpath 39 225 moveto 34 210 29 189 32 170 curveto 33 166 33 163 34 160 curveto stroke gsave 10 dict begin solid 0.000 1.000 1.000 edgecolor newpath 36 161 moveto 38 151 lineto 32 159 lineto closepath fill 0.000 1.000 1.000 edgecolor end grestore gsave 10 dict begin 0.000 0.000 0.000 edgecolor 44 175 moveto 7 -0.5 (a) alignedtext end grestore end grestore % 2 -> 1 gsave 10 dict begin 0.667 1.000 1.000 edgecolor newpath 53 216 moveto 56 203 59 186 57 170 curveto 56 164 54 157 53 151 curveto stroke gsave 10 dict begin solid 0.667 1.000 1.000 edgecolor newpath 51 215 moveto 51 225 lineto 56 216 lineto closepath fill 0.667 1.000 1.000 edgecolor end grestore gsave 10 dict begin 0.000 0.000 0.000 edgecolor 68 175 moveto 8 -0.5 (b) alignedtext end grestore end grestore % 3 gsave 10 dict begin 46 30 18 18 ellipse_path stroke 46 30 22 22 ellipse_path stroke gsave 10 dict begin 46 25 moveto 7 -0.5 (3) alignedtext end grestore end grestore % 2 -> 3 gsave 10 dict begin 0.000 1.000 1.000 edgecolor newpath 38 109 moveto 36 103 33 96 32 90 curveto 31 81 31 78 32 70 curveto 33 66 33 63 34 60 curveto stroke gsave 10 dict begin solid 0.000 1.000 1.000 edgecolor newpath 36 61 moveto 38 51 lineto 32 59 lineto closepath fill 0.000 1.000 1.000 edgecolor end grestore gsave 10 dict begin 0.000 0.000 0.000 edgecolor 46 75 moveto 7 -0.5 (a) alignedtext end grestore end grestore % 3 -> 2 gsave 10 dict begin 0.667 1.000 1.000 edgecolor newpath 55 100 moveto 56 97 56 93 57 90 curveto 58 81 58 78 57 70 curveto 56 64 54 57 53 51 curveto stroke gsave 10 dict begin solid 0.667 1.000 1.000 edgecolor newpath 53 99 moveto 53 109 lineto 58 100 lineto closepath fill 0.667 1.000 1.000 edgecolor end grestore gsave 10 dict begin 0.000 0.000 0.000 edgecolor 68 75 moveto 8 -0.5 (b) alignedtext end grestore end grestore endpage grestore %%EndPage: 1 %%Trailer cleartomark countdictstack exch sub { end } repeat restore %%EOF