diff --git a/books/bookvol10.2.pamphlet b/books/bookvol10.2.pamphlet index c341865..ee90588 100644 --- a/books/bookvol10.2.pamphlet +++ b/books/bookvol10.2.pamphlet @@ -11116,6 +11116,7 @@ PlacesCategory(K:Field,PCS:LocalPowerSeriesCategory(K)):Category @ <>= "PLACESC" [color=lightblue,href="bookvol10.2.pdf#nameddest=PLACESC"]; +"SETCATD" [color="#4488FF",href="bookvol10.2.pdf#nameddest=SETCATD"] "PLACESC" -> "SETCATD" @ diff --git a/books/ps/v102placescategory.eps b/books/ps/v102placescategory.eps index ae4b09a..3a7ebfa 100644 --- a/books/ps/v102placescategory.eps +++ b/books/ps/v102placescategory.eps @@ -3,7 +3,7 @@ %%For: (root) root %%Title: pic %%Pages: 1 -%%BoundingBox: 36 36 342 440 +%%BoundingBox: 36 36 124 152 %%EndComments save %%BeginProlog @@ -179,353 +179,81 @@ def %%EndSetup setupLatin1 %%Page: 1 1 -%%PageBoundingBox: 36 36 342 440 +%%PageBoundingBox: 36 36 124 152 %%PageOrientation: Portrait 0 0 1 beginpage gsave -36 36 306 404 boxprim clip newpath +36 36 88 116 boxprim clip newpath 1 1 set_scale 0 rotate 40 40 translate -% PlacesCategory() +% PLACESC gsave +[ /Rect [ 0 72 80 108 ] + /Border [ 0 0 0 ] + /Action << /Subtype /URI /URI (bookvol10.2.pdf#nameddest=PLACESC) >> + /Subtype /Link +/ANN pdfmark 0.537 0.247 0.902 nodecolor -newpath 191 396 moveto -59 396 lineto -59 360 lineto -191 360 lineto +newpath 80 108 moveto +0 108 lineto +0 72 lineto +80 72 lineto closepath fill 1 setlinewidth filled 0.537 0.247 0.902 nodecolor -newpath 191 396 moveto -59 396 lineto -59 360 lineto -191 360 lineto +newpath 80 108 moveto +0 108 lineto +0 72 lineto +80 72 lineto closepath stroke 0.000 0.000 0.000 nodecolor 14 /Times-Roman set_font -67 373.9 moveto 116 (PlacesCategory\(\)) alignedtext +7.5 85.9 moveto 65 (PLACESC) alignedtext grestore -% SetCategoryWithDegree() +% SETCATD gsave -0.537 0.247 0.902 nodecolor -newpath 223 324 moveto -27 324 lineto -27 288 lineto -223 288 lineto -closepath fill -1 setlinewidth -filled -0.537 0.247 0.902 nodecolor -newpath 223 324 moveto -27 324 lineto -27 288 lineto -223 288 lineto -closepath stroke -0.000 0.000 0.000 nodecolor -14 /Times-Roman set_font -34.5 301.9 moveto 181 (SetCategoryWithDegree\(\)) alignedtext -grestore -% PlacesCategory()->SetCategoryWithDegree() -gsave -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 125 360 moveto -125 352 125 343 125 334 curveto -stroke -0.000 0.000 0.000 edgecolor -newpath 128.5 334 moveto -125 324 lineto -121.5 334 lineto -closepath fill -1 setlinewidth -solid -0.000 0.000 0.000 edgecolor -newpath 128.5 334 moveto -125 324 lineto -121.5 334 lineto -closepath stroke -grestore -% BasicType() -gsave -0.537 0.247 0.902 nodecolor -newpath 92 180 moveto -0 180 lineto -0 144 lineto -92 144 lineto -closepath fill -1 setlinewidth -filled -0.537 0.247 0.902 nodecolor -newpath 92 180 moveto -0 180 lineto -0 144 lineto -92 144 lineto -closepath stroke -0.000 0.000 0.000 nodecolor -14 /Times-Roman set_font -7.5 157.9 moveto 77 (BasicType\(\)) alignedtext -grestore -% SetCategoryWithDegree()->BasicType() -gsave -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 95 288 moveto -82 279 68 266 60 252 curveto -50 233 47 209 46 190 curveto -stroke -0.000 0.000 0.000 edgecolor -newpath 49.48 189.6 moveto -45 180 lineto -42.51 190.3 lineto -closepath fill -1 setlinewidth -solid -0.000 0.000 0.000 edgecolor -newpath 49.48 189.6 moveto -45 180 lineto -42.51 190.3 lineto -closepath stroke -grestore -% CoercibleTo(OutputForm) -gsave -0.404 0.667 0.545 nodecolor -newpath 298 180 moveto -110 180 lineto -110 144 lineto -298 144 lineto -closepath fill -1 setlinewidth -filled -0.404 0.667 0.545 nodecolor -newpath 298 180 moveto -110 180 lineto -110 144 lineto -298 144 lineto -closepath stroke -0.000 0.000 0.000 nodecolor -14 /Times-Roman set_font -117.5 157.9 moveto 173 (CoercibleTo\(OutputForm\)) alignedtext -grestore -% SetCategoryWithDegree()->CoercibleTo(OutputForm) -gsave -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 155 288 moveto -167 279 181 266 190 252 curveto -200 233 203 209 204 190 curveto -stroke -0.000 0.000 0.000 edgecolor -newpath 207.49 190.3 moveto -205 180 lineto -200.52 189.6 lineto -closepath fill -1 setlinewidth -solid -0.000 0.000 0.000 edgecolor -newpath 207.49 190.3 moveto -205 180 lineto -200.52 189.6 lineto -closepath stroke -grestore -% SetCategory() -gsave -0.537 0.247 0.902 nodecolor -newpath 181 252 moveto -69 252 lineto -69 216 lineto -181 216 lineto -closepath fill -1 setlinewidth -filled -0.537 0.247 0.902 nodecolor -newpath 181 252 moveto -69 252 lineto -69 216 lineto -181 216 lineto -closepath stroke -0.000 0.000 0.000 nodecolor -14 /Times-Roman set_font -76.5 229.9 moveto 97 (SetCategory\(\)) alignedtext -grestore -% SetCategoryWithDegree()->SetCategory() -gsave -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 125 288 moveto -125 280 125 271 125 262 curveto -stroke -0.000 0.000 0.000 edgecolor -newpath 128.5 262 moveto -125 252 lineto -121.5 262 lineto -closepath fill -1 setlinewidth -solid -0.000 0.000 0.000 edgecolor -newpath 128.5 262 moveto -125 252 lineto -121.5 262 lineto -closepath stroke -grestore -% Category -gsave -0.537 0.247 0.902 nodecolor -newpath 171 36 moveto -93 36 lineto -93 0 lineto -171 0 lineto +[ /Rect [ 0 0 80 36 ] + /Border [ 0 0 0 ] + /Action << /Subtype /URI /URI (bookvol10.2.pdf#nameddest=SETCATD) >> + /Subtype /Link +/ANN pdfmark +0.606 0.733 1.000 nodecolor +newpath 80 36 moveto +0 36 lineto +0 0 lineto +80 0 lineto closepath fill 1 setlinewidth filled -0.537 0.247 0.902 nodecolor -newpath 171 36 moveto -93 36 lineto -93 0 lineto -171 0 lineto +0.606 0.733 1.000 nodecolor +newpath 80 36 moveto +0 36 lineto +0 0 lineto +80 0 lineto closepath stroke 0.000 0.000 0.000 nodecolor 14 /Times-Roman set_font -100.5 13.9 moveto 63 (Category) alignedtext +7.5 13.9 moveto 65 (SETCATD) alignedtext grestore -% BasicType()->Category +% PLACESC->SETCATD gsave 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 57 144 moveto -71 119 99 74 116 45 curveto +newpath 40 72 moveto +40 64 40 55 40 46 curveto stroke 0.000 0.000 0.000 edgecolor -newpath 119.2 46.44 moveto -121 36 lineto -113.08 43.04 lineto +newpath 43.5 46 moveto +40 36 lineto +36.5 46 lineto closepath fill 1 setlinewidth solid 0.000 0.000 0.000 edgecolor -newpath 119.2 46.44 moveto -121 36 lineto -113.08 43.04 lineto -closepath stroke -grestore -% CoercibleTo(a:Type) -gsave -0.537 0.247 0.902 nodecolor -newpath 264 108 moveto -116 108 lineto -116 72 lineto -264 72 lineto -closepath fill -1 setlinewidth -filled -0.537 0.247 0.902 nodecolor -newpath 264 108 moveto -116 108 lineto -116 72 lineto -264 72 lineto +newpath 43.5 46 moveto +40 36 lineto +36.5 46 lineto closepath stroke -0.000 0.000 0.000 nodecolor -14 /Times-Roman set_font -123.5 85.9 moveto 133 (CoercibleTo\(a:Type\)) alignedtext -grestore -% CoercibleTo(OutputForm)->CoercibleTo(a:Type) -gsave -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 200 144 moveto -199 136 197 127 195 118 curveto -stroke -0.000 0.000 0.000 edgecolor -newpath 198.39 117.12 moveto -193 108 lineto -191.53 118.49 lineto -closepath fill -1 setlinewidth -solid -0.000 0.000 0.000 edgecolor -newpath 198.39 117.12 moveto -193 108 lineto -191.53 118.49 lineto -closepath stroke -grestore -% SetCategory()->BasicType() -gsave -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 105 216 moveto -95 207 84 197 74 187 curveto -stroke -0.000 0.000 0.000 edgecolor -newpath 75.83 183.95 moveto -66 180 lineto -71.22 189.22 lineto -closepath fill -1 setlinewidth -solid -0.000 0.000 0.000 edgecolor -newpath 75.83 183.95 moveto -66 180 lineto -71.22 189.22 lineto -closepath stroke -grestore -% SetCategory()->CoercibleTo(OutputForm) -gsave -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 145 216 moveto -155 207 166 197 176 187 curveto -stroke -0.000 0.000 0.000 edgecolor -newpath 178.78 189.22 moveto -184 180 lineto -174.17 183.95 lineto -closepath fill -1 setlinewidth -solid -0.000 0.000 0.000 edgecolor -newpath 178.78 189.22 moveto -184 180 lineto -174.17 183.95 lineto -closepath stroke -grestore -% CoercibleTo(a:Type)->Category -gsave -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 175 72 moveto -168 63 160 53 152 44 curveto -stroke -0.000 0.000 0.000 edgecolor -newpath 154.8 41.9 moveto -146 36 lineto -149.2 46.1 lineto -closepath fill -1 setlinewidth -solid -0.000 0.000 0.000 edgecolor -newpath 154.8 41.9 moveto -146 36 lineto -149.2 46.1 lineto -closepath stroke -grestore -% Package -gsave -0.333 1.000 0.933 nodecolor -newpath 281 396 moveto -209 396 lineto -209 360 lineto -281 360 lineto -closepath fill -1 setlinewidth -filled -0.333 1.000 0.933 nodecolor -newpath 281 396 moveto -209 396 lineto -209 360 lineto -281 360 lineto -closepath stroke -0.000 0.000 0.000 nodecolor -14 /Times-Roman set_font -217 373.9 moveto 56 (Package) alignedtext grestore endpage showpage diff --git a/changelog b/changelog index 7444da6..180fa9c 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,6 @@ +20100518 tpd src/axiom-website/patches.html 20100518.04.tpd.patch +20100518 tpd books/bookvol10.2 PLACES use eps form for bounding box +20100518 tpd books/ps/v102placescategory.eps use eps form for bounding box 20100518 tpd src/axiom-website/patches.html 20100518.03.tpd.patch 20100518 tpd src/algebra/Makefile help and test for PLACESPS 20100518 tod books/bookvol5 expose PLACESPS diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index dc641c8..a6ff992 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -2753,5 +2753,7 @@ books/bookvol10.3 add Places
books/ps/v103places.eps add new constraint
20100518.03.tpd.patch books/bookvol10.3 add PlacesOverPseudoAlgebraicClosureOfFiniteField +20100518.04.tpd.patch +books/bookvol10.2 PLACES use eps form for bounding box