diff --git a/books/bookvol10.3.pamphlet b/books/bookvol10.3.pamphlet index 3d91061..72c88c7 100644 --- a/books/bookvol10.3.pamphlet +++ b/books/bookvol10.3.pamphlet @@ -111416,7 +111416,99 @@ o )show UnivariateTaylorSeriesCZero {\bf Exports:}\\ \begin{tabular}{llll} -\cross{UTSZ}{0} +\cross{UTSZ}{0} & +\cross{UTSZ}{1} & +\cross{UTSZ}{acos} & +\cross{UTSZ}{acosh} \\ +\cross{UTSZ}{acot} & +\cross{UTSZ}{acoth} & +\cross{UTSZ}{acsc} & +\cross{UTSZ}{acsch} \\ +\cross{UTSZ}{approximate} & +\cross{UTSZ}{asec} & +\cross{UTSZ}{asech} & +\cross{UTSZ}{asin} \\ +\cross{UTSZ}{asinh} & +\cross{UTSZ}{associates?} & +\cross{UTSZ}{atan} & +\cross{UTSZ}{atanh} \\ +\cross{UTSZ}{center} & +\cross{UTSZ}{characteristic} & +\cross{UTSZ}{charthRoot} & +\cross{UTSZ}{coefficient} \\ +\cross{UTSZ}{coefficients} & +\cross{UTSZ}{coerce} & +\cross{UTSZ}{complete} & +\cross{UTSZ}{cos} \\ +\cross{UTSZ}{cosh} & +\cross{UTSZ}{cot} & +\cross{UTSZ}{coth} & +\cross{UTSZ}{csc} \\ +\cross{UTSZ}{csch} & +\cross{UTSZ}{D} & +\cross{UTSZ}{degree} & +\cross{UTSZ}{differentiate} \\ +\cross{UTSZ}{eval} & +\cross{UTSZ}{evenlambert} & +\cross{UTSZ}{exp} & +\cross{UTSZ}{exquo} \\ +\cross{UTSZ}{extend} & +\cross{UTSZ}{generalLambert} & +\cross{UTSZ}{hash} & +\cross{UTSZ}{integrate} \\ +\cross{UTSZ}{invmultisect} & +\cross{UTSZ}{lagrange} & +\cross{UTSZ}{lambert} & +\cross{UTSZ}{latex} \\ +\cross{UTSZ}{leadingCoefficient} & +\cross{UTSZ}{leadingMonomial} & +\cross{UTSZ}{log} & +\cross{UTSZ}{map} \\ +\cross{UTSZ}{monomial} & +\cross{UTSZ}{monomial?} & +\cross{UTSZ}{multiplyCoefficients} & +\cross{UTSZ}{multiplyExponents} \\ +\cross{UTSZ}{multisect} & +\cross{UTSZ}{nthRoot} & +\cross{UTSZ}{oddlambert} & +\cross{UTSZ}{one?} \\ +\cross{UTSZ}{order} & +\cross{UTSZ}{pi} & +\cross{UTSZ}{pole?} & +\cross{UTSZ}{polynomial} \\ +\cross{UTSZ}{quoByVar} & +\cross{UTSZ}{recip} & +\cross{UTSZ}{reductum} & +\cross{UTSZ}{revert} \\ +\cross{UTSZ}{sample} & +\cross{UTSZ}{sec} & +\cross{UTSZ}{sech} & +\cross{UTSZ}{series} \\ +\cross{UTSZ}{sin} & +\cross{UTSZ}{sinh} & +\cross{UTSZ}{sqrt} & +\cross{UTSZ}{subtractIfCan} \\ +\cross{UTSZ}{tan} & +\cross{UTSZ}{tanh} & +\cross{UTSZ}{terms} & +\cross{UTSZ}{truncate} \\ +\cross{UTSZ}{unit?} & +\cross{UTSZ}{unitCanonical} & +\cross{UTSZ}{unitNormal} & +\cross{UTSZ}{univariatePolynomial} \\ +\cross{UTSZ}{variable} & +\cross{UTSZ}{variables} & +\cross{UTSZ}{zero?} & +\cross{UTSZ}{?.?} \\ +\cross{UTSZ}{?\~{}=?} & +\cross{UTSZ}{?/?} & +\cross{UTSZ}{?*?} & +\cross{UTSZ}{?**?} \\ +\cross{UTSZ}{?+?} & +\cross{UTSZ}{?-?} & +\cross{UTSZ}{-?} & +\cross{UTSZ}{?=?} \\ +\cross{UTSZ}{?\^{}?} \end{tabular} <>= diff --git a/books/ps/v103univariatetaylorseriesczero.ps b/books/ps/v103univariatetaylorseriesczero.ps new file mode 100644 index 0000000..a38f39d --- /dev/null +++ b/books/ps/v103univariatetaylorseriesczero.ps @@ -0,0 +1,268 @@ +%!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 98 152 +%%PageOrientation: Portrait +0 0 1 beginpage +gsave +36 36 62 116 boxprim clip newpath +1 1 set_scale 0 rotate 40 40 translate +% UTSZ +gsave +[ /Rect [ 0 72 54 108 ] + /Border [ 0 0 0 ] + /Action << /Subtype /URI /URI (bookvol10.3.pdf#nameddest=UTSZ) >> + /Subtype /Link +/ANN pdfmark +0.273 0.733 1.000 nodecolor +newpath 54 108 moveto +0 108 lineto +0 72 lineto +54 72 lineto +closepath fill +1 setlinewidth +filled +0.273 0.733 1.000 nodecolor +newpath 54 108 moveto +0 108 lineto +0 72 lineto +54 72 lineto +closepath stroke +0.000 0.000 0.000 nodecolor +14 /Times-Roman set_font +8 85.9 moveto 38 (UTSZ) alignedtext +grestore +% ACFS +gsave +[ /Rect [ 0 0 54 36 ] + /Border [ 0 0 0 ] + /Action << /Subtype /URI /URI (bookvol10.2.pdf#nameddest=ACFS) >> + /Subtype /Link +/ANN pdfmark +0.606 0.733 1.000 nodecolor +newpath 54 36 moveto +0 36 lineto +0 0 lineto +54 0 lineto +closepath fill +1 setlinewidth +filled +0.606 0.733 1.000 nodecolor +newpath 54 36 moveto +0 36 lineto +0 0 lineto +54 0 lineto +closepath stroke +0.000 0.000 0.000 nodecolor +14 /Times-Roman set_font +8.5 13.9 moveto 37 (ACFS) alignedtext +grestore +% UTSZ->ACFS +gsave +1 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 27 72 moveto +27 64 27 55 27 46 curveto +stroke +0.000 0.000 0.000 edgecolor +newpath 30.5 46 moveto +27 36 lineto +23.5 46 lineto +closepath fill +1 setlinewidth +solid +0.000 0.000 0.000 edgecolor +newpath 30.5 46 moveto +27 36 lineto +23.5 46 lineto +closepath stroke +grestore +endpage +showpage +grestore +%%PageTrailer +%%EndPage: 1 +%%Trailer +%%Pages: 1 +%%BoundingBox: 36 36 98 152 +end +restore +%%EOF diff --git a/books/ps/v104finitefieldsquarefreedecomposition.ps b/books/ps/v104finitefieldsquarefreedecomposition.ps new file mode 100644 index 0000000..09ee765 --- /dev/null +++ b/books/ps/v104finitefieldsquarefreedecomposition.ps @@ -0,0 +1,268 @@ +%!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 114 152 +%%PageOrientation: Portrait +0 0 1 beginpage +gsave +36 36 78 116 boxprim clip newpath +1 1 set_scale 0 rotate 40 40 translate +% FFSQFR +gsave +[ /Rect [ 0 72 70 108 ] + /Border [ 0 0 0 ] + /Action << /Subtype /URI /URI (bookvol10.4.pdf#nameddest=FFSQFR) >> + /Subtype /Link +/ANN pdfmark +0.939 0.733 1.000 nodecolor +newpath 70 108 moveto +0 108 lineto +0 72 lineto +70 72 lineto +closepath fill +1 setlinewidth +filled +0.939 0.733 1.000 nodecolor +newpath 70 108 moveto +0 108 lineto +0 72 lineto +70 72 lineto +closepath stroke +0.000 0.000 0.000 nodecolor +14 /Times-Roman set_font +7.5 85.9 moveto 55 (FFSQFR) alignedtext +grestore +% PFECAT +gsave +[ /Rect [ 0 0 70 36 ] + /Border [ 0 0 0 ] + /Action << /Subtype /URI /URI (bookvol10.2.pdf#nameddest=PFECAT) >> + /Subtype /Link +/ANN pdfmark +0.606 0.733 1.000 nodecolor +newpath 70 36 moveto +0 36 lineto +0 0 lineto +70 0 lineto +closepath fill +1 setlinewidth +filled +0.606 0.733 1.000 nodecolor +newpath 70 36 moveto +0 36 lineto +0 0 lineto +70 0 lineto +closepath stroke +0.000 0.000 0.000 nodecolor +14 /Times-Roman set_font +8 13.9 moveto 54 (PFECAT) alignedtext +grestore +% FFSQFR->PFECAT +gsave +1 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 35 72 moveto +35 64 35 55 35 46 curveto +stroke +0.000 0.000 0.000 edgecolor +newpath 38.5 46 moveto +35 36 lineto +31.5 46 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 +closepath stroke +grestore +endpage +showpage +grestore +%%PageTrailer +%%EndPage: 1 +%%Trailer +%%Pages: 1 +%%BoundingBox: 36 36 114 152 +end +restore +%%EOF diff --git a/changelog b/changelog index bef0167..b7da7c9 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,7 @@ +20100419 tpd src/axiom-website/patches.html 20100419.04.tpd.patch +20100419 tpd books/ps/v104finitefieldsquarefreedecomposition.ps doc FFSQFR +20100419 tpd books/ps/v103univariatetaylorseriesczero.ps document UTSZ +20100419 tpd books/bookvol10.3 improve UnivariateTaylorSeriesCZero docs 20100419 tpd src/axiom-website/patches.html 20100419.03.tpd.patch 20100419 tpd src/algebra/Makefile help and regression tests for FFSQFR 20100419 tpd books/bookvol5 expose FiniteFieldSquareFreeDecomposition diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index 35adcd6..7e5cb4b 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -2643,5 +2643,7 @@ books/bookvolbib Du95, Ga95, Ha95, Ha96, HI96, HL95, LR88, St93
books/bookvolbib,bookvol1 rename and align biblio sections
20100419.03.tpd.patch books/bookvol10.4 add FiniteFieldSquareFreeDecomposition
+20100419.04.tpd.patch +books/bookvol10.3 improve UnivariateTaylorSeriesCZero docs