[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] 20081108.01.tpd.patch (bookvol10.2 add categories)
|
From: |
daly |
|
Subject: |
[Axiom-developer] 20081108.01.tpd.patch (bookvol10.2 add categories) |
|
Date: |
Sat, 8 Nov 2008 14:28:19 -0600 |
add categories to bookvol10.2
========================================================================
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}
-<<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}
<<domain POINT Point>>=
)abbrev domain POINT Point
@@ -718,7 +685,6 @@ PointFunctions2(R1:Ring,R2:Ring):Exports == Implementation
where
<<*>>=
<<license>>
-<<category PTCAT PointCategory>>
<<domain POINT Point>>
<<domain COMPPROP SubSpaceComponentProperty>>
<<domain SUBSPACE SubSpace>>
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.
<<*>>=
<<license>>
-<<category PERMCAT PermutationCategory>>
<<domain PERM Permutation>>
@
\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.
-<<INS.lsp BOOTSTRAP>>=
-
-(/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.
-<<INS-.lsp BOOTSTRAP>>=
-
-(/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
<<*>>=
<<license>>
-<<category INS IntegerNumberSystem>>
<<domain SINT SingleInteger>>
@
\eject
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] 20081108.01.tpd.patch (bookvol10.2 add categories),
daly <=