diff --git a/books/ps/v102integernumbersystem.ps b/books/ps/v102integernumbersystem.ps new file mode 100644 index 0000000..b67fb77 --- /dev/null +++ b/books/ps/v102integernumbersystem.ps @@ -0,0 +1,795 @@ +%!PS-Adobe-2.0 +%%Creator: dot version 2.8 (Thu Sep 14 20:34:11 UTC 2006) +%%For: (root) root +%%Title: pic +%%Pages: (atend) +%%BoundingBox: 36 36 1170 152 +%%EndComments +save +%%BeginProlog +/DotDict 200 dict def +DotDict begin + +/setupLatin1 { +mark +/EncodingVector 256 array def + EncodingVector 0 + +ISOLatin1Encoding 0 255 getinterval putinterval +EncodingVector 45 /hyphen put + +% 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 + +%%BeginResource: procset graphviz 0 0 +/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 +/showpage { } 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 + +%%EndResource +%%EndProlog +%%BeginSetup +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 + +%%EndSetup +%%Page: 1 1 +%%PageBoundingBox: 36 36 1170 152 +%%PageOrientation: Portrait +gsave +36 36 1134 116 boxprim clip newpath +36 36 translate +0 0 1 beginpage +1.0000 set_scale +4 4 translate 0 rotate +0.167 0.600 1.000 graphcolor +0.167 0.600 1.000 graphcolor +newpath -6 -6 moveto +-6 114 lineto +1132 114 lineto +1132 -6 lineto +closepath +fill +0.167 0.600 1.000 graphcolor +newpath -6 -6 moveto +-6 114 lineto +1132 114 lineto +1132 -6 lineto +closepath +stroke +0.000 0.000 0.000 graphcolor +14.00 /Times-Roman set_font +% IntegerNumberSystem() +gsave 10 dict begin +filled +0.537 0.247 0.902 nodecolor +0.537 0.247 0.902 nodecolor +newpath 673 108 moveto +521 108 lineto +521 72 lineto +673 72 lineto +closepath +fill +0.537 0.247 0.902 nodecolor +newpath 673 108 moveto +521 108 lineto +521 72 lineto +673 72 lineto +closepath +stroke +gsave 10 dict begin +0.000 0.000 0.000 nodecolor +529 85 moveto +(IntegerNumberSystem\(\)) +[4.56 6.96 3.84 6.24 6.72 6.24 4.8 9.84 6.96 10.8 6.96 6.24 4.8 7.68 6.48 5.28 3.84 6.24 10.8 4.56 4.56] +xshow +end grestore +end grestore +% UFD... +gsave 10 dict begin +filled +0.537 0.247 0.902 nodecolor +0.537 0.247 0.902 nodecolor +newpath 56 36 moveto +0 36 lineto +0 0 lineto +56 0 lineto +closepath +fill +0.537 0.247 0.902 nodecolor +newpath 56 36 moveto +0 36 lineto +0 0 lineto +56 0 lineto +closepath +stroke +gsave 10 dict begin +0.000 0.000 0.000 nodecolor +8 13 moveto +(UFD...) +[10.08 7.68 10.08 3.6 3.6 3.6] +xshow +end grestore +end grestore +% IntegerNumberSystem()->UFD... +newpath 521 85 moveto +399 77 165 60 66 35 curveto +stroke +gsave 10 dict begin +solid +1 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 67 32 moveto +56 32 lineto +65 38 lineto +closepath +fill +0.000 0.000 0.000 edgecolor +newpath 67 32 moveto +56 32 lineto +65 38 lineto +closepath +stroke +end grestore +% EUCDOM... +gsave 10 dict begin +filled +0.537 0.247 0.902 nodecolor +0.537 0.247 0.902 nodecolor +newpath 162 36 moveto +74 36 lineto +74 0 lineto +162 0 lineto +closepath +fill +0.537 0.247 0.902 nodecolor +newpath 162 36 moveto +74 36 lineto +74 0 lineto +162 0 lineto +closepath +stroke +gsave 10 dict begin +0.000 0.000 0.000 nodecolor +82 13 moveto +(EUCDOM...) +[8.64 10.08 9.36 10.08 10.08 12.48 3.6 3.6 3.6] +xshow +end grestore +end grestore +% IntegerNumberSystem()->EUCDOM... +newpath 521 85 moveto +437 78 299 64 172 36 curveto +stroke +gsave 10 dict begin +solid +1 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 172 33 moveto +162 34 lineto +171 39 lineto +closepath +fill +0.000 0.000 0.000 edgecolor +newpath 172 33 moveto +162 34 lineto +171 39 lineto +closepath +stroke +end grestore +% OINTDOM... +gsave 10 dict begin +filled +0.537 0.247 0.902 nodecolor +0.537 0.247 0.902 nodecolor +newpath 272 36 moveto +180 36 lineto +180 0 lineto +272 0 lineto +closepath +fill +0.537 0.247 0.902 nodecolor +newpath 272 36 moveto +180 36 lineto +180 0 lineto +272 0 lineto +closepath +stroke +gsave 10 dict begin +0.000 0.000 0.000 nodecolor +187 13 moveto +(OINTDOM...) +[10.08 4.56 10.08 8.64 10.08 10.08 12.48 3.6 3.6 3.6] +xshow +end grestore +end grestore +% IntegerNumberSystem()->OINTDOM... +newpath 521 80 moveto +459 71 369 57 282 35 curveto +stroke +gsave 10 dict begin +solid +1 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 282 32 moveto +272 33 lineto +281 38 lineto +closepath +fill +0.000 0.000 0.000 edgecolor +newpath 282 32 moveto +272 33 lineto +281 38 lineto +closepath +stroke +end grestore +% DIFRING... +gsave 10 dict begin +filled +0.537 0.247 0.902 nodecolor +0.537 0.247 0.902 nodecolor +newpath 374 36 moveto +290 36 lineto +290 0 lineto +374 0 lineto +closepath +fill +0.537 0.247 0.902 nodecolor +newpath 374 36 moveto +290 36 lineto +290 0 lineto +374 0 lineto +closepath +stroke +gsave 10 dict begin +0.000 0.000 0.000 nodecolor +297 13 moveto +(DIFRING...) +[10.08 4.56 7.68 9.36 4.56 9.84 10.08 3.6 3.6 3.6] +xshow +end grestore +end grestore +% IntegerNumberSystem()->DIFRING... +newpath 521 72 moveto +482 64 434 52 384 36 curveto +stroke +gsave 10 dict begin +solid +1 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 385 33 moveto +374 33 lineto +383 39 lineto +closepath +fill +0.000 0.000 0.000 edgecolor +newpath 385 33 moveto +374 33 lineto +383 39 lineto +closepath +stroke +end grestore +% KONVERT... +gsave 10 dict begin +filled +0.537 0.247 0.902 nodecolor +0.537 0.247 0.902 nodecolor +newpath 484 36 moveto +392 36 lineto +392 0 lineto +484 0 lineto +closepath +fill +0.537 0.247 0.902 nodecolor +newpath 484 36 moveto +392 36 lineto +392 0 lineto +484 0 lineto +closepath +stroke +gsave 10 dict begin +0.000 0.000 0.000 nodecolor +399 13 moveto +(KONVERT...) +[9.12 10.08 10.08 10.08 8.64 8.88 7.44 3.6 3.6 3.6] +xshow +end grestore +end grestore +% IntegerNumberSystem()->KONVERT... +newpath 557 72 moveto +536 62 510 50 487 40 curveto +stroke +gsave 10 dict begin +solid +1 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 489 37 moveto +478 36 lineto +486 43 lineto +closepath +fill +0.000 0.000 0.000 edgecolor +newpath 489 37 moveto +478 36 lineto +486 43 lineto +closepath +stroke +end grestore +% RETRACT... +gsave 10 dict begin +filled +0.537 0.247 0.902 nodecolor +0.537 0.247 0.902 nodecolor +newpath 592 36 moveto +502 36 lineto +502 0 lineto +592 0 lineto +closepath +fill +0.537 0.247 0.902 nodecolor +newpath 592 36 moveto +502 36 lineto +502 0 lineto +592 0 lineto +closepath +stroke +gsave 10 dict begin +0.000 0.000 0.000 nodecolor +510 13 moveto +(RETRACT...) +[9.36 8.64 8.64 9.36 9.36 9.36 7.44 3.6 3.6 3.6] +xshow +end grestore +end grestore +% IntegerNumberSystem()->RETRACT... +newpath 584 72 moveto +579 64 572 54 566 44 curveto +stroke +gsave 10 dict begin +solid +1 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 569 42 moveto +560 36 lineto +563 46 lineto +closepath +fill +0.000 0.000 0.000 edgecolor +newpath 569 42 moveto +560 36 lineto +563 46 lineto +closepath +stroke +end grestore +% LINEXP... +gsave 10 dict begin +filled +0.537 0.247 0.902 nodecolor +0.537 0.247 0.902 nodecolor +newpath 686 36 moveto +610 36 lineto +610 0 lineto +686 0 lineto +closepath +fill +0.537 0.247 0.902 nodecolor +newpath 686 36 moveto +610 36 lineto +610 0 lineto +686 0 lineto +closepath +stroke +gsave 10 dict begin +0.000 0.000 0.000 nodecolor +618 13 moveto +(LINEXP...) +[8.64 4.56 10.08 8.64 10.08 6.24 3.6 3.6 3.6] +xshow +end grestore +end grestore +% IntegerNumberSystem()->LINEXP... +newpath 610 72 moveto +616 64 623 54 629 44 curveto +stroke +gsave 10 dict begin +solid +1 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 632 46 moveto +635 36 lineto +626 42 lineto +closepath +fill +0.000 0.000 0.000 edgecolor +newpath 632 46 moveto +635 36 lineto +626 42 lineto +closepath +stroke +end grestore +% PATMAB... +gsave 10 dict begin +filled +0.537 0.247 0.902 nodecolor +0.537 0.247 0.902 nodecolor +newpath 788 36 moveto +704 36 lineto +704 0 lineto +788 0 lineto +closepath +fill +0.537 0.247 0.902 nodecolor +newpath 788 36 moveto +704 36 lineto +704 0 lineto +788 0 lineto +closepath +stroke +gsave 10 dict begin +0.000 0.000 0.000 nodecolor +711 13 moveto +(PATMAB...) +[6.48 9.36 8.64 12.48 10.08 9.36 3.6 3.6 3.6] +xshow +end grestore +end grestore +% IntegerNumberSystem()->PATMAB... +newpath 635 72 moveto +655 62 679 51 700 40 curveto +stroke +gsave 10 dict begin +solid +1 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 701 43 moveto +709 36 lineto +698 37 lineto +closepath +fill +0.000 0.000 0.000 edgecolor +newpath 701 43 moveto +709 36 lineto +698 37 lineto +closepath +stroke +end grestore +% CFCAT... +gsave 10 dict begin +filled +0.537 0.247 0.902 nodecolor +0.537 0.247 0.902 nodecolor +newpath 876 36 moveto +806 36 lineto +806 0 lineto +876 0 lineto +closepath +fill +0.537 0.247 0.902 nodecolor +newpath 876 36 moveto +806 36 lineto +806 0 lineto +876 0 lineto +closepath +stroke +gsave 10 dict begin +0.000 0.000 0.000 nodecolor +814 13 moveto +(CFCAT...) +[9.36 7.68 9.12 9.36 7.44 3.6 3.6 3.6] +xshow +end grestore +end grestore +% IntegerNumberSystem()->CFCAT... +newpath 671 72 moveto +707 63 750 52 796 36 curveto +stroke +gsave 10 dict begin +solid +1 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 797 39 moveto +806 33 lineto +795 33 lineto +closepath +fill +0.000 0.000 0.000 edgecolor +newpath 797 39 moveto +806 33 lineto +795 33 lineto +closepath +stroke +end grestore +% REAL... +gsave 10 dict begin +filled +0.537 0.247 0.902 nodecolor +0.537 0.247 0.902 nodecolor +newpath 958 36 moveto +894 36 lineto +894 0 lineto +958 0 lineto +closepath +fill +0.537 0.247 0.902 nodecolor +newpath 958 36 moveto +894 36 lineto +894 0 lineto +958 0 lineto +closepath +stroke +gsave 10 dict begin +0.000 0.000 0.000 nodecolor +902 13 moveto +(REAL...) +[9.36 8.64 10.08 8.64 3.6 3.6 3.6] +xshow +end grestore +end grestore +% IntegerNumberSystem()->REAL... +newpath 673 80 moveto +730 72 807 58 884 36 curveto +stroke +gsave 10 dict begin +solid +1 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 885 39 moveto +894 33 lineto +883 33 lineto +closepath +fill +0.000 0.000 0.000 edgecolor +newpath 885 39 moveto +894 33 lineto +883 33 lineto +closepath +stroke +end grestore +% CHARZ... +gsave 10 dict begin +filled +0.537 0.247 0.902 nodecolor +0.537 0.247 0.902 nodecolor +newpath 1050 36 moveto +976 36 lineto +976 0 lineto +1050 0 lineto +closepath +fill +0.537 0.247 0.902 nodecolor +newpath 1050 36 moveto +976 36 lineto +976 0 lineto +1050 0 lineto +closepath +stroke +gsave 10 dict begin +0.000 0.000 0.000 nodecolor +983 13 moveto +(CHARZ...) +[9.36 10.08 10.08 9.36 8.64 3.6 3.6 3.6] +xshow +end grestore +end grestore +% IntegerNumberSystem()->CHARZ... +newpath 673 84 moveto +746 77 860 63 966 36 curveto +stroke +gsave 10 dict begin +solid +1 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 967 39 moveto +976 33 lineto +965 33 lineto +closepath +fill +0.000 0.000 0.000 edgecolor +newpath 967 39 moveto +976 33 lineto +965 33 lineto +closepath +stroke +end grestore +% STEP... +gsave 10 dict begin +filled +0.537 0.247 0.902 nodecolor +0.537 0.247 0.902 nodecolor +newpath 1126 36 moveto +1068 36 lineto +1068 0 lineto +1126 0 lineto +closepath +fill +0.537 0.247 0.902 nodecolor +newpath 1126 36 moveto +1068 36 lineto +1068 0 lineto +1126 0 lineto +closepath +stroke +gsave 10 dict begin +0.000 0.000 0.000 nodecolor +1076 13 moveto +(STEP...) +[7.44 8.64 8.64 6.24 3.6 3.6 3.6] +xshow +end grestore +end grestore +% IntegerNumberSystem()->STEP... +newpath 673 84 moveto +781 75 973 57 1058 35 curveto +stroke +gsave 10 dict begin +solid +1 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 1059 38 moveto +1068 32 lineto +1057 32 lineto +closepath +fill +0.000 0.000 0.000 edgecolor +newpath 1059 38 moveto +1068 32 lineto +1057 32 lineto +closepath +stroke +end grestore +endpage +showpage +grestore +%%PageTrailer +%%EndPage: 1 +%%Trailer +%%Pages: 1 +end +restore +%%EOF diff --git a/books/ps/v102permutationcategory.ps b/books/ps/v102permutationcategory.ps new file mode 100644 index 0000000..5c5f3a9 --- /dev/null +++ b/books/ps/v102permutationcategory.ps @@ -0,0 +1,837 @@ +%!PS-Adobe-2.0 +%%Creator: dot version 2.8 (Thu Sep 14 20:34:11 UTC 2006) +%%For: (root) root +%%Title: pic +%%Pages: (atend) +%%BoundingBox: 36 36 554 584 +%%EndComments +save +%%BeginProlog +/DotDict 200 dict def +DotDict begin + +/setupLatin1 { +mark +/EncodingVector 256 array def + EncodingVector 0 + +ISOLatin1Encoding 0 255 getinterval putinterval +EncodingVector 45 /hyphen put + +% 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 + +%%BeginResource: procset graphviz 0 0 +/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 +/showpage { } 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 + +%%EndResource +%%EndProlog +%%BeginSetup +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 + +%%EndSetup +%%Page: 1 1 +%%PageBoundingBox: 36 36 554 584 +%%PageOrientation: Portrait +gsave +36 36 518 548 boxprim clip newpath +36 36 translate +0 0 1 beginpage +1.0000 set_scale +4 4 translate 0 rotate +0.167 0.600 1.000 graphcolor +0.167 0.600 1.000 graphcolor +newpath -6 -6 moveto +-6 546 lineto +516 546 lineto +516 -6 lineto +closepath +fill +0.167 0.600 1.000 graphcolor +newpath -6 -6 moveto +-6 546 lineto +516 546 lineto +516 -6 lineto +closepath +stroke +0.000 0.000 0.000 graphcolor +14.00 /Times-Roman set_font +% PermutationCategory(a:SetCategory) +gsave 10 dict begin +filled +0.537 0.247 0.902 nodecolor +0.537 0.247 0.902 nodecolor +newpath 468 540 moveto +242 540 lineto +242 504 lineto +468 504 lineto +closepath +fill +0.537 0.247 0.902 nodecolor +newpath 468 540 moveto +242 540 lineto +242 504 lineto +468 504 lineto +closepath +stroke +gsave 10 dict begin +0.000 0.000 0.000 nodecolor +250 517 moveto +(PermutationCategory\(a:SetCategory\)) +[7.44 6.24 5.04 10.8 6.96 4.08 6.24 3.84 3.84 6.96 6.96 9.36 6.24 3.84 6.24 6.96 6.96 5.04 6.96 4.56 6.24 3.84 7.68 6 3.84 9.36 6.24 3.84 6.24 6.96 6.96 5.04 6.96 4.56] +xshow +end grestore +end grestore +% Group() +gsave 10 dict begin +filled +0.537 0.247 0.902 nodecolor +0.537 0.247 0.902 nodecolor +newpath 386 468 moveto +324 468 lineto +324 432 lineto +386 432 lineto +closepath +fill +0.537 0.247 0.902 nodecolor +newpath 386 468 moveto +324 468 lineto +324 432 lineto +386 432 lineto +closepath +stroke +gsave 10 dict begin +0.000 0.000 0.000 nodecolor +332 445 moveto +(Group\(\)) +[10.08 4.8 6.96 6.96 6.96 4.56 4.56] +xshow +end grestore +end grestore +% PermutationCategory(a:SetCategory)->Group() +newpath 355 504 moveto +355 496 355 487 355 478 curveto +stroke +gsave 10 dict begin +solid +1 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 359 478 moveto +355 468 lineto +352 478 lineto +closepath +fill +0.000 0.000 0.000 edgecolor +newpath 359 478 moveto +355 468 lineto +352 478 lineto +closepath +stroke +end grestore +% Monoid() +gsave 10 dict begin +filled +0.537 0.247 0.902 nodecolor +0.537 0.247 0.902 nodecolor +newpath 338 396 moveto +268 396 lineto +268 360 lineto +338 360 lineto +closepath +fill +0.537 0.247 0.902 nodecolor +newpath 338 396 moveto +268 396 lineto +268 360 lineto +338 360 lineto +closepath +stroke +gsave 10 dict begin +0.000 0.000 0.000 nodecolor +275 373 moveto +(Monoid\(\)) +[12.48 6.96 6.96 6.96 3.84 6.96 4.56 4.56] +xshow +end grestore +end grestore +% Group()->Monoid() +newpath 342 432 moveto +336 424 329 413 322 404 curveto +stroke +gsave 10 dict begin +solid +1 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 325 402 moveto +316 396 lineto +319 406 lineto +closepath +fill +0.000 0.000 0.000 edgecolor +newpath 325 402 moveto +316 396 lineto +319 406 lineto +closepath +stroke +end grestore +% RepeatedSquaring(Group) +gsave 10 dict begin +filled +0.333 1.000 0.933 nodecolor +0.333 1.000 0.933 nodecolor +newpath 510 324 moveto +346 324 lineto +346 288 lineto +510 288 lineto +closepath +fill +0.333 1.000 0.933 nodecolor +newpath 510 324 moveto +346 324 lineto +346 288 lineto +510 288 lineto +closepath +stroke +gsave 10 dict begin +0.000 0.000 0.000 nodecolor +354 301 moveto +(RepeatedSquaring\(Group\)) +[9.12 6.24 6.96 6.24 6.24 3.84 6.24 6.96 7.68 6.72 6.96 6.24 5.04 3.84 6.96 6.96 4.56 10.08 4.8 6.96 6.96 6.96 4.56] +xshow +end grestore +end grestore +% Group()->RepeatedSquaring(Group) +newpath 364 432 moveto +377 407 400 362 414 333 curveto +stroke +gsave 10 dict begin +solid +1 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 417 334 moveto +419 324 lineto +411 331 lineto +closepath +fill +0.000 0.000 0.000 edgecolor +newpath 417 334 moveto +419 324 lineto +411 331 lineto +closepath +stroke +end grestore +% SemiGroup() +gsave 10 dict begin +filled +0.537 0.247 0.902 nodecolor +0.537 0.247 0.902 nodecolor +newpath 328 324 moveto +238 324 lineto +238 288 lineto +328 288 lineto +closepath +fill +0.537 0.247 0.902 nodecolor +newpath 328 324 moveto +238 324 lineto +238 288 lineto +328 288 lineto +closepath +stroke +gsave 10 dict begin +0.000 0.000 0.000 nodecolor +246 301 moveto +(SemiGroup\(\)) +[7.68 6.24 10.8 3.84 10.08 4.8 6.96 6.96 6.96 4.56 4.56] +xshow +end grestore +end grestore +% Monoid()->SemiGroup() +newpath 298 360 moveto +296 352 293 343 291 334 curveto +stroke +gsave 10 dict begin +solid +1 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 294 333 moveto +288 324 lineto +288 335 lineto +closepath +fill +0.000 0.000 0.000 edgecolor +newpath 294 333 moveto +288 324 lineto +288 335 lineto +closepath +stroke +end grestore +% RepeatedSquaring(a:SetCategory) +gsave 10 dict begin +filled +0.333 1.000 0.933 nodecolor +0.333 1.000 0.933 nodecolor +newpath 490 180 moveto +284 180 lineto +284 144 lineto +490 144 lineto +closepath +fill +0.333 1.000 0.933 nodecolor +newpath 490 180 moveto +284 180 lineto +284 144 lineto +490 144 lineto +closepath +stroke +gsave 10 dict begin +0.000 0.000 0.000 nodecolor +291 157 moveto +(RepeatedSquaring\(a:SetCategory\)) +[9.12 6.24 6.96 6.24 6.24 3.84 6.24 6.96 7.68 6.72 6.96 6.24 5.04 3.84 6.96 6.96 4.56 6.24 3.84 7.68 6 3.84 9.36 6.24 3.84 6.24 6.96 6.96 5.04 6.96 4.56] +xshow +end grestore +end grestore +% RepeatedSquaring(Group)->RepeatedSquaring(a:SetCategory) +newpath 425 288 moveto +422 269 416 240 409 216 curveto +406 207 403 198 399 189 curveto +stroke +gsave 10 dict begin +solid +1 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 402 188 moveto +395 180 lineto +396 191 lineto +closepath +fill +0.000 0.000 0.000 edgecolor +newpath 402 188 moveto +395 180 lineto +396 191 lineto +closepath +stroke +end grestore +% SetCategory() +gsave 10 dict begin +filled +0.537 0.247 0.902 nodecolor +0.537 0.247 0.902 nodecolor +newpath 190 252 moveto +96 252 lineto +96 216 lineto +190 216 lineto +closepath +fill +0.537 0.247 0.902 nodecolor +newpath 190 252 moveto +96 252 lineto +96 216 lineto +190 216 lineto +closepath +stroke +gsave 10 dict begin +0.000 0.000 0.000 nodecolor +103 229 moveto +(SetCategory\(\)) +[7.68 6 3.84 9.36 6.24 3.84 6.24 6.96 6.96 5.04 6.96 4.56 4.56] +xshow +end grestore +end grestore +% SemiGroup()->SetCategory() +newpath 248 288 moveto +229 279 206 267 187 257 curveto +stroke +gsave 10 dict begin +solid +1 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 188 254 moveto +178 252 lineto +185 260 lineto +closepath +fill +0.000 0.000 0.000 edgecolor +newpath 188 254 moveto +178 252 lineto +185 260 lineto +closepath +stroke +end grestore +% RepeatedSquaring(SemiGroup) +gsave 10 dict begin +filled +0.333 1.000 0.933 nodecolor +0.333 1.000 0.933 nodecolor +newpath 400 252 moveto +208 252 lineto +208 216 lineto +400 216 lineto +closepath +fill +0.333 1.000 0.933 nodecolor +newpath 400 252 moveto +208 252 lineto +208 216 lineto +400 216 lineto +closepath +stroke +gsave 10 dict begin +0.000 0.000 0.000 nodecolor +216 229 moveto +(RepeatedSquaring\(SemiGroup\)) +[9.12 6.24 6.96 6.24 6.24 3.84 6.24 6.96 7.68 6.72 6.96 6.24 5.04 3.84 6.96 6.96 4.56 7.68 6.24 10.8 3.84 10.08 4.8 6.96 6.96 6.96 4.56] +xshow +end grestore +end grestore +% SemiGroup()->RepeatedSquaring(SemiGroup) +newpath 288 288 moveto +291 280 294 271 296 262 curveto +stroke +gsave 10 dict begin +solid +1 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 299 263 moveto +299 252 lineto +293 261 lineto +closepath +fill +0.000 0.000 0.000 edgecolor +newpath 299 263 moveto +299 252 lineto +293 261 lineto +closepath +stroke +end grestore +% BasicType() +gsave 10 dict begin +filled +0.537 0.247 0.902 nodecolor +0.537 0.247 0.902 nodecolor +newpath 84 108 moveto +0 108 lineto +0 72 lineto +84 72 lineto +closepath +fill +0.537 0.247 0.902 nodecolor +newpath 84 108 moveto +0 108 lineto +0 72 lineto +84 72 lineto +closepath +stroke +gsave 10 dict begin +0.000 0.000 0.000 nodecolor +7 85 moveto +(BasicType\(\)) +[9.36 6.24 5.52 3.84 6.24 7.2 6.96 6.96 6.24 4.56 4.56] +xshow +end grestore +end grestore +% SetCategory()->BasicType() +newpath 112 216 moveto +99 206 83 194 73 180 curveto +60 162 52 137 47 118 curveto +stroke +gsave 10 dict begin +solid +1 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 50 117 moveto +45 108 lineto +44 118 lineto +closepath +fill +0.000 0.000 0.000 edgecolor +newpath 50 117 moveto +45 108 lineto +44 118 lineto +closepath +stroke +end grestore +% CoercibleTo(OutputForm) +gsave 10 dict begin +filled +0.404 0.667 0.545 nodecolor +0.404 0.667 0.545 nodecolor +newpath 246 180 moveto +82 180 lineto +82 144 lineto +246 144 lineto +closepath +fill +0.404 0.667 0.545 nodecolor +newpath 246 180 moveto +82 180 lineto +82 144 lineto +246 144 lineto +closepath +stroke +gsave 10 dict begin +0.000 0.000 0.000 nodecolor +90 157 moveto +(CoercibleTo\(OutputForm\)) +[9.36 6.96 6.24 4.8 6.24 3.84 6.96 3.84 6.24 7.44 6.96 4.56 10.08 6.96 3.84 6.96 6.96 3.84 7.44 6.96 5.04 10.8 4.56] +xshow +end grestore +end grestore +% SetCategory()->CoercibleTo(OutputForm) +newpath 148 216 moveto +151 208 154 199 156 190 curveto +stroke +gsave 10 dict begin +solid +1 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 159 191 moveto +159 180 lineto +153 189 lineto +closepath +fill +0.000 0.000 0.000 edgecolor +newpath 159 191 moveto +159 180 lineto +153 189 lineto +closepath +stroke +end grestore +% RepeatedSquaring(SemiGroup)->RepeatedSquaring(a:SetCategory) +newpath 325 216 moveto +335 207 348 196 359 187 curveto +stroke +gsave 10 dict begin +solid +1 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 362 189 moveto +367 180 lineto +357 184 lineto +closepath +fill +0.000 0.000 0.000 edgecolor +newpath 362 189 moveto +367 180 lineto +357 184 lineto +closepath +stroke +end grestore +% Category +gsave 10 dict begin +filled +0.537 0.247 0.902 nodecolor +0.537 0.247 0.902 nodecolor +newpath 139 36 moveto +71 36 lineto +71 0 lineto +139 0 lineto +closepath +fill +0.537 0.247 0.902 nodecolor +newpath 139 36 moveto +71 36 lineto +71 0 lineto +139 0 lineto +closepath +stroke +gsave 10 dict begin +0.000 0.000 0.000 nodecolor +79 13 moveto +(Category) +[9.36 6.24 3.84 6.24 6.96 6.96 5.04 6.96] +xshow +end grestore +end grestore +% BasicType()->Category +newpath 58 72 moveto +66 63 75 53 82 44 curveto +stroke +gsave 10 dict begin +solid +1 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 85 46 moveto +89 36 lineto +80 41 lineto +closepath +fill +0.000 0.000 0.000 edgecolor +newpath 85 46 moveto +89 36 lineto +80 41 lineto +closepath +stroke +end grestore +% CoercibleTo(a:Type) +gsave 10 dict begin +filled +0.537 0.247 0.902 nodecolor +0.537 0.247 0.902 nodecolor +newpath 234 108 moveto +102 108 lineto +102 72 lineto +234 72 lineto +closepath +fill +0.537 0.247 0.902 nodecolor +newpath 234 108 moveto +102 108 lineto +102 72 lineto +234 72 lineto +closepath +stroke +gsave 10 dict begin +0.000 0.000 0.000 nodecolor +110 85 moveto +(CoercibleTo\(a:Type\)) +[9.36 6.96 6.24 4.8 6.24 3.84 6.96 3.84 6.24 7.44 6.96 4.56 6.24 3.84 7.2 6.96 6.96 6.24 4.56] +xshow +end grestore +end grestore +% CoercibleTo(OutputForm)->CoercibleTo(a:Type) +newpath 165 144 moveto +166 136 166 127 166 118 curveto +stroke +gsave 10 dict begin +solid +1 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 169 118 moveto +167 108 lineto +163 118 lineto +closepath +fill +0.000 0.000 0.000 edgecolor +newpath 169 118 moveto +167 108 lineto +163 118 lineto +closepath +stroke +end grestore +% CoercibleTo(a:Type)->Category +newpath 152 72 moveto +144 63 135 53 128 44 curveto +stroke +gsave 10 dict begin +solid +1 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 130 41 moveto +121 36 lineto +125 46 lineto +closepath +fill +0.000 0.000 0.000 edgecolor +newpath 130 41 moveto +121 36 lineto +125 46 lineto +closepath +stroke +end grestore +% Package +gsave 10 dict begin +filled +0.333 1.000 0.933 nodecolor +0.333 1.000 0.933 nodecolor +newpath 418 108 moveto +356 108 lineto +356 72 lineto +418 72 lineto +closepath +fill +0.333 1.000 0.933 nodecolor +newpath 418 108 moveto +356 108 lineto +356 72 lineto +418 72 lineto +closepath +stroke +gsave 10 dict begin +0.000 0.000 0.000 nodecolor +363 85 moveto +(Package) +[7.44 6.24 6 6.96 6.24 6.72 6.24] +xshow +end grestore +end grestore +% RepeatedSquaring(a:SetCategory)->Package +newpath 387 144 moveto +387 136 387 127 387 118 curveto +stroke +gsave 10 dict begin +solid +1 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 391 118 moveto +387 108 lineto +384 118 lineto +closepath +fill +0.000 0.000 0.000 edgecolor +newpath 391 118 moveto +387 108 lineto +384 118 lineto +closepath +stroke +end grestore +endpage +showpage +grestore +%%PageTrailer +%%EndPage: 1 +%%Trailer +%%Pages: 1 +end +restore +%%EOF diff --git a/changelog b/changelog index 93b84a5..b27501e 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,9 @@ +20081108 tpd books/ps/v102integernumbersystem.ps added +20081108 tpd src/algebra/si.spad move INS to bookvol10.2 +20081108 tpd books/ps/v102permutationcategory.ps added +20081108 tpd src/algebra/perm.spad move PERMCAT to bookvol10.2 +20081108 tpd books/ps/v102pointcategory.ps added +20081108 tpd src/algebra/newpoint.spad move PTCAT to bookvol10.2 20081107 tpd src/input/sae.input ignore probabilistic answers 20081106 tpd src/algebra/Makefile remove matcat.spad 20081105 tpd src/input/Makefile reclos2.input added diff --git a/src/algebra/newpoint.spad.pamphlet b/src/algebra/newpoint.spad.pamphlet index b6b32e3..9694c39 100644 --- a/src/algebra/newpoint.spad.pamphlet +++ b/src/algebra/newpoint.spad.pamphlet @@ -9,39 +9,6 @@ \eject \tableofcontents \eject -\section{category PTCAT PointCategory} -<>= -)abbrev category PTCAT PointCategory -++ Author: -++ Date Created: -++ Date Last Updated: -++ Basic Operations: point, elt, setelt, copy, dimension, minIndex, maxIndex, -++ convert -++ Related Constructors: -++ Also See: -++ AMS Classifications: -++ Keywords: -++ References: -++ Description: PointCategory is the category of points in space which -++ may be plotted via the graphics facilities. Functions are provided for -++ defining points and handling elements of points. - -PointCategory(R:Ring) : Category == VectorCategory(R) with - point: List R -> % - ++ point(l) returns a point category defined by a list l of elements from - ++ the domain R. - dimension: % -> PositiveInteger - ++ dimension(s) returns the dimension of the point category s. - convert: List R -> % - ++ convert(l) takes a list of elements, l, from the domain Ring and - ++ returns the form of point category. - cross: (%,%) -> % - ++ cross(p,q) computes the cross product of the two points \spad{p} - ++ and \spad{q}. Error if the p and q are not 3 dimensional - extend : (%,List R) -> % - ++ extend(x,l,r) \undocumented - -@ \section{domain POINT Point} <>= )abbrev domain POINT Point @@ -718,7 +685,6 @@ PointFunctions2(R1:Ring,R2:Ring):Exports == Implementation where <<*>>= <> -<> <> <> <> diff --git a/src/algebra/perm.spad.pamphlet b/src/algebra/perm.spad.pamphlet index 481ba70..41181aa 100644 --- a/src/algebra/perm.spad.pamphlet +++ b/src/algebra/perm.spad.pamphlet @@ -626,7 +626,6 @@ Up to [[patch--50]] we did not check for duplicates. <<*>>= <> -<> <> @ \eject diff --git a/src/algebra/si.spad.pamphlet b/src/algebra/si.spad.pamphlet index 3610e05..4ff736c 100644 --- a/src/algebra/si.spad.pamphlet +++ b/src/algebra/si.spad.pamphlet @@ -190,491 +190,6 @@ IntegerNumberSystem(): Category == z := mulmod(z, z, p) @ -\section{INS.lsp BOOTSTRAP} -{\bf INS} depends on itself. We need to break this cycle to build -the algebra. So we keep a cached copy of the translated {\bf INS} -category which we can write into the {\bf MID} directory. We compile -the lisp code and copy the {\bf INS.o} file to the {\bf OUT} directory. -This is eventually forcibly replaced by a recompiled version. -<>= - -(/VERSIONCHECK 2) - -(SETQ |IntegerNumberSystem;AL| (QUOTE NIL)) - -(DEFUN |IntegerNumberSystem| NIL - (LET (#:G1068) - (COND - (|IntegerNumberSystem;AL|) - (T (SETQ |IntegerNumberSystem;AL| (|IntegerNumberSystem;|)))))) - -(DEFUN |IntegerNumberSystem;| NIL (PROG (#0=#:G1066) - (RETURN - (PROG1 - (LETT #0# - (|sublisV| - (PAIR - (QUOTE (#1=#:G1060 #2=#:G1061 #3=#:G1062 - #4=#:G1063 #5=#:G1064 #6=#:G1065)) - (LIST - (QUOTE (|Integer|)) - (QUOTE (|Integer|)) - (QUOTE (|Integer|)) - (QUOTE (|InputForm|)) - (QUOTE (|Pattern| (|Integer|))) - (QUOTE (|Integer|)))) - (|Join| - (|UniqueFactorizationDomain|) - (|EuclideanDomain|) - (|OrderedIntegralDomain|) - (|DifferentialRing|) - (|ConvertibleTo| (QUOTE #1#)) - (|RetractableTo| (QUOTE #2#)) - (|LinearlyExplicitRingOver| (QUOTE #3#)) - (|ConvertibleTo| (QUOTE #4#)) - (|ConvertibleTo| (QUOTE #5#)) - (|PatternMatchable| (QUOTE #6#)) - (|CombinatorialFunctionCategory|) - (|RealConstant|) - (|CharacteristicZero|) - (|StepThrough|) - (|mkCategory| - (QUOTE |domain|) - (QUOTE ( - ((|odd?| ((|Boolean|) $)) T) - ((|even?| ((|Boolean|) $)) T) - ((|base| ($)) T) - ((|length| ($ $)) T) - ((|shift| ($ $ $)) T) - ((|bit?| ((|Boolean|) $ $)) T) - ((|positiveRemainder| ($ $ $)) T) - ((|symmetricRemainder| ($ $ $)) T) - ((|rational?| ((|Boolean|) $)) T) - ((|rational| ((|Fraction| (|Integer|)) $)) T) - ((|rationalIfCan| - ((|Union| (|Fraction| (|Integer|)) "failed") $)) T) - ((|random| ($)) T) - ((|random| ($ $)) T) - ((|hash| ($ $)) T) - ((|copy| ($ $)) T) - ((|inc| ($ $)) T) - ((|dec| ($ $)) T) - ((|mask| ($ $)) T) - ((|addmod| ($ $ $ $)) T) - ((|submod| ($ $ $ $)) T) - ((|mulmod| ($ $ $ $)) T) - ((|powmod| ($ $ $ $)) T) - ((|invmod| ($ $ $)) T))) - (QUOTE ((|multiplicativeValuation| T) (|canonicalUnitNormal| T))) - (QUOTE ((|Fraction| (|Integer|)) (|Boolean|))) NIL))) - |IntegerNumberSystem|) - (SETELT #0# 0 (QUOTE (|IntegerNumberSystem|))))))) - -(MAKEPROP (QUOTE |IntegerNumberSystem|) (QUOTE NILADIC) T) - -@ -\section{INS-.lsp BOOTSTRAP} -{\bf INS-} depends on {\bf INS}. We need to break this cycle to build -the algebra. So we keep a cached copy of the translated {\bf INS-} -category which we can write into the {\bf MID} directory. We compile -the lisp code and copy the {\bf INS-.o} file to the {\bf OUT} directory. -This is eventually forcibly replaced by a recompiled version. -<>= - -(/VERSIONCHECK 2) - -(PUT - (QUOTE |INS-;characteristic;Nni;1|) - (QUOTE |SPADreplace|) - (QUOTE (XLAM NIL 0))) - -(DEFUN |INS-;characteristic;Nni;1| ($) 0) - -(DEFUN |INS-;differentiate;2S;2| (|x| $) - (|spadConstant| $ 9)) - -(DEFUN |INS-;even?;SB;3| (|x| $) - (COND - ((SPADCALL |x| (QREFELT $ 12)) (QUOTE NIL)) - ((QUOTE T) (QUOTE T)))) - -(DEFUN |INS-;positive?;SB;4| (|x| $) - (SPADCALL (|spadConstant| $ 9) |x| (QREFELT $ 14))) - -(PUT - (QUOTE |INS-;copy;2S;5|) - (QUOTE |SPADreplace|) - (QUOTE (XLAM (|x|) |x|))) - -(DEFUN |INS-;copy;2S;5| (|x| $) |x|) - -(DEFUN |INS-;bit?;2SB;6| (|x| |i| $) - (SPADCALL - (SPADCALL |x| - (SPADCALL |i| (QREFELT $ 17)) - (QREFELT $ 18)) - (QREFELT $ 12))) - -(DEFUN |INS-;mask;2S;7| (|n| $) - (SPADCALL - (SPADCALL (|spadConstant| $ 20) |n| (QREFELT $ 18)) - (QREFELT $ 21))) - -(PUT - (QUOTE |INS-;rational?;SB;8|) - (QUOTE |SPADreplace|) - (QUOTE (XLAM (|x|) (QUOTE T)))) - -(DEFUN |INS-;rational?;SB;8| (|x| $) - (QUOTE T)) - -(DEFUN |INS-;euclideanSize;SNni;9| (|x| $) - (PROG (#0=#:G1078 #1=#:G1079) - (RETURN - (COND - ((SPADCALL |x| (|spadConstant| $ 9) (QREFELT $ 24)) - (|error| "euclideanSize called on zero")) - ((SPADCALL |x| (|spadConstant| $ 9) (QREFELT $ 14)) - (PROG1 - (LETT #0# - (- (SPADCALL |x| (QREFELT $ 26))) - |INS-;euclideanSize;SNni;9|) - (|check-subtype| - (>= #0# 0) - (QUOTE (|NonNegativeInteger|)) - #0#))) - ((QUOTE T) - (PROG1 - (LETT #1# - (SPADCALL |x| (QREFELT $ 26)) - |INS-;euclideanSize;SNni;9|) - (|check-subtype| - (>= #1# 0) - (QUOTE (|NonNegativeInteger|)) - #1#))))))) - -(DEFUN |INS-;convert;SF;10| (|x| $) - (SPADCALL (SPADCALL |x| (QREFELT $ 26)) (QREFELT $ 29))) - -(DEFUN |INS-;convert;SDf;11| (|x| $) - (FLOAT (SPADCALL |x| (QREFELT $ 26)) MOST-POSITIVE-LONG-FLOAT)) - -(DEFUN |INS-;convert;SIf;12| (|x| $) - (SPADCALL (SPADCALL |x| (QREFELT $ 26)) (QREFELT $ 34))) - -(DEFUN |INS-;retract;SI;13| (|x| $) - (SPADCALL |x| (QREFELT $ 26))) - -(DEFUN |INS-;convert;SP;14| (|x| $) - (SPADCALL (SPADCALL |x| (QREFELT $ 26)) (QREFELT $ 38))) - -(DEFUN |INS-;factor;SF;15| (|x| $) - (SPADCALL |x| (QREFELT $ 42))) - -(DEFUN |INS-;squareFree;SF;16| (|x| $) - (SPADCALL |x| (QREFELT $ 45))) - -(DEFUN |INS-;prime?;SB;17| (|x| $) - (SPADCALL |x| (QREFELT $ 48))) - -(DEFUN |INS-;factorial;2S;18| (|x| $) - (SPADCALL |x| (QREFELT $ 51))) - -(DEFUN |INS-;binomial;3S;19| (|n| |m| $) - (SPADCALL |n| |m| (QREFELT $ 53))) - -(DEFUN |INS-;permutation;3S;20| (|n| |m| $) - (SPADCALL |n| |m| (QREFELT $ 55))) - -(DEFUN |INS-;retractIfCan;SU;21| (|x| $) - (CONS 0 (SPADCALL |x| (QREFELT $ 26)))) - -(DEFUN |INS-;init;S;22| ($) - (|spadConstant| $ 9)) - -(DEFUN |INS-;nextItem;SU;23| (|n| $) - (COND - ((SPADCALL |n| (QREFELT $ 60)) - (CONS 0 (|spadConstant| $ 20))) - ((SPADCALL (|spadConstant| $ 9) |n| (QREFELT $ 14)) - (CONS 0 (SPADCALL |n| (QREFELT $ 17)))) - ((QUOTE T) - (CONS 0 (SPADCALL (|spadConstant| $ 20) |n| (QREFELT $ 61)))))) - -(DEFUN |INS-;patternMatch;SP2Pmr;24| (|x| |p| |l| $) - (SPADCALL |x| |p| |l| (QREFELT $ 66))) - -(DEFUN |INS-;rational;SF;25| (|x| $) - (SPADCALL (SPADCALL |x| (QREFELT $ 26)) (QREFELT $ 70))) - -(DEFUN |INS-;rationalIfCan;SU;26| (|x| $) - (CONS 0 (SPADCALL (SPADCALL |x| (QREFELT $ 26)) (QREFELT $ 70)))) - -(DEFUN |INS-;symmetricRemainder;3S;27| (|x| |n| $) - (PROG (|r|) - (RETURN - (SEQ - (LETT |r| - (SPADCALL |x| |n| (QREFELT $ 74)) - |INS-;symmetricRemainder;3S;27|) - (EXIT - (COND - ((SPADCALL |r| (|spadConstant| $ 9) (QREFELT $ 24)) |r|) - ((QUOTE T) - (SEQ - (COND - ((SPADCALL |n| (|spadConstant| $ 9) (QREFELT $ 14)) - (LETT |n| - (SPADCALL |n| (QREFELT $ 17)) - |INS-;symmetricRemainder;3S;27|))) - (EXIT - (COND - ((SPADCALL (|spadConstant| $ 9) |r| (QREFELT $ 14)) - (COND - ((SPADCALL |n| - (SPADCALL 2 |r| (QREFELT $ 76)) - (QREFELT $ 14)) - (SPADCALL |r| |n| (QREFELT $ 61))) - ((QUOTE T) |r|))) - ((NULL - (SPADCALL - (|spadConstant| $ 9) - (SPADCALL - (SPADCALL 2 |r| (QREFELT $ 76)) - |n| - (QREFELT $ 77)) - (QREFELT $ 14))) - (SPADCALL |r| |n| (QREFELT $ 77))) - ((QUOTE T) |r|))))))))))) - -(DEFUN |INS-;invmod;3S;28| (|a| |b| $) - (PROG (|q| |r| |r1| |c| |c1| |d| |d1|) - (RETURN - (SEQ - (COND - ((SPADCALL |a| (QREFELT $ 79)) - (LETT |a| (SPADCALL |a| |b| (QREFELT $ 80)) |INS-;invmod;3S;28|))) - (LETT |c| |a| |INS-;invmod;3S;28|) - (LETT |c1| (|spadConstant| $ 20) |INS-;invmod;3S;28|) - (LETT |d| |b| |INS-;invmod;3S;28|) - (LETT |d1| (|spadConstant| $ 9) |INS-;invmod;3S;28|) - (SEQ G190 - (COND - ((NULL - (COND - ((SPADCALL |d| (QREFELT $ 60)) (QUOTE NIL)) - ((QUOTE T) (QUOTE T)))) - (GO G191))) - (SEQ - (LETT |q| (SPADCALL |c| |d| (QREFELT $ 81)) |INS-;invmod;3S;28|) - (LETT |r| - (SPADCALL |c| (SPADCALL |q| |d| (QREFELT $ 82)) (QREFELT $ 61)) - |INS-;invmod;3S;28|) - (LETT |r1| - (SPADCALL |c1| (SPADCALL |q| |d1| (QREFELT $ 82)) (QREFELT $ 61)) - |INS-;invmod;3S;28|) - (LETT |c| |d| |INS-;invmod;3S;28|) - (LETT |c1| |d1| |INS-;invmod;3S;28|) - (LETT |d| |r| |INS-;invmod;3S;28|) - (EXIT (LETT |d1| |r1| |INS-;invmod;3S;28|))) - NIL - (GO G190) - G191 - (EXIT NIL)) - (COND - ((NULL (SPADCALL |c| (QREFELT $ 83))) - (EXIT (|error| "inverse does not exist")))) - (EXIT - (COND - ((SPADCALL |c1| (QREFELT $ 79)) (SPADCALL |c1| |b| (QREFELT $ 77))) - ((QUOTE T) |c1|))))))) - -(DEFUN |INS-;powmod;4S;29| (|x| |n| |p| $) - (PROG (|y| #0=#:G1137 |z|) - (RETURN - (SEQ - (EXIT - (SEQ - (COND - ((SPADCALL |x| (QREFELT $ 79)) - (LETT |x| - (SPADCALL |x| |p| (QREFELT $ 80)) - |INS-;powmod;4S;29|))) - (EXIT - (COND - ((SPADCALL |x| (QREFELT $ 60)) (|spadConstant| $ 9)) - ((SPADCALL |n| (QREFELT $ 60)) (|spadConstant| $ 20)) - ((QUOTE T) - (SEQ - (LETT |y| (|spadConstant| $ 20) |INS-;powmod;4S;29|) - (LETT |z| |x| |INS-;powmod;4S;29|) - (EXIT - (SEQ G190 - NIL - (SEQ - (COND - ((SPADCALL |n| (QREFELT $ 12)) - (LETT |y| - (SPADCALL |y| |z| |p| (QREFELT $ 85)) - |INS-;powmod;4S;29|))) - (EXIT - (COND - ((SPADCALL - (LETT |n| - (SPADCALL |n| - (SPADCALL - (|spadConstant| $ 20) - (QREFELT $ 17)) - (QREFELT $ 18)) - |INS-;powmod;4S;29|) - (QREFELT $ 60)) - (PROGN - (LETT #0# |y| |INS-;powmod;4S;29|) - (GO #0#))) - ((QUOTE T) - (LETT |z| - (SPADCALL |z| |z| |p| (QREFELT $ 85)) - |INS-;powmod;4S;29|))))) - NIL - (GO G190) - G191 - (EXIT NIL))))))))) - #0# - (EXIT #0#))))) - -(DEFUN |IntegerNumberSystem&| (|#1|) - (PROG (DV$1 |dv$| $ |pv$|) - (RETURN - (PROGN - (LETT DV$1 (|devaluate| |#1|) . #0=(|IntegerNumberSystem&|)) - (LETT |dv$| (LIST (QUOTE |IntegerNumberSystem&|) DV$1) . #0#) - (LETT $ (GETREFV 87) . #0#) - (QSETREFV $ 0 |dv$|) - (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#)) - (|stuffDomainSlots| $) - (QSETREFV $ 6 |#1|) - $)))) - -(MAKEPROP - (QUOTE |IntegerNumberSystem&|) - (QUOTE |infovec|) - (LIST - (QUOTE - #(NIL NIL NIL NIL NIL NIL - (|local| |#1|) - (|NonNegativeInteger|) - |INS-;characteristic;Nni;1| - (0 . |Zero|) - |INS-;differentiate;2S;2| - (|Boolean|) - (4 . |odd?|) - |INS-;even?;SB;3| - (9 . <) - |INS-;positive?;SB;4| - |INS-;copy;2S;5| - (15 . -) - (20 . |shift|) - |INS-;bit?;2SB;6| - (26 . |One|) - (30 . |dec|) - |INS-;mask;2S;7| - |INS-;rational?;SB;8| - (35 . =) - (|Integer|) - (41 . |convert|) - |INS-;euclideanSize;SNni;9| - (|Float|) - (46 . |coerce|) - |INS-;convert;SF;10| - (|DoubleFloat|) - |INS-;convert;SDf;11| - (|InputForm|) - (51 . |convert|) - |INS-;convert;SIf;12| - |INS-;retract;SI;13| - (|Pattern| 25) - (56 . |coerce|) - |INS-;convert;SP;14| - (|Factored| 6) - (|IntegerFactorizationPackage| 6) - (61 . |factor|) - (|Factored| $) - |INS-;factor;SF;15| - (66 . |squareFree|) - |INS-;squareFree;SF;16| - (|IntegerPrimesPackage| 6) - (71 . |prime?|) - |INS-;prime?;SB;17| - (|IntegerCombinatoricFunctions| 6) - (76 . |factorial|) - |INS-;factorial;2S;18| - (81 . |binomial|) - |INS-;binomial;3S;19| - (87 . |permutation|) - |INS-;permutation;3S;20| - (|Union| 25 (QUOTE "failed")) - |INS-;retractIfCan;SU;21| - |INS-;init;S;22| - (93 . |zero?|) - (98 . -) - (|Union| $ (QUOTE "failed")) - |INS-;nextItem;SU;23| - (|PatternMatchResult| 25 6) - (|PatternMatchIntegerNumberSystem| 6) - (104 . |patternMatch|) - (|PatternMatchResult| 25 $) - |INS-;patternMatch;SP2Pmr;24| - (|Fraction| 25) - (111 . |coerce|) - |INS-;rational;SF;25| - (|Union| 69 (QUOTE "failed")) - |INS-;rationalIfCan;SU;26| - (116 . |rem|) - (|PositiveInteger|) - (122 . *) - (128 . +) - |INS-;symmetricRemainder;3S;27| - (134 . |negative?|) - (139 . |positiveRemainder|) - (145 . |quo|) - (151 . *) - (157 . |one?|) - |INS-;invmod;3S;28| - (162 . |mulmod|) - |INS-;powmod;4S;29|)) - (QUOTE - #(|symmetricRemainder| 169 |squareFree| 175 |retractIfCan| 180 - |retract| 185 |rationalIfCan| 190 |rational?| 195 |rational| 200 - |prime?| 205 |powmod| 210 |positive?| 217 |permutation| 222 - |patternMatch| 228 |nextItem| 235 |mask| 240 |invmod| 245 |init| 251 - |factorial| 255 |factor| 260 |even?| 265 |euclideanSize| 270 - |differentiate| 275 |copy| 280 |convert| 285 |characteristic| 305 - |bit?| 309 |binomial| 315)) - (QUOTE NIL) - (CONS - (|makeByteWordVec2| 1 (QUOTE NIL)) - (CONS - (QUOTE #()) - (CONS - (QUOTE #()) - (|makeByteWordVec2| 86 - (QUOTE - (0 6 0 9 1 6 11 0 12 2 6 11 0 0 14 1 6 0 0 17 2 6 0 0 0 18 0 6 - 0 20 1 6 0 0 21 2 6 11 0 0 24 1 6 25 0 26 1 28 0 25 29 1 33 0 - 25 34 1 37 0 25 38 1 41 40 6 42 1 41 40 6 45 1 47 11 6 48 1 50 - 6 6 51 2 50 6 6 6 53 2 50 6 6 6 55 1 6 11 0 60 2 6 0 0 0 61 3 - 65 64 6 37 64 66 1 69 0 25 70 2 6 0 0 0 74 2 6 0 75 0 76 2 6 0 - 0 0 77 1 6 11 0 79 2 6 0 0 0 80 2 6 0 0 0 81 2 6 0 0 0 82 1 6 - 11 0 83 3 6 0 0 0 0 85 2 0 0 0 0 78 1 0 43 0 46 1 0 57 0 58 1 - 0 25 0 36 1 0 72 0 73 1 0 11 0 23 1 0 69 0 71 1 0 11 0 49 3 0 - 0 0 0 0 86 1 0 11 0 15 2 0 0 0 0 56 3 0 67 0 37 67 68 1 0 62 - 0 63 1 0 0 0 22 2 0 0 0 0 84 0 0 0 59 1 0 0 0 52 1 0 43 0 44 - 1 0 11 0 13 1 0 7 0 27 1 0 0 0 10 1 0 0 0 16 1 0 31 0 32 1 0 - 28 0 30 1 0 37 0 39 1 0 33 0 35 0 0 7 8 2 0 11 0 0 19 2 0 0 - 0 0 54)))))) - (QUOTE |lookupComplete|))) - -@ \section{domain SINT SingleInteger} The definition of {\bf one?} has been rewritten as it relies on calling {\bf ONEP} which is a function specific @@ -1772,7 +1287,6 @@ SingleInteger(): Join(IntegerNumberSystem,Logic,OpenMath) with <<*>>= <> -<> <> @ \eject