diff --git a/books/bookvol10.2.pamphlet b/books/bookvol10.2.pamphlet
index 3db5c68..838f836 100644
--- a/books/bookvol10.2.pamphlet
+++ b/books/bookvol10.2.pamphlet
@@ -714,6 +714,7 @@ digraph pic {
{\bf See:}
+\pageto{BlowUpMethodCategory}{BLMETCT}
\pageto{SetCategory}{SETCAT}
\pagefrom{Category}{CATEGORY}
@@ -788,6 +789,7 @@ digraph pic {
{\bf See:}
+\pageto{BlowUpMethodCategory}{BLMETCT}
\pageto{DirectProductCategory}{DIRPCAT}
\pageto{FortranProgramCategory}{FORTCAT}
\pageto{PlottablePlaneCurveCategory}{PPCURVE}
@@ -3588,6 +3590,7 @@ digraph pic {
{\bf See:}
\pageto{AbelianSemiGroup}{ABELSG}
+\pageto{BlowUpMethodCategory}{BLMETCT}
\pageto{FileCategory}{FILECAT}
\pageto{FileNameCategory}{FNCAT}
\pageto{Finite}{FINITE}
@@ -4031,6 +4034,157 @@ digraph pic {
@
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\pagehead{BlowUpMethodCategory}{BLMETCT}
+\pagepic{ps/v102blowupmethodcategory.ps}{BLMETCT}{0.75}
+<<BlowUpMethodCategory.input>>=
+)set break resume
+)sys rm -f BlowUpMethodCategory.output
+)spool BlowUpMethodCategory.output
+)set message test on
+)set message auto off
+)clear all
+
+--S 1 of 1
+)show BlowUpMethodCategory
+--R BlowUpMethodCategory is a category constructor
+--R Abbreviation for BlowUpMethodCategory is BLMETCT
+--R This constructor is exposed in this frame.
+--R Issue )edit bookvol10.2.pamphlet to see algebra source code for BLMETCT
+--R
+--R------------------------------- Operations --------------------------------
+--R ?=? : (%,%) -> Boolean chartCoord : % -> Integer
+--R coerce : List Integer -> % coerce : % -> OutputForm
+--R excepCoord : % -> Integer hash : % -> SingleInteger
+--R infClsPt? : % -> Boolean latex : % -> String
+--R quotValuation : % -> Integer ramifMult : % -> Integer
+--R transCoord : % -> Integer ?~=? : (%,%) -> Boolean
+--R createHN : (Integer,Integer,Integer,Integer,Integer,Boolean,Union(left,center,right,vertical,horizontal)) -> %
+--R type : % -> Union(left,center,right,vertical,horizontal)
+--R
+--E 1
+
+)spool
+)lisp (bye)
+@
+<<BlowUpMethodCategory.help>>=
+====================================================================
+BlowUpMethodCategory examples
+====================================================================
+
+See Also:
+o )show BlowUpMethodCategory
+
+@
+
+{\bf See:}
+
+\pagefrom{BasicType}{BASTYPE}
+\pagefrom{CoercibleTo}{KOERCE}
+\pagefrom{SetCategory}{SETCAT}
+
+{\bf Exports:}\\
+
+\begin{tabular}{lllll}
+\cross{BLMETCT}{?=?} &
+\cross{BLMETCT}{?\~{}=?} &
+\cross{BLMETCT}{chartCoord} &
+\cross{BLMETCT}{coerce} &
+\cross{BLMETCT}{createHN} \\
+\cross{BLMETCT}{excepCoord} &
+\cross{BLMETCT}{hash} &
+\cross{BLMETCT}{infClsPt?} &
+\cross{BLMETCT}{latex} &
+\cross{BLMETCT}{quotValuation} \\
+\cross{BLMETCT}{ramifMult} &
+\cross{BLMETCT}{transCoord} &
+\cross{BLMETCT}{type} &&
+\end{tabular}
+
+These are directly exported but not implemented:
+\begin{verbatim}
+ coerce: List Integer -> %
+ excepCoord: % -> Integer
+ chartCoord: % -> Integer
+ transCoord: % -> Integer
+ createHN: ( Integer, Integer, Integer , Integer, Integer, Boolean,_
+ Union("left","center","right","vertical","horizontal")) -> %
+ ramifMult: % -> Integer
+ infClsPt_? : % -> Boolean
+ quotValuation : % -> Integer
+ type: % -> Union("left","center","right","vertical","horizontal")
+\end{verbatim}
+
+These exports come from \refto{SetCategory}():
+\begin{verbatim}
+ ?=? : (%,%) -> Boolean
+ ?~=? : (%,%) -> Boolean
+ coerce : % -> OutputForm
+ hash : % -> SingleInteger
+ latex : % -> String
+\end{verbatim}
+
+<<category BLMETCT BlowUpMethodCategory>>=
+)abbrev category BLMETCT BlowUpMethodCategory
+BlowUpMethodCategory:Category == SetCategory with
+
+ coerce: List Integer -> %
+
+ excepCoord: % -> Integer
+
+ chartCoord: % -> Integer
+
+ transCoord: % -> Integer
+
+ createHN: ( Integer, Integer, Integer , Integer, Integer, Boolean,_
+ Union("left","center","right","vertical","horizontal")) -> %
+
+ ramifMult: % -> Integer
+
+ infClsPt_? : % -> Boolean
+
+ quotValuation : % -> Integer
+
+ type: % -> Union("left","center","right","vertical","horizontal")
+@
+<<BLMETCT.dotabb>>=
+"BLMETCT"
+ [color=lightblue,href="bookvol10.2.pdf#nameddest=BLMETCT"];
+"BLMETCT" -> "SETCAT"
+
+@
+<<BLMETCT.dotfull>>=
+"BlowUpMethodCategory()"
+ [color=lightblue,href="bookvol10.2.pdf#nameddest=BLMETCT"];
+"BlowUpMethodCategory()" -> "SetCategory()"
+
+<<BLMETCT.dotpic>>=
+digraph pic {
+ fontsize=10;
+ bgcolor="#FFFF66";
+ node [shape=box, color=white, style=filled];
+
+"BlowUpMethodCategory()" [color=lightblue];
+"BlowUpMethodCategory()" -> "SetCategory()"
+
+"SetCategory()" [color=lightblue];
+"SetCategory()" -> "BasicType()"
+"SetCategory()" -> "CoercibleTo(OutputForm)"
+
+"BasicType()" [color=lightblue];
+"BasicType()" -> "Category"
+
+"CoercibleTo(OutputForm)" [color=seagreen];
+"CoercibleTo(OutputForm)" ->
+ "CoercibleTo(a:Type)"
+
+"CoercibleTo(a:Type)" [color=lightblue];
+"CoercibleTo(a:Type)" -> "Category"
+
+"Category" [color=lightblue];
+}
+
+@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\pagehead{FortranFunctionCategory}{FORTFN}
\pagepic{ps/v102fortranfunctioncategory.ps}{FORTFN}{1.00}
@@ -43128,7 +43282,6 @@ digraph pic {
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\pagehead{LocalPowerSeriesCategory}{LOCPOWC}
\pagepic{ps/v102localpowerseriescategory.ps}{LOCPOWC}{0.70}
-\pagepic{ps/v102pseudoalgebraicclosureofperfectfieldcategory.ps}{PACPERC}{0.50}
<<LocalPowerSeriesCategory.input>>=
)set break resume
)sys rm -f LocalPowerSeriesCategory.output
diff --git a/books/bookvol5.pamphlet b/books/bookvol5.pamphlet
index 6fa9b73..da9d8af 100644
--- a/books/bookvol5.pamphlet
+++ b/books/bookvol5.pamphlet
@@ -24351,6 +24351,7 @@ otherwise the new algebra won't be loaded by the interpreter when needed.
(|BinaryRecursiveAggregate| . BRAGG)
(|BinaryTreeCategory| . BTCAT)
(|BitAggregate| . BTAGG)
+ (|BlowUpMethodCategory| . BLMETCT)
(|CachableSet| . CACHSET)
(|CancellationAbelianMonoid| . CABMON)
(|CharacteristicNonZero| . CHARNZ)
diff --git a/books/ps/v102blowupmethodcategory.ps b/books/ps/v102blowupmethodcategory.ps
new file mode 100644
index 0000000..7fbd0c0
--- /dev/null
+++ b/books/ps/v102blowupmethodcategory.ps
@@ -0,0 +1,263 @@
+%!PS-Adobe-3.0 EPSF-3.0
+%%Creator: Graphviz version 2.20.2 (Mon Mar 30 10:09:11 UTC 2009)
+%%For: (root) root
+%%Title: pic
+%%Pages: (atend)
+%%BoundingBox: (atend)
+%%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
+ 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 text fitted to its expected width
+/alignedtext { % width text
+ /text exch def
+ /width exch def
+ gsave
+ width 0 gt {
+ [] 0 setdash
+ text stringwidth pop width exch sub text length div 0 text ashow
+ } if
+ 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
+setupLatin1
+%%Page: 1 1
+%%PageBoundingBox: 36 36 126 152
+%%PageOrientation: Portrait
+0 0 1 beginpage
+gsave
+36 36 90 116 boxprim clip newpath
+1 1 set_scale 0 rotate 40 40 translate
+% BLMETCT
+gsave
+[ /Rect [ 0 72 82 108 ]
+ /Border [ 0 0 0 ]
+ /Action << /Subtype /URI /URI (bookvol10.2.pdf#nameddest=BLMETCT) >>
+ /Subtype /Link
+/ANN pdfmark
+0.537 0.247 0.902 nodecolor
+newpath 82 108 moveto
+0 108 lineto
+0 72 lineto
+82 72 lineto
+closepath fill
+1 setlinewidth
+filled
+0.537 0.247 0.902 nodecolor
+newpath 82 108 moveto
+0 108 lineto
+0 72 lineto
+82 72 lineto
+closepath stroke
+0.000 0.000 0.000 nodecolor
+14 /Times-Roman set_font
+8 85.9 moveto 66 (BLMETCT) alignedtext
+grestore
+% SETCAT
+gsave
+0.537 0.247 0.902 nodecolor
+newpath 76 36 moveto
+6 36 lineto
+6 0 lineto
+76 0 lineto
+closepath fill
+1 setlinewidth
+filled
+0.537 0.247 0.902 nodecolor
+newpath 76 36 moveto
+6 36 lineto
+6 0 lineto
+76 0 lineto
+closepath stroke
+0.000 0.000 0.000 nodecolor
+14 /Times-Roman set_font
+14 13.9 moveto 54 (SETCAT) alignedtext
+grestore
+% BLMETCT->SETCAT
+gsave
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 41 72 moveto
+41 64 41 55 41 46 curveto
+stroke
+0.000 0.000 0.000 edgecolor
+newpath 44.5 46 moveto
+41 36 lineto
+37.5 46 lineto
+closepath fill
+1 setlinewidth
+solid
+0.000 0.000 0.000 edgecolor
+newpath 44.5 46 moveto
+41 36 lineto
+37.5 46 lineto
+closepath stroke
+grestore
+endpage
+showpage
+grestore
+%%PageTrailer
+%%EndPage: 1
+%%Trailer
+%%Pages: 1
+%%BoundingBox: 36 36 126 152
+end
+restore
+%%EOF
diff --git a/changelog b/changelog
index 67b2931..feda3a1 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,8 @@
+20100513 tpd src/axiom-website/patches.html 20100513.01.tpd.patch
+20100513 tpd src/algebra/Makefile help and test files for BLMETCT
+20100513 tpd books/bookvol5 expose BlowUpMethodCategory
+20100513 tpd books/bookvol10.2 add BlowUpMethodCategory
+20100513 tpd books/ps/v102blowupmethodcategory.ps added
20100512 tpd src/axiom-website/patches.html 20100512.02.tpd.patch
20100512 tpd src/algebra/Makefile help and test for LISYSER
20100512 tpd books/bookvol5 expose LinearSystemFromPowerSeriesPackage
diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet
index 6395345..1f01625 100644
--- a/src/algebra/Makefile.pamphlet
+++ b/src/algebra/Makefile.pamphlet
@@ -308,6 +308,7 @@ MONAD ORDSET PATMAB RETRACT RMODULE SGROUP
LAYER1=\
${OUT}/AGG.o ${OUT}/AGG-.o ${OUT}/ANON.o ${OUT}/ANY1.o \
+ ${OUT}/BLMETCT.o \
${OUT}/COLOR.o ${OUT}/COMBOPC.o ${OUT}/COMM.o ${OUT}/COMPPROP.o \
${OUT}/DROPT1.o ${OUT}/ELTAGG.o ${OUT}/ELTAGG-.o ${OUT}/EQ2.o \
${OUT}/EXIT.o ${OUT}/FILECAT.o ${OUT}/FINITE.o ${OUT}/FNCAT.o \
@@ -357,6 +358,9 @@ LAYER1=\
"ANY1" [color="#FF4488",href="bookvol10.4.pdf#nameddest=ANY1"]
"ANY1" -> "TYPE"
+"BLMETCT" [color="#4488FF",href="bookvol10.2.pdf#nameddest=BLMETCT"]
+"BLMETCT" -> {"SETCAT", "BASTYPE/KOERCE"}
+
"CABMON" [color="#4488FF",href="bookvol10.2.pdf#nameddest=CABMON",
shape=ellipse]
/*"CABMON" -> {"ABELMON"; "ABELSG"; "SETCAT"}*/
@@ -16914,6 +16918,7 @@ SPADHELP=\
${HELP}/BinaryExpansion.help \
${HELP}/BinarySearchTree.help \
${HELP}/BlasLevelOne.help \
+ ${HELP}/BlowUpMethodCategory.help \
${HELP}/CardinalNumber.help \
${HELP}/CartesianTensor.help \
${HELP}/Character.help \
@@ -17087,6 +17092,7 @@ REGRESS= \
BinaryExpansion.regress \
BinarySearchTree.regress \
BlasLevelOne.regress \
+ BlowUpMethodCategory.regress \
CardinalNumber.regress \
CartesianTensor.regress \
Character.regress \
@@ -17357,8 +17363,20 @@ ${HELP}/BlasLevelOne.help: ${BOOKS}/bookvol10.5.pamphlet
>${INPUT}/BlasLevelOne.input
@echo "BlasLevelOne (BLAS1)" >>${HELPFILE}
+${HELP}/BlowUpMethodCategory.help: ${BOOKS}/bookvol10.2.pamphlet
+ @echo 7083 create BlowUpMethodCategory.help from \
+ ${BOOKS}/bookvol10.2.pamphlet
+ @${TANGLE} -R"BlowUpMethodCategory.help" \
+ ${BOOKS}/bookvol10.2.pamphlet \
+ >${HELP}/BlowUpMethodCategory.help
+ @cp ${HELP}/BlowUpMethodCategory.help ${HELP}/BLMETCT.help
+ @${TANGLE} -R"BlowUpMethodCategory.input" \
+ ${BOOKS}/bookvol10.2.pamphlet \
+ >${INPUT}/BlowUpMethodCategory.input
+ @echo "BlowUpMethodCategory (BLMETCT)" >>${HELPFILE}
+
${HELP}/CardinalNumber.help: ${BOOKS}/bookvol10.3.pamphlet
- @echo 7080 create CardinalNumber.help from \
+ @echo 7086 create CardinalNumber.help from \
${BOOKS}/bookvol10.3.pamphlet
@${TANGLE} -R"CardinalNumber.help" ${BOOKS}/bookvol10.3.pamphlet \
>${HELP}/CardinalNumber.help
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index be5fd2e..d4d7080 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -2701,5 +2701,7 @@ books/bookvol10.2 add LocalPowerSeriesCategory<br/>
books/bookvol10.3 add NeitherSparseOrDensePowerSeries<br/>
<a href="patches/20100512.02.tpd.patch">20100512.02.tpd.patch</a>
books/bookvol10.4 add LinearSystemFromPowerSeriesPackage<br/>
+<a href="patches/20100513.01.tpd.patch">20100513.01.tpd.patch</a>
+books/bookvol10.2 add BlowUpMethodCategory<br/>
</body>
</html>