diff --git a/books/ps/v103places.eps b/books/ps/v103places.eps index 0a5fd47..b75ce1d 100644 --- a/books/ps/v103places.eps +++ b/books/ps/v103places.eps @@ -3,7 +3,7 @@ %%For: (root) root %%Title: pic %%Pages: 1 -%%BoundingBox: 36 36 114 152 +%%BoundingBox: 36 36 180 152 %%EndComments save %%BeginProlog @@ -179,80 +179,125 @@ def %%EndSetup setupLatin1 %%Page: 1 1 -%%PageBoundingBox: 36 36 114 152 +%%PageBoundingBox: 36 36 180 152 %%PageOrientation: Portrait 0 0 1 beginpage gsave -36 36 78 116 boxprim clip newpath +36 36 144 116 boxprim clip newpath 1 1 set_scale 0 rotate 40 40 translate % PLACES gsave -[ /Rect [ 0 72 70 108 ] +[ /Rect [ 35 72 105 108 ] /Border [ 0 0 0 ] /Action << /Subtype /URI /URI (bookvol10.3.pdf#nameddest=PLACES) >> /Subtype /Link /ANN pdfmark 0.273 0.733 1.000 nodecolor -newpath 70 108 moveto -0 108 lineto -0 72 lineto -70 72 lineto +newpath 105 108 moveto +35 108 lineto +35 72 lineto +105 72 lineto closepath fill 1 setlinewidth filled 0.273 0.733 1.000 nodecolor -newpath 70 108 moveto -0 108 lineto -0 72 lineto -70 72 lineto +newpath 105 108 moveto +35 108 lineto +35 72 lineto +105 72 lineto closepath stroke 0.000 0.000 0.000 nodecolor 14 /Times-Roman set_font -7.5 85.9 moveto 55 (PLACES) alignedtext +42.5 85.9 moveto 55 (PLACES) alignedtext grestore % NSDPS gsave -[ /Rect [ 3 0 67 36 ] +[ /Rect [ 0 0 64 36 ] /Border [ 0 0 0 ] /Action << /Subtype /URI /URI (bookvol10.3.pdf#nameddest=NSDPS) >> /Subtype /Link /ANN pdfmark 0.273 0.733 1.000 nodecolor -newpath 67 36 moveto -3 36 lineto -3 0 lineto -67 0 lineto +newpath 64 36 moveto +0 36 lineto +0 0 lineto +64 0 lineto closepath fill 1 setlinewidth filled 0.273 0.733 1.000 nodecolor -newpath 67 36 moveto -3 36 lineto -3 0 lineto -67 0 lineto +newpath 64 36 moveto +0 36 lineto +0 0 lineto +64 0 lineto closepath stroke 0.000 0.000 0.000 nodecolor 14 /Times-Roman set_font -10.5 13.9 moveto 49 (NSDPS) alignedtext +7.5 13.9 moveto 49 (NSDPS) alignedtext grestore % PLACES->NSDPS gsave 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 35 72 moveto -35 64 35 55 35 46 curveto +newpath 60 72 moveto +56 64 51 54 46 45 curveto stroke 0.000 0.000 0.000 edgecolor -newpath 38.5 46 moveto -35 36 lineto -31.5 46 lineto +newpath 48.92 43.04 moveto +41 36 lineto +42.8 46.44 lineto closepath fill 1 setlinewidth solid 0.000 0.000 0.000 edgecolor -newpath 38.5 46 moveto -35 36 lineto -31.5 46 lineto +newpath 48.92 43.04 moveto +41 36 lineto +42.8 46.44 lineto +closepath stroke +grestore +% PLCS +gsave +[ /Rect [ 82 0 136 36 ] + /Border [ 0 0 0 ] + /Action << /Subtype /URI /URI (bookvol10.3.pdf#nameddest=PLCS) >> + /Subtype /Link +/ANN pdfmark +0.273 0.733 1.000 nodecolor +newpath 136 36 moveto +82 36 lineto +82 0 lineto +136 0 lineto +closepath fill +1 setlinewidth +filled +0.273 0.733 1.000 nodecolor +newpath 136 36 moveto +82 36 lineto +82 0 lineto +136 0 lineto +closepath stroke +0.000 0.000 0.000 nodecolor +14 /Times-Roman set_font +91 13.9 moveto 36 (PLCS) alignedtext +grestore +% PLACES->PLCS +gsave +1 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 80 72 moveto +84 64 89 54 94 45 curveto +stroke +0.000 0.000 0.000 edgecolor +newpath 97.2 46.44 moveto +99 36 lineto +91.08 43.04 lineto +closepath fill +1 setlinewidth +solid +0.000 0.000 0.000 edgecolor +newpath 97.2 46.44 moveto +99 36 lineto +91.08 43.04 lineto closepath stroke grestore endpage diff --git a/changelog b/changelog index 4835dd3..c202536 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20100518 tpd src/axiom-website/patches.html 20100518.02.tpd.patch +20100518 tpd books/ps/v103places.eps add new constraint 20100518 tpd src/axiom-website/patches.html 20100518.01.tpd.patch 20100518 tpd src/algebra/Makefile help and test for Places 20100518 tpd books/bookvol5 expose Places diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index 7de6b8f..b55a19d 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -2749,5 +2749,7 @@ books/bookvol10.2 fix the image to use .eps
books/bookvol10.3 add Plcs
20100518.01.tpd.patch books/bookvol10.3 add Places
+20100518.02.tpd.patch +books/ps/v103places.eps add new constraint