diff --git a/books/axiom.sty b/books/axiom.sty index afafa11..013d0b7 100644 --- a/books/axiom.sty +++ b/books/axiom.sty @@ -20,17 +20,18 @@ %% Special Meanings for Math Characters %% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -\providecommand{\N}{\mathbb{N}} -\providecommand{\Natural}{\mathbb{N}} -\providecommand{\Z}{\mathbb{Z}} -\providecommand{\Integer}{\mathbb{Z}} -\providecommand{\Rational}{\mathbb{Q}} -\providecommand{\Q}{\mathbb{Q}} -\providecommand{\Complex}{\mathbb{C}} -\providecommand{\C}{\mathcal{C}} -\providecommand{\Real}{\mathbb{R}} -\providecommand{\F}{\mathcal{F}} -\providecommand{\R}{\mathcal{R}} +% don't use mathbb because texlive has changed +\providecommand{\N}{\bf N} +\providecommand{\Natural}{\bf N} +\providecommand{\Z}{\bf Z} +\providecommand{\Integer}{\bf Z} +\providecommand{\Q}{\bf Q} +\providecommand{\Rational}{\bf Q} +\providecommand{\C}{\bf C} +\providecommand{\Complex}{\bf C} +\providecommand{\R}{\bf R} +\providecommand{\Real}{\bf R} +\providecommand{\F}{\bf F} \providecommand{\abs}[1]{\left|{#1}\right|} \mathchardef\bigp="3250 \mathchardef\bigq="3251 diff --git a/changelog b/changelog index af78717..4ce7247 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20140729 tpd src/axiom-website/patches.html 20140729.01.tpd.patch +20140729 tpd books/axiom.sty don't use mathbb because texlive has changed 20140727 tpd src/axiom-website/patches.html 20140727.02.tpd.patch 20140727 tpd src/axiom-website/download.html update table, add MACOSX 20140727 tpd src/axiom-website/releasenotes.html add august release notes diff --git a/patch b/patch index 800bcad..20e02cb 100644 --- a/patch +++ b/patch @@ -1,466 +1,3 @@ -August 2014 release notes - -This release moves Axiom to the latest GCL version. -All unused prior versions were removed. - -Most of the work involved in this release has involved CATS, -working with Albert Rich to develop Axiom tests. - -Noweb was removed. Axiom now uses its own literate tools. - -The databases are no longer compressed. - -Volume 13: Proving Axiom Correct was started - -Makefile.pamphlet - VERSION = August 2014 - TESTSET defaults to regresstests - fix missing dvipdfm - remove noweb - -book/ - new directory containing axiom-developer emails - reduce and categorize emails for history - create timeline of people joining/leaving - -books/ - axiom.sty - document - remove all other sources - add additional macros - axbook.tgz - fix sinCosExpandRules - dvipdfm.def - added - tanglec.c - new C function to handle chunks - tangle.lisp - add fastxhtml extraction from bookvol11 - extract (rename from document) - support new chunk syntax - ps/ - move .ps to .eps - add new images - -books/Makefile - handle bookheader.tex - fix broken sed regular expression - add bookvol13 (Proving Axiom Correct) - -books/bookheader.tex - user underline, colored links - standardize headers, table of contents - -books/bookvol0 (Jenks) - add condata for MAGCDOC - add graphics, fix typos, add text - -books/bookvol1 (tutorial) - use bookheader.tex - fix typos - -books/bookvol2 (users guide) - use bookheader.tex - add category theory chapter - remove noweb - -books/bookvol3 (programmers guide) - use bookheader.tex - remove noweb - -books/bookvol4 (developers guide) - use bookheader.tex - section on changing GCL versions - document makeHelpFiles - remove autoload files - remove noweb - add HACKPI section - -books/bookvol5 (interpreter) - use bookheader.tex - fix GETL for GCL - add Attributes as Categories - add Comparable - add LeftOreRing - add U32Matrix support macros - add bc-matrix code - add support code for U8Vector - add support code for U32Vector - add support code for U8Matrix - add support code for U16Matrix - add U32VectorPolyunomialOperations - expose FiniteFieldFactorization - expose MAGCDOC - expose MatrixManipulation - rename functionp to canFuncall? - incremental rewrite of br-con.lisp - merge ht-util.lisp - -books/bookvol6 (commands) - use bookheader.tex - -books/bookvol7 (hyperdoc) - apply Camm's patches - remove bibliography - standardize the table of contents - update credits - use bookheader.tex - -books/bookvol7.1 (hyperdoc pages) - standardize the table of contents - update What's New Page - update credits - use bookheader.tex - -books/bookvol8 (graphics) - apply Camm's patches - convert bookvol8 from noweb to chunks - remove crc test cases - standardize the table of contents - update credits - use bookheader.tex - remove noweb - -books/bookvol8.1 (graphics gallery) - add CRC standard test cases, section 2.3-2.9 - -books/bookvol9 (compiler) - use bookheader.tex - functionp -> canFuncall? - -books/bookvol10 (algebra implementation) - absorb src/algebra/Makefile - use bookheader.tex - -books/bookvol10.1 (algebra theory) - add interval arithmetic - add section on interpolation formulas - use bookheader.tex - -books/bookvol10.2 (categories) - AGG bug fixed 40355 - CLAGG bug fixed 40021 - MONAD bug fix 40350, add 7236 - ORDSET bug fix 40346 - PTRANFN bug fixed 40357 - REAL bug fix 40345 - add Attributes as Categories - add Comparable - add LeftOreRing - add MAGCDOC - add enumerate to FINITE - add matrix initializer function - fix failing test cases - fix help documentation and regression tests - use bookheader.tex - write help documentation for all categories - FiniteSetAggregate subset? fixed - BinaryTreeCategory remove finiteAggregate, bug fix 7255 - -books/bookvol10.3 (domains) - AFFSP bug fix 30230, 20495; introduce 60076 - BLAS1 bug fixed 40304 - CHAR bug fix 40022 - DFLOAT bug fix 20073, add 20570 - DFLOAT bug fixed 40019 - FPS bug fixed 40013 - INBFF bug fixed 20465, add 20571 - INTRVL bug fix 20480, 30143 - ITAYLOR bug fix 20542 pretend - LIST bug fix 20063, add, add 20569 - MLIFT bug fix 20001, add 20568 - OPTPROB bug fix 40347 - RNUMP removed bug fix 30047 - SINT bug fix 20057 pretend - SMTS bug fix 20383, 50005, add 20567 - SYMBOL bug fix 20056 pretend - add U16Matrix - add U16Vector - add U32Matrix - add U8Matrix - add U8Vector - add information to SingleInteger - SEXOF bug fix 20501 - fix failing test cases - fix help documentation and regression tests - move EFULS EFUPXS from package to domain - update U32Vector domain - use bookheader.tex - write help documentation for all domains - -books/bookvol10.4 (packages) - ATTREG bug fix 40362 - ELTAB bug fix 40360 - FSPECF bug fix 7235, 40077 - GRAY bug fixed 20467 - MAPPKG1 bug fix 40351 - MSYSCMD bug fix 40359 - SOLVERAD bug fix 40043 - SREGSET bug fix 50001 - add FiniteFieldFactorization - add MatrixManipulation, add Raoul Bourquin - add U32VectorPolynomialOperations - apply Waldek's changes to imposelc in PGCD - comment out bad code in GUESS - document htrigs function in TRMANIP - expand hyperbolic identities - bug fix "bad reduction" in multivariate poly gcd - bug fix ++X function example in gcd - bug fix OUT.spad warning (bug 329) - bug fix failing test cases - bug fix help documentation and regression tests - move EFULS EFUPXS from package to domain - use bookheader.tex - write help documentation - add reportInstantiations to API package - -books/bookvol10.5 (numerics) - add netlib cephes function covers - use bookheader.tex - -books/bookvol11 (browser) - use bookheader.tex - remove noweb - -books/bookvol12 (crystal) - remove noweb - -books/bookvol13 (proving axiom correct) - created - -books/bookvolbib (bibliography) - add references and abstracts - add subsection Ore Rings - add subsection Partial Fraction Decomposition - add subsection Integration - add subsection Expression Simplification - add subsection Differential Equations - add subsection Advanced Documentation - add subsection Numerics - add subsection Interval Arithmetic - add subsection Proving Axiom Correct - add subsection Category Theory - add subsection Polynomial GCD - add subsection Exponenetial Integral - add subsection Special Functions - add subsection Numerical Algorithms - add subsection Solving Systems of Equations - -buglist - MLIFT fix 20001, add 20568 - AGG fixed 40355 - ATTREG fix 40362 - BLAS1 fixed 40304 - CHAR fix 40022 - CLAGG fixed 40021 - DFLOAT fix 20073, add 20570 - DFLOAT fixed 40019 - ELTAB fix 40360 - FPS fixed 40013 - FSPECF fix 7235, 40077 - GRAY fixed 20467 - INBFF fixed 20465, add 20571 - INTRVL fix 20480, 30143 - ITAYLOR fix 20542 pretend - LIST fix 20063, add, add 20569 - MAPPKG1 fix 40351 - MONAD fix 40350, add 7236 - MSYSCMD fix 40359 - OPTPROB fix 40347 - ORDSET fix 40346 - PTRANFN fixed 40357 - REAL fix 40345 - SINT fix 20057 pretend - SMTS fix 20383, 50005, add 20567 - SOLVERAD fix 40043 - SREGSET fix 50001 - SYMBOL fix 20056 pretend - fix bug 7072/19 D(0^z, z) closed - fix bug 7248: differentiation fix bug in D(1,z) - fix bug 7249: radicalSolve(z^7=1, z) - fix bug 7249: radicalSolve(z^7=1, z) update - fix bug 7251: integrate(1/(1+z^4), z=0..1) :: Complex Float - fix bug 7252: argument(-%i) - fix bug 7253: There are no library operations named 'when' - fix bug 7254: f==n+->sum(sum(1/i,i=1..j),j=1..n) complains - fix bug 7256: acot(-1) values differ - fix bug 7257: normalize(subst(asin(z),z=-1)) division by zero - fix bug 7258: acosh(0.0) invalid argument to acosh - fix bug 20501, SEXOF pretend, 30047 RNUMP - fix bug 30230, 20495; introduce 60076 - fix bug 7236 - fix bug 329, add todo 330 - remove dead items - remove error message for deleted files - add 7142 exp^log(x) Cannot take first of an empty list update - add 7233: fill! operation from U8Vector does not show up - add 7242/7243 - add 7244, 7245 - add bug 7241, fix the integration routines - add bugs found in tests - add kamke4, kamke6 missing bug - add todo 335: add packages to )d op gcd - add 7232 - wish 1011: sum(1/(k+a), k=1..n) by Gosper's method - -Wikipedia - en.wikipedia.org/wiki/Axiom_(computer_algebra_system) update date - en.wikipedia.org/wiki/List_of_computer_algebra_systems update date - -faq - remove noweb - fix mailing list links - -readme - add Edi Meier - add Edi Meier - add Jia Zhao Cong - add Raoul Bourquin - update credits - -src/Makefile - clean up src/algebra properly - convert bookvol8 from noweb to chunks - fix {OUT} bug - handle special case files for bookvol11 - rename tangle.c to tanglec.c - pamphlet extract src using chunk syntax - pamphlet modified, noweb removed - -src/algebra/Makefile - add Comparable - add FINITE- - add LeftOreRing - add MatrixManipulation - add U16Matrix - add U32Matrix - add U32VectorPolynomialOperations - add U8Matrix - add fastxhtml extraction call - add machinearithmetic.input - compile FiniteFieldFactorization - compile MAGCDOC - fix failing test cases - set up regression tests - update graph info for OUT - modified, noweb removed - -src/algebra/libdb.text - add Attributes as Categories - -src/axiom-website/ - AxiomConference.pdf added - axiom.sty - CATS/ - charlwood.input added - rich* added - kamke*.txt added - books/ - add 8.1, 10.5, bibliography - add bookvol13 - community/ - fix mailing list links - documentation.html - add AxiomConference.pdf - add Bottorff quote - add Knuth quote, cleanup - add Lamport quote - add McNamara quote - add Stroustrop quote - add W.T. Gowers quote - download.html - add binaries - add texlive-fonts-extra - patches.html - add patches - releasenotes.html - update for August 2014 - -src/booklets - Makefile cleanup - -src/clef - Makefile rename tangle to tanglec - edible.c modified, noweb removed - -src/doc - export endpaper as pdf - remove axiom.bib - rename tangle to tanglec - use books/axiom.sty - remove noweb - booklet.c fix mailing list, remove noweb - msgs/ - s2-us.msgs remove .as extension from compiler msg - -src/etc - Makefile remove noweb - asq.c remove noweb - -src/input/ - Makefile add input tests for - charlwood, cherry, functioncode, machinarithmetic, - pgcd, polygamma, rich*, romanpolynomials, rsa, segletes - exptest, subset, tree, trigtests - Makefile remove noweb - add many tests - -src/interp - Makefile - remove noweb - remove autoload of ht-util - remove bc-matrix - bc-matrix.lisp removed - br-con.lisp move to bookvol5 - debugsys cleanup - g-timer.lisp RNUMP removed - g-util.lisp functionp -> canFuncall? - g-util.lisp remove functions - ht-util.lisp deleted, merged with bookvol5 - i-coerce.lisp functionp -> canFuncall? - i-funsel.lisp remove functions - i-spec2.lisp. functionp -> canFuncall? - interp-proclaims.lisp functionp -> canFuncall? - regress.lisp improve diff output - sys-pkg.lisp RNUMP removed - temp.text deleted - util.lisp functionp -> canFuncall? - util.lisp remove autoload of ht-util - util.lisp remove autoload trigger functions - util.lisp remove bc-matrix autoload triggers - util.lisp remove compression - vmlisp.lisp RNUMP removed - -src/scripts - Makefile remove noweb - boxhead removed - boxtail removed - boxup removed - document -> books/extract - showdvi removed - tex/ - axiom.sty removed - -src/share - Makefile remove noweb - algebra/compress removed - algebra/browse, category, dependents, interp, operations, users - add Attributes as Categories - add LeftOreRing - enumerate to FINITE - no compression - updated - doc/ - hypertex/pages/util.ht deleted, unused - -src/sman - Makefile cleanup - -zips/ - axiom.vim.tgz vim syntax file added - gcl-cgywin.tgz added - noweb-2.10a.tgz deleted, noweb removed - noweb.* deleted, noweb removed - all unused patches and versions of gcl deleted - +books/axiom.sty don't use mathbb because texlive has changed +The mathbb font requires a HUGE font package from texlive. Use \bf instead. diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index 7b36e1b..1570ac6 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -4576,6 +4576,8 @@ August 2014 release


In process, not yet released

+20140729.01.tpd.patch +books/axiom.sty don't use mathbb because texlive has changed