diff --git a/book/2006-01.txt b/book/2006-01.txt index bd519e8..0342783 100644 --- a/book/2006-01.txt +++ b/book/2006-01.txt @@ -12291,7 +12291,7 @@ From: Martin Rubey To: Fabio Stumbo, Subject: Documentation and HyperDoc Future -"Fabio S." Fabio Stumbo writes: +Fabio Stumbo writes: > >>> I think you should try Axiom's hyperdoc browser. (Unfortunately > >>> it is only currently available in the linux version of Axiom.) diff --git a/book/2006-09.txt b/book/2006-09.txt index 4036377..4ccf3ab 100644 --- a/book/2006-09.txt +++ b/book/2006-09.txt @@ -30410,7 +30410,7 @@ Bill Page. \start Date: Fri, 15 Sep 2006 19:18:55 -0400 From: Tim Daly -To: dawson@fnal.gov +To: Troy Dawson Sep 2006 15:28:50 -0500) Cc: list Subject: Re: Interest in Scientific Linux diff --git a/book/2007-12.txt b/book/2007-12.txt index 7669d0f..92b3a49 100644 --- a/book/2007-12.txt +++ b/book/2007-12.txt @@ -3900,7 +3900,7 @@ Tim, Many thanks for your thoughts about the proposal! -On Dec 14, 2007 6:46 PM, TimDaly Tim Daly wrote: +On Dec 14, 2007 6:46 PM, Tim Daly wrote: > > in the first paragraph s/chunck/chunk/ > page 3 s/fucntions/functions/ diff --git a/book/2008-01.txt b/book/2008-01.txt index 5cc95be..a9cf90f 100644 --- a/book/2008-01.txt +++ b/book/2008-01.txt @@ -1,8 +1,7 @@ \start -From: Tim Daly Date: Thu, 3 Jan 2008 09:41:08 -0600 +From: Tim Daly To: list -Cc: Subject: 20080102.01.tpd.patch This patch fixes a typo in the src/hyper/Makefile. @@ -34,13 +33,10 @@ index 95d03f3..646757a 100644 @ echo 155 finished ${IN} - - \start -From: Tim Daly Date: Fri, 4 Jan 2008 21:51:11 -0600 +From: Tim Daly To: list -Cc: Subject: 20080103.01.tpd.patch (7090/355) Handle besselK differently. Apply Waldek's patches. Fix 7090/355. @@ -649,14 +645,11 @@ index 8ed563d..571ccd0 100644 wholePart x == FIX(x)$Lisp float(ma,ex,b) == ma*(b::%)**ex - - \start +Date: 05 Jan 2008 07:55:47 +0100 +From: Martin Rubey To: Tim Daly Subject: Re: 20080103.01.tpd.patch (7090/355) -From: Martin Rubey -Date: 05 Jan 2008 07:55:47 +0100 -Cc: list Tim Daly writes: @@ -668,16 +661,10 @@ Tim Daly writes: These patches are mine, not waldek's. -Martin - - - - \start -From: Tim Daly Date: Sat, 5 Jan 2008 12:52:59 -0600 +From: Tim Daly To: list -Cc: Subject: 20080104.02.tpd.patch The patch fixes the besselk patch. I wrongly attributed the patch @@ -709,13 +696,10 @@ index f6db6a4..7c5d8fe 100644 20071230 tpd src/hyper/Makefile prevent spurious remake of axbook (7052) 20071230 tpd src/input/summation.input update tests with new mathml output - - \start -From: Tim Daly Date: Fri, 4 Jan 2008 22:33:09 -0600 +From: Tim Daly To: list -Cc: Subject: 20080104.01.tpd.patch (7093) Martin fixed a number of misnamed functions in the input files. @@ -7550,13 +7534,10 @@ index 352a022..099c75d 100644 )spool )lisp (bye) - - \start -From: Tim Daly Date: Sun, 6 Jan 2008 23:50:59 -0600 +From: Tim Daly To: list -Cc: Subject: 20080107.01.tpd.patch (7089/343) This patch by Martin Rubey fixes the ordering of symbols in a @@ -7739,14 +7720,11 @@ index 0000000..a65daf6 +\end{thebibliography} +\end{document} - - \start +Date: 07 Jan 2008 06:57:37 +0100 +From: Martin Rubey To: Tim Daly Subject: Re: 20080107.01.tpd.patch (7089/343) -From: Martin Rubey -Date: 07 Jan 2008 06:57:37 +0100 -Cc: list Tim Daly writes: @@ -7759,17 +7737,10 @@ the transition), so maybe you should attribute it to "the axiom/fricas/open-axiom team" - -Martin - - - - \start -From: Tim Daly Date: Mon, 7 Jan 2008 00:30:55 -0600 +From: Tim Daly To: list -Cc: Subject: 20080107.03.tpd.patch Add a regression test file for the besselk change -- Tim @@ -7882,33 +7853,20 @@ index 0000000..0cd01ea +\end{document} + - - \start Date: Mon, 7 Jan 2008 08:13:28 +0100 (CET) From: Franz Lehner To: Martin Rubey Subject: Re: 20080107.01.tpd.patch (7089/343) - <9qmyri89f2.fsf@aquin.mat.univie.ac.at> -Cc: list - > Sorry for nitpicking again: are you sure this patch is mine? I think this was me (anonymously) before I subscribed to this list. -Franz - - - \start Date: Tue, 08 Jan 2008 17:51:50 -0800 From: Arthur Ralfs -Subject: Re: mathml sums and products patch To: Martin Rubey -Message-id: <478428B6.6040405@shaw.ca> -MIME-version: 1.0 - recognized. -Cc: list, +Subject: Re: mathml sums and products patch Martin Rubey wrote: > Thus, it seems to me that @@ -7933,15 +7891,10 @@ I'm thinking about a response to the questions you posed, but in the meantime what is an example of a command that produces SIGMA rather than SIGMA2? -Arthur - - - \start -From: Tim Daly Date: Sun, 6 Jan 2008 17:55:28 -0600 +From: Tim Daly To: list -Cc: Subject: 20080106.01.tpd.patch This started with a change in integer.spad.pamphlet from @@ -10145,13 +10098,10 @@ index fdd8e27..3581b97 100755 % spadcommands are the actual text that you type at the axiom prompt \providecommand{\spadcommand}[1]% - - \start -From: Tim Daly Date: Sun, 6 Jan 2008 23:53:17 -0600 +From: Tim Daly To: list -Cc: Subject: 20080107.02.tpd.patch This patch adds two files missing from prior updates. -- Tim @@ -12300,18 +12250,11 @@ index 0000000..0e2f33b +\end{thebibliography} +\end{document} - - \start Date: Sat, 12 Jan 2008 07:29:54 -0800 From: Arthur Ralfs -Subject: Re: mathml sums and products patch To: Martin Rubey -Message-id: <4788DCF2.4090507@shaw.ca> -MIME-version: 1.0 - recognized. -Cc: list, open-axiom-devel@lists.sourceforge.net, - +Subject: Re: mathml sums and products patch Martin Rubey wrote: > 3) it seems to me that the domains FORMULA, TEX and MATHML share a *lot* of @@ -12434,18 +12377,11 @@ spending time on? Is this type of output anachronistic? What about fixing up OutputForm and using that as the default text output? -Arthur - - - \start -To: -Subject: Re: [fricas-devel] Re: mathml sums and products - patch - <4788DCF2.4090507@shaw.ca> -From: Martin Rubey Date: 12 Jan 2008 19:06:09 +0100 -Cc: open-axiom-devel@lists.sourceforge.net, list +From: Martin Rubey +To: list +Subject: Re: Re: mathml sums and products patch Arthur Ralfs writes: @@ -12479,47 +12415,11 @@ What we need is a domain ASCII, that converts OutputForm to ASCII art. I don't think that this can be too difficult: you could start with the mathml domain and gradually replace mathml markup by ascii art. -Martin - - - - -\start -Date: Sat, 12 Jan 2008 14:00:38 -0800 (PST) -From: Jocelyn Guidry -To: list - 10.2-10.4) (2) -Subject: hi - ---0-860336614-1200175238=:45572 - -Hi, -Just checking if this is the right email address for you. Will try to send you a pic later. hope the day went as well as can be expected considering...love you and miss you so very much. -J. - - - ____________________________________________________________________________________ -Looking for last minute shopping deals? -Find them fast with Yahoo! Search. http://tools.search.yahoo.com/newsearch/category.php?category=shopping ---0-860336614-1200175238=:45572 - -
Hi,
-
Just checking if this is the right email address for you.  Will try to send you a pic later.  hope the day went as well as can be expected considering...love you and miss you so very much.
-
J.

-
Looking for last minute shopping deals? -Find them fast with Yahoo! Search. ---0-860336614-1200175238=:45572-- - - - \start -From: William Sit -Subject: Re: [fricas-devel] Re: mathml sums and - products patch -To: Martin Rubey, - Date: Sat, 12 Jan 2008 18:05:43 -0500 -Cc: open-axiom-devel@lists.sourceforge.net, list +From: William Sit +To: Martin Rubey +Subject: Re: Re: mathml sums and products patch On 12 Jan 2008 19:06:09 +0100 Martin Rubey wrote: @@ -12537,16 +12437,10 @@ time allows all types of fonts for future expansion, like math symbols and CJK (that's Chinese, Japanese and Korean). -William - - - \start -From: Tim Daly Date: Wed, 16 Jan 2008 09:40:35 -0600 +From: Tim Daly To: list - Wed, 16 Jan 2008 11:46:06 EST -Cc: Subject: 20080116.01.tpd.patch These files compare Axiom output to Abramowitz and Stegun, @@ -19475,13 +19369,10 @@ index 0000000..c076ef9 +\end{thebibliography} +\end{document} - - \start -From: Tim Daly Date: Thu, 17 Jan 2008 10:06:03 -0600 +From: Tim Daly To: list -Cc: Subject: Axiom and the Numerical Mathematics Consortium I have been concentrating on Axiom's numerical capabilities. @@ -19501,15 +19392,10 @@ the exponential integral. Does anyone know how these coefficients were derived? Is it a chebyshev polynomial? I want to dynamically compute these coefficients to the required precision. -Tim - - - \start -From: Tim Daly Date: Thu, 17 Jan 2008 10:17:53 -0600 -To: "Sage" -Cc: list +From: Tim Daly +To: list Subject: Approximating Ei using polynomials The A&S handbook lists polynomial coefficients for approximation of E1, @@ -19517,16 +19403,11 @@ the exponential integral. Does anyone know how these coefficients were derived? Is it a chebyshev polynomial? I want to dynamically compute these coefficients to the required precision. -Tim - - - \start Date: Thu, 17 Jan 2008 11:40:14 -0500 From: Doug Stewart To: Tim Daly Subject: Re: Axiom and the Numerical Mathematics Consortium -Cc: list Tim Daly wrote: > I have been concentrating on Axiom's numerical capabilities. @@ -19545,17 +19426,6 @@ Tim Daly wrote: > the exponential integral. Does anyone know how these coefficients were > derived? Is it a chebyshev polynomial? I want to dynamically compute > these coefficients to the required precision. -> -> Tim -> -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> -> - The exponential integral can be written as a special case of the incomplete gamma function @@ -19572,14 +19442,12 @@ this is from http://en.wikipedia.org/wiki/Exponential_integral - - \start -From: Tim Daly Date: Thu, 17 Jan 2008 11:30:43 -0600 -To: list, "Sage" -Cc: Gilbert Baumslag Gilbert Baumslag +From: Tim Daly +To: list Subject: Two Computational Mathematics Job Openings +Cc: Gilbert Baumslag City College of New York (my prior place of employment) and the Center for Algorithms and Interactive Scientific Software (CAISS) has @@ -19600,32 +19468,17 @@ known worldwide so there are many interesting connections. Visit -Tim Daly - - - \start Date: Thu, 17 Jan 2008 19:32:11 -0800 From: Ed Borasky To: Tim Daly -Subject: Re: Approximating Ei using polynomials - recognized. -Cc: list, Sage +Subject: Re: Approximating Ei using polynomials recognized. Tim Daly wrote: > The A&S handbook lists polynomial coefficients for approximation of E1, > the exponential integral. Does anyone know how these coefficients were > derived? Is it a chebyshev polynomial? I want to dynamically compute > these coefficients to the required precision. -> -> Tim -> -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> Aren't there references in A&S? I don't have my copy handy, but IIRC everything in there was painstakingly documented. In the good old days @@ -19635,18 +19488,11 @@ deal. Extra points were awarded for methods that got decent results using the crappy floating point arithmetic most machines had prior to IEEE 754. :) - - - - \start Date: Thu, 17 Jan 2008 19:35:17 -0800 From: Ed Borasky To: Doug Stewart Subject: Re: Axiom and the Numerical Mathematics Consortium - <478F84EE.7070608@sympatico.ca> - recognized. -Cc: list Doug Stewart wrote: > Tim Daly wrote: @@ -19705,16 +19551,10 @@ P.S.: Another classic from those days was _Approximations for Digital Computers_ by Cecil Hastings. That's on my list of collectibles to pick up. :) - - \start -To: Waldek Hebisch, - fricas-devel < >, - open-axiom-devel , - axiom-devel -From: Martin Rubey Date: 19 Jan 2008 10:37:54 +0100 -Cc: +From: Martin Rubey +To: Waldek Hebisch Subject: Nice Fixes! Another go on IssueTracker see subject, @@ -19737,17 +19577,10 @@ I'd really like to reduce the number of open bugs, because * it gives users the (correct) impression that axiom is being worked on. - -Martin - - - - \start -From: Tim Daly Date: Sat, 19 Jan 2008 08:27:36 -0600 +From: Tim Daly To: list -Cc: Subject: 20080119.01.tpd.patch This patch adds the function to compute approximations to the @@ -21712,13 +21545,10 @@ index 0000000..0c24a64 +\end{thebibliography} +\end{document} - - \start -From: Tim Daly Date: Sat, 19 Jan 2008 09:14:10 -0600 +From: Tim Daly To: Martin Rubey -Cc: list Subject: Nice Fixes! Another go on IssueTracker If you'd like to see bug fixes applied to Axiom please submit a @@ -21757,16 +21587,10 @@ one-line changes in the changelog by the number of days since the first entry gives approximately 2.8 changes per day over the last 4 years or so. Hardly signs of a dead project. -Tim - - - - \start -To: Tim Daly -From: Martin Rubey Date: 19 Jan 2008 17:11:36 +0100 -Cc: list +From: Martin Rubey +To: Tim Daly Subject: Re: Nice Fixes! Another go on IssueTracker Tim Daly writes: @@ -21781,16 +21605,10 @@ Not as long as you insist on your axiom being the only axiom. I think you are quite mistaken here. -Martin - - - - \start -From: Tim Daly Date: Sat, 19 Jan 2008 17:41:04 -0600 +From: Tim Daly To: list -Cc: Subject: 20080119.02.tpd.patch The FreeAbelianGroup bug fix was actually submitted by Franz Lehner. @@ -21819,13 +21637,10 @@ index f018a38..e2767b4 100644 20080106 tpd src/algebra/op.spad revert dgamma change, reject patch 20080106 tpd src/scripts/tex/axiom.sty add binom for combfunc - - \start -From: Tim Daly Date: Sat, 19 Jan 2008 20:48:29 -0600 +From: Tim Daly To: list -Cc: Subject: 20080119.03.tpd.patch E1(0.0) is infinity. This fixes the special case to give correct results. @@ -21995,14 +21810,10 @@ index 0c24a64..329cb01 100644 )spool )lisp (bye) - - - \start -From: Tim Daly Date: Sun, 20 Jan 2008 00:18:21 -0600 +From: Tim Daly To: list -Cc: Subject: 20080120.01.gxv.patch (7100/149) Hyperdoc does not allow changes in input fields when the num-lock key is on. @@ -22110,13 +21921,10 @@ index 3f2a59b..b1252da 100644 /* * First set all the values for when the active cursor is in the window - - \start -From: Tim Daly Date: Sun, 20 Jan 2008 00:44:34 -0600 +From: Tim Daly To: list -Cc: Subject: 20080120.02.tpd.patch (7101/204) This fixes an unnecessary load of the MoreSystemCommands domain during testing. @@ -22154,13 +21962,10 @@ index fecb71d..533002e 100644 fi @ rm tmp.input - - \start -From: Tim Daly Date: Sun, 20 Jan 2008 11:04:22 -0600 +From: Tim Daly To: list -Cc: Subject: 20080120.03.tpd.patch (7102/412) This patch by Martin fixes equality testing in TableAggregate. @@ -22329,14 +22134,11 @@ index 0000000..c33dd1f +\end{thebibliography} +\end{document} - - \start Date: Mon, 21 Jan 2008 11:28:59 +0100 From: Ralf Hemmecke To: Tim Daly Subject: Re: Nice Fixes! Another go on IssueTracker -Cc: list Hi Tim, @@ -22410,18 +22212,12 @@ Tim Daly wrote: > first entry gives approximately 2.8 changes per day over the last 4 > years or so. Hardly signs of a dead project. - - \start Date: Thu, 17 Jan 2008 09:32:54 +0000 -From: "Peter Broadbery" -To: list, aldor-l@aldor.org - boundary="----=_Part_27295_25128528.1200562374872" -Cc: +From: Peter Broadbery +To: list Subject: aldor/axiom interoperability -------=_Part_27295_25128528.1200562374872 - Finally got round to looking at this. The code attached can be used to build the axiom/aldor interopability library (libaxiom.al). @@ -22972,10 +22768,7 @@ d5+7z93n7nP3ufvcfe4+d5/v+fP/AcmhDRgAgAIA Date: Mon, 21 Jan 2008 13:33:06 -0500 From: Tim Daly To: Ralf Hemmecke - Mon, 21 Jan 2008 11:28:59 +0100) Subject: Re: Nice Fixes! Another go on IssueTracker - <479473EB.6080004@hemmecke.de> -Cc: list >I know that documentation is one of the most important things for the >Axiom project, but your approach to fixing bugs is just strange. @@ -23129,22 +22922,11 @@ The people who worked on Axiom are dying off. One of the original group members died Friday and I'm going to the funeral tomorrow. We need to make the code live longer than the developers. -Tim - - - - - - - \start +Date: 21 Jan 2008 18:47:23 +0100 To: Tim Daly -Subject: Re: Nice Fixes! Another go on IssueTracker - <479473EB.6080004@hemmecke.de> - <200801211833.m0LIX6f07852@localhost.localdomain> From: Martin Rubey -Date: 21 Jan 2008 18:47:23 +0100 -Cc: list +Subject: Re: Nice Fixes! Another go on IssueTracker Tim Daly writes: @@ -23171,21 +22953,11 @@ http://axiom-wiki.newsynthesis.org/370ImproperCodeEmmitedByMkUnionFunListImpacts Many thanks for clarification, -Martin - - - - \start Date: Mon, 21 Jan 2008 14:54:33 -0500 From: Tim Daly To: Martin Rubey - Rubey on 21 Jan 2008 18:47:23 +0100) Subject: Re: Nice Fixes! Another go on IssueTracker - <479473EB.6080004@hemmecke.de> - <200801211833.m0LIX6f07852@localhost.localdomain> - <9q8x2jhxzo.fsf@aquin.mat.univie.ac.at> -Cc: list >> Take, for instance, bug 370. There the original bug fix was to change the >> algebra code from (something like) @@ -23216,19 +22988,11 @@ I didn't think the original patch made sense and I started debugging the generated code, leading to the compiler. Stephen Wilson found and fixed the compiler bug. -Tim - - - \start Date: Mon, 21 Jan 2008 15:30:19 -0500 From: Tim Daly -To: Tim Daly - root on Mon, 21 Jan 2008 13:33:06 -0500) +To: list Subject: Re: Nice Fixes! Another go on IssueTracker - <479473EB.6080004@hemmecke.de> - <200801211833.m0LIX6f07852@localhost.localdomain> -Cc: list >>Suppose you have software A which has very few documentation and it has >>a bug B. @@ -23269,18 +23033,11 @@ What is the proper fix? It depends on what you want to optimize. Axiom is optimizing for the long term. Why? Because I want this code to live. -Tim - - - \start Date: Wed, 23 Jan 2008 19:43:53 +0100 From: Ondrej Certik To: list Subject: Re: Nice Fixes! Another go on IssueTracker - <479473EB.6080004@hemmecke.de> - <200801211833.m0LIX6f07852@localhost.localdomain> - <200801212030.m0LKUJK07955@localhost.localdomain> On Jan 21, 2008 9:30 PM, Tim Daly wrote: > >>Suppose you have software A which has very few documentation and it has @@ -23340,17 +23097,10 @@ wrong too, because it's imho essential that people join the development. I think the best strategy is to optimize for the needs and opinions of potential developers in 2008, not 2038. -Ondrej - - - \start -To: Bill Page, fricas-devel < >, - open-axiom-devel , - axiom-devel -From: Martin Rubey Date: 25 Jan 2008 08:42:52 +0100 -Cc: +From: Martin Rubey +To: Bill Page Subject: "fixed proposed" Dear bug masters :-), @@ -23385,17 +23135,11 @@ mathaction@newsynthesis.org (gdr) writes: > -- > forwarded from http://axiom-wiki.newsynthesis.org/311RepeatedOutputOfTheShowSystemCommandForCategoriesThatDoNotExportOperations#msg20080124221858-0800@axiom-wiki.newsynthesis.org - - - \start Date: Fri, 25 Jan 2008 01:49:29 -0600 (CST) From: Gabriel Dos Reis To: fricas-devel < > - <9qr6g6qrk3.fsf@aquin.mat.univie.ac.at> -Cc: open-axiom-devel , - axiom-devel -Subject: Re: [fricas-devel] "fixed proposed" +Subject: Re: "fixed proposed" On Fri, 25 Jan 2008, Martin Rubey wrote: @@ -23429,16 +23173,11 @@ proposed'. But, you're already actively doing it. --- Gaby - - - \start -To: -From: Martin Rubey Date: 25 Jan 2008 08:54:23 +0100 -Cc: axiom-devel , open-axiom-devel@lists.sf.net -Subject: Re: [fricas-devel] use of `fix proposed' +From: Martin Rubey +To: list +Subject: Re: use of `fix proposed' Gabriel Dos Reis writes: @@ -23457,29 +23196,19 @@ algebra, I guess) How about splitting status fix proposed into 1) fix proposed (i.e, patch attached) -2) fixed in one of OpenAxiom, FriCAS, Axiom (a shorter name would be needed here) +2) fixed in one of OpenAxiom, FriCAS, Axiom + (a shorter name would be needed here) ? In any case, the current situation is very unsatisfactory, as I wrote also in the other email. -Martin - - - - \start -To: Gabriel Dos Reis - <9qr6g6qrk3.fsf@aquin.mat.univie.ac.at> - -From: Martin Rubey Date: 25 Jan 2008 08:57:35 +0100 -Cc: fricas-devel < >, - open-axiom-devel , - axiom-devel -Subject: Re: [open-axiom-devel] [fricas-devel] "fixed - proposed" +From: Martin Rubey +To: Gabriel Dos Reis +Subject: Re: "fixed proposed" Gabriel Dos Reis writes: @@ -23496,18 +23225,11 @@ let's continue discussion on the other thread, however. Thanks for looking into this, -Martin - - - - \start Date: Fri, 25 Jan 2008 01:58:41 -0600 (CST) From: Gabriel Dos Reis -To: - <9qwspypcgg.fsf@aquin.mat.univie.ac.at> -Cc: axiom-devel , open-axiom-devel@lists.sf.net -Subject: Re: [fricas-devel] Re: use of `fix proposed' +To: list +Subject: Re: use of `fix proposed' On Fri, 25 Jan 2008, Martin Rubey wrote: @@ -23542,20 +23264,11 @@ somewhere, without chaning to `fix proposed'. That sounds good. --- Gaby - - - \start -To: Gabriel Dos Reis - <9qwspypcgg.fsf@aquin.mat.univie.ac.at> - -From: Martin Rubey Date: 25 Jan 2008 09:28:45 +0100 -Cc: , open-axiom-devel@lists.sf.net, - axiom-devel -Subject: Re: [open-axiom-devel] [fricas-devel] Re: use of - `fix proposed' +From: Martin Rubey +To: Gabriel Dos Reis +Subject: Re: use of `fix proposed' Gabriel Dos Reis writes: @@ -23611,18 +23324,10 @@ I vote (from the top of my head) for B, but I'm not sure. In A, I would have to move an element from (2) to (1) when I include a patch. B seems to be a little less work for those who fix an issue in "their" system. - - -Martin - - - - \start -From: Tim Daly Date: Fri, 25 Jan 2008 09:48:57 -0600 +From: Tim Daly To: list -Cc: Subject: 20080125.01.tpd.patch This patch adds the Exponential Integral for higher orders $E_n$. @@ -27549,19 +27254,11 @@ index 0000000..1ae9749 +\end{document} + - - \start Date: Fri, 25 Jan 2008 14:46:51 -0500 From: Tim Daly To: Ondrej Certik - (Ondrej Certik) Subject: Re: Nice Fixes! Another go on IssueTracker - <479473EB.6080004@hemmecke.de> - <200801211833.m0LIX6f07852@localhost.localdomain> - <200801212030.m0LKUJK07955@localhost.localdomain> - <85b5c3130801231043r1530f3fej486bf3906c33f3f2@mail.gmail.com> -Cc: list Ondrej, @@ -27585,22 +27282,11 @@ files" structure. This has been debated endlessly on the mailing list so it cannot come as a surprise. - -Tim - - - \start Date: Fri, 25 Jan 2008 14:49:02 -0500 From: Tim Daly To: Ondrej Certik - (Ondrej Certik) Subject: Re: Nice Fixes! Another go on IssueTracker - <479473EB.6080004@hemmecke.de> - <200801211833.m0LIX6f07852@localhost.localdomain> - <200801212030.m0LKUJK07955@localhost.localdomain> - <85b5c3130801231043r1530f3fej486bf3906c33f3f2@mail.gmail.com> -Cc: list Ondrej, @@ -27630,28 +27316,11 @@ roughly one every 4 days. Some, but not all, of these bugs are the same as the "published" ones. If you check the posted diff-Naur patches on the mailing list you can see the fixes. - -Tim - - - - \start Date: Fri, 25 Jan 2008 14:50:45 -0500 From: Tim Daly To: Ondrej Certik - (Ondrej Certik) Subject: Re: Nice Fixes! Another go on IssueTracker - <479473EB.6080004@hemmecke.de> - <200801211833.m0LIX6f07852@localhost.localdomain> - <200801212030.m0LKUJK07955@localhost.localdomain> - <85b5c3130801231043r1530f3fej486bf3906c33f3f2@mail.gmail.com> -Cc: list - -Ondrej, - - - >So one should then ask - do I want to create a project that most of the >people would agree with the course of development (strategy of fixing @@ -27699,23 +27368,11 @@ supports the algorithms. New research can be based on well-documented sources and easily added to the system. The goal is to have a literate Axiom be the basis for Computational Mathematics teaching and research. -Tim - - - \start Date: Fri, 25 Jan 2008 14:51:41 -0500 From: Tim Daly To: Ondrej Certik - (Ondrej Certik) Subject: Re: Nice Fixes! Another go on IssueTracker - <479473EB.6080004@hemmecke.de> - <200801211833.m0LIX6f07852@localhost.localdomain> - <200801212030.m0LKUJK07955@localhost.localdomain> - <85b5c3130801231043r1530f3fej486bf3906c33f3f2@mail.gmail.com> -Cc: list - -Ondrej, >And with this perspective, I think (again just my opinion) that even >if you want to optimize the project over 30 years, the strategy is @@ -27744,20 +27401,10 @@ the standard way; absolutely the only way to build systems. I look at all of this and search for a better way. I believe literate programming is fundamentally better. - -Tim - - - - - - \start Date: Fri, 25 Jan 2008 14:23:26 -0500 From: Bill Page To: list -Cc: fricas-devel < >, - open-axiom-devel Subject: Sage tutorial on Lulu Following Axiom's example :-), the Sage developers now have a tutorial @@ -27790,22 +27437,11 @@ http://www.lulu.com/content/190827 to make sure that these tutorials are equally accessible. (math is too general). -Regards, -Bill Page. - - - \start -To: - <9qwspypcgg.fsf@aquin.mat.univie.ac.at> - - <9qtzl2nwaq.fsf@aquin.mat.univie.ac.at> -From: Martin Rubey Date: 25 Jan 2008 22:11:55 +0100 -Cc: axiom-devel , open-axiom-devel@lists.sf.net, - Gabriel Dos Reis -Subject: Re: [fricas-devel] Re: [open-axiom-devel] - [fricas-devel] Re: use of `fix proposed' +From: Martin Rubey +To: list +Subject: Re: Re: use of `fix proposed' I have just added a new bug status "fixed somewhere". @@ -27830,16 +27466,10 @@ please complain and I'll try to find a solution. I'd be also very grateful for a better name, replacing "fixed somewhere", it shouldn't be longer though. -Martin - - - - \start -From: Tim Daly Date: Fri, 25 Jan 2008 16:09:00 -0600 +From: Tim Daly To: list -Cc: Subject: 20080125.02.tpd.patch Update the release date information for the January 2008 release @@ -27878,13 +27508,10 @@ index 9cfc6cf..052e649 100644 20080125 tpd src/input/en.input regression test En 20080125 tpd src/algebra/special.spad add special function En - - \start -From: Tim Daly Date: Fri, 25 Jan 2008 16:14:58 -0600 +From: Tim Daly To: list -Cc: Subject: Axiom January 2008 release Summary: January 2008 release @@ -28133,17 +27760,10 @@ Patches released 20080125.01.tpd.patch 20080125.02.tpd.patch - - - - \start -To: axiom-devel , - fricas-devel < >, - open-axiom-devel -From: Martin Rubey Date: 26 Jan 2008 08:11:37 +0100 -Cc: +From: Martin Rubey +To: list Subject: Re: Axiom: fixed and fixed proposed bit vectors Yes, I like this proposal equally well. Comments? @@ -28195,32 +27815,12 @@ William Sit writes: > > > > I'd be also very grateful for a better name, replacing "fixed somewhere", it > >shouldn't be longer though. -> > -> >Martin -> > -> > -> > -> >_______________________________________________ -> >Axiom-developer mailing list -> >list -> >http://lists.nongnu.org/mailman/listinfo/axiom-developer -> -> William Sit, Professor of Mathematics, City College of New York -> Office: R6/202C Tel: 212-650-5179, Fax: 212-862-0004 -> Home Page: http://scisun.sci.ccny.cuny.edu/~wyscc/ - - - \start +Date: 26 Jan 2008 09:47:43 +0100 +From: Martin Rubey To: Martin Rubey Subject: re: Axiom: fixed and fixed proposed bit vectors - <9qzlutm57a.fsf@aquin.mat.univie.ac.at> -From: Martin Rubey -Date: 26 Jan 2008 09:47:43 +0100 -Cc: axiom-devel , - open-axiom-devel , - fricas-devel < > Martin Rubey writes: @@ -28280,40 +27880,12 @@ Martin > > > > > > I'd be also very grateful for a better name, replacing "fixed somewhere", it > > >shouldn't be longer though. -> > > -> > >Martin -> > > -> > > -> > > -> > >_______________________________________________ -> > >Axiom-developer mailing list -> > >list -> > >http://lists.nongnu.org/mailman/listinfo/axiom-developer -> > -> > William Sit, Professor of Mathematics, City College of New York -> > Office: R6/202C Tel: 212-650-5179, Fax: 212-862-0004 -> > Home Page: http://scisun.sci.ccny.cuny.edu/~wyscc/ -> -> -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer - - - \start Date: Sat, 26 Jan 2008 08:54:55 -0500 From: Bill Page To: Martin Rubey Subject: re: Axiom: fixed and fixed proposed bit vectors - <9qzlutm57a.fsf@aquin.mat.univie.ac.at> - <9qzlut9dn4.fsf@aquin.mat.univie.ac.at> -Cc: axiom-devel , - open-axiom-devel , - fricas-devel < > I must say that I do not like the sound of "fixed somewhere" - it sounds too vague - but I understand the intent. Maybe it would be @@ -28391,19 +27963,11 @@ On 26 Jan 2008 09:47:43 +0100, Martin Rubey wrote: > > > >> not. > > > >> ... - - \start +Date: 26 Jan 2008 18:52:32 +0100 +From: Martin Rubey To: Bill Page Subject: re: Axiom: fixed and fixed proposed bit vectors - <9qzlutm57a.fsf@aquin.mat.univie.ac.at> - <9qzlut9dn4.fsf@aquin.mat.univie.ac.at> - -From: Martin Rubey -Date: 26 Jan 2008 18:52:32 +0100 -Cc: axiom-devel , - open-axiom-devel , - fricas-devel < > Bill Page writes: @@ -28427,18 +27991,10 @@ I'll do so on request. I'd like to return to the algebra, now. -Martin - - - - \start -To: fricas-devel < >, - open-axiom-devel , - axiom-devel -From: Martin Rubey Date: 26 Jan 2008 21:47:01 +0100 -Cc: +From: Martin Rubey +To: list Subject: how does the interpreter choose signatures? Dear all, @@ -28633,20 +28189,11 @@ EXPR INT) over (FRAC POLY INT,SEGBIND ORDCOMP FRAC POLY INT). ANY hints? -Martin - - - - \start +Date: Sun, 27 Jan 2008 01:28:52 -0500 From: William Sit +To: Bill Page, Martin Rubey Subject: re: Axiom: fixed and fixed proposed bit vectors -To: Bill Page,"Martin Rubey" - Martin Rubey -Date: Sun, 27 Jan 2008 01:28:52 -0500 -Cc: axiom-devel , - open-axiom-devel , - fricas-devel < > I consider "fixed xxx" and "fixed proposed" as two statuses, not 16 (but that is up to your interpretation @@ -28777,26 +28324,11 @@ On Sat, 26 Jan 2008 08:54:55 -0500 >>or >> > > >> not. >> > > >> ... -> -> ->_______________________________________________ ->Axiom-developer mailing list ->list ->http://lists.nongnu.org/mailman/listinfo/axiom-developer - -William Sit, -Professor of Mathematics, City College of New York - -Office: R6/202C Tel: 212-650-5179, Fax: 212-862-0004 -Home Page: http://scisun.sci.ccny.cuny.edu/~wyscc/ - - \start -From: Tim Daly Date: Sun, 27 Jan 2008 00:48:21 -0600 +From: Tim Daly To: list -Cc: Subject: 20080127.01.tpd.patch (refcard) This patch create a one-page, 2-sided reference card for Axiom. @@ -29377,16 +28909,11 @@ index 0000000..ef6afbe +\end{document} \ No newline at end of file - - \start +Date: 27 Jan 2008 11:14:39 +0100 +From: Martin Rubey To: Martin Rubey Subject: Re: how does the interpreter choose signatures? -From: Martin Rubey -Date: 27 Jan 2008 11:14:39 +0100 -Cc: fricas-devel < >, - open-axiom-devel , - axiom-devel I understand a tiny little bit now. There is a function orderMms in i-funsel.boot that orders the pre-selected signatures by cost, which is @@ -29604,30 +29131,12 @@ Martin Rubey writes: > > > ANY hints? -> -> Martin -> -> -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer - - - \start Date: Sun, 27 Jan 2008 15:14:08 -0500 From: Bill Page To: William Sit Subject: re: Axiom: fixed and fixed proposed bit vectors - -Cc: fricas-devel < >, - open-axiom-devel , - axiom-devel - -William, Unfortunately your proposal below is quite dissonant with how the current ZWiki/Zoped-based Axiom Wiki actually works. Unlike some of @@ -29774,41 +29283,22 @@ On 1/27/08, William Sit wrote: > >>or > >> > > >> not. > >> > > >> ... -> > -> > -> >_______________________________________________ -> >Axiom-developer mailing list -> >list -> >http://lists.nongnu.org/mailman/listinfo/axiom-developer -> -> William Sit, -> Professor of Mathematics, City College of New York -> -> Office: R6/202C Tel: 212-650-5179, Fax: 212-862-0004 -> Home Page: http://scisun.sci.ccny.cuny.edu/~wyscc/ -> - - \start Date: Mon, 28 Jan 2008 05:55:37 -0800 From: Ed Borasky To: list - recognized. Subject: Starting up the Firefox hyperdoc?? I just installed Axiom from the SVN repository. When I start it, the "standard" Hyperdoc comes up. How do I get it to start up the Firefox version? - - \start Date: Mon, 28 Jan 2008 11:06:43 -0500 From: Tim Daly To: Ed Borasky Subject: Re: Starting up the Firefox hyperdoc?? -Cc: list >I just installed Axiom from the SVN repository. When I start it, the >"standard" Hyperdoc comes up. How do I get it to start up the Firefox @@ -29841,16 +29331,11 @@ To exit browse, just interrupt Axiom. Note that the socket is not properly closed so you cannot yet restart the )browse in the same session once you exit. This will be fixed shortly. -Tim - - - \start Date: Mon, 28 Jan 2008 11:25:17 -0500 From: Tim Daly To: Ed Borasky Subject: Re: Starting up the Firefox hyperdoc?? -Cc: list >I just installed Axiom from the SVN repository. When I start it, the >"standard" Hyperdoc comes up. How do I get it to start up the Firefox @@ -29877,40 +29362,22 @@ o You can write new pages. If you look at the bookvol11 with xdvi xdvi $AXIOM/doc/bookvol11.dvi the first chapter begins to explain how to do this. -Tim - - -Tim - - - \start Date: Tue, 29 Jan 2008 13:27:05 -0800 From: Arthur Ralfs To: list -Message-id: <479F9A29.2010708@shaw.ca> -MIME-version: 1.0 - recognized. Subject: x11 location -Tim, - When I build Axiom on OpenSuse I have to modify the "Makefile.linux" section of Makefile.pamphlet to find the X files. /usr/X11R6/lib and /usr/X11R6/include are not used, they need to be changed to /usr/lib and /usr/include. -Arthur - - - \start Date: Tue, 29 Jan 2008 18:00:24 -0500 From: Tim Daly To: Arthur Ralfs - Jan 2008 13:27:05 -0800) Subject: Re: x11 location -Cc: list >When I build Axiom on OpenSuse I have to modify the >"Makefile.linux" section of Makefile.pamphlet to find the @@ -29921,20 +29388,11 @@ Yes, that's also true for other distros. I have a branch for that in the Makefile for the other distros. I'll add it for OpenSuse. -Tim - - - \start Date: Tue, 29 Jan 2008 20:48:29 -0500 From: Bill Page -To: "Peter Broadbery" +To: Peter Broadbery Subject: Re: aldor/axiom interoperability -Cc: list, - OpenAxiom , - fricas-devel < >, aldor-l@aldor.org - -Peter, Thank you very much for sending the revised version of src_aldor3.tgz! I think eliminating the Java dependency is a very important thing if @@ -29999,31 +29457,12 @@ On 1/17/08, Peter Broadbery wrote: > aldor code. It should be more data driven, but it isn't. > > There's a small aldor patch that I'll send along this evening. -> -> Peter -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> -> -> - - \start Date: Wed, 30 Jan 2008 09:18:15 -0500 From: Bill Page -To: "Peter Broadbery" +To: Peter Broadbery Subject: Re: aldor/axiom interoperability - - <73691350801300052q7a2a725am1fd300961028ba12@mail.gmail.com> -Cc: list, - OpenAxiom , - fricas-devel < > - -Peter, Thanks for the explanation. @@ -30032,7 +29471,7 @@ Where can I find the source for 'RNS.spad'? Regards, Bill Page. -On 1/30/08, Peter Broadbery wrote: +On 1/30/08, Peter Broadbery wrote: > On Jan 30, 2008 1:48 AM, Bill Page wrote: > > Peter, > > @@ -30061,24 +29500,12 @@ On 1/30/08, Peter Broadbery wrote: > > Not used - the purpose was side by side comparison of java and aldor output. > (the java_axiom directory isn't referenced anywhere) -> -> Peter -> - - \start Date: Wed, 30 Jan 2008 09:42:17 -0500 From: Bill Page -To: "Peter Broadbery" +To: Peter Broadbery Subject: Re: aldor/axiom interoperability - - <73691350801300052q7a2a725am1fd300961028ba12@mail.gmail.com> - - <73691350801300630w27f58324x3c914ba81d9222d7@mail.gmail.com> -Cc: list, - OpenAxiom , - fricas-devel < > On 1/30/08, Peter Broadbery wrote: > On Jan 30, 2008 2:18 PM, Bill Page wrote: diff --git a/book/2008-02.txt b/book/2008-02.txt index e9beea1..3277d96 100644 --- a/book/2008-02.txt +++ b/book/2008-02.txt @@ -1,8 +1,7 @@ \start -From: Tim Daly Date: Fri, 1 Feb 2008 08:50:48 -0600 +From: Tim Daly To: list -Cc: Subject: 20080130.01.tpd.patch (Ei) This patch adds the numeric calculation of the principal value of @@ -4009,21 +4008,18 @@ index 0000000..9c84341 +\end{document} + - - \start -Subject: Re: 20080130.01.tpd.patch (Ei) +Date: Fri, 01 Feb 2008 18:07:08 +0100 From: Gregory Vanuxem To: Tim Daly -Date: Fri, 01 Feb 2008 18:07:08 +0100 -Cc: list +Subject: Re: 20080130.01.tpd.patch (Ei) Hello Tim, I just wanted to let you know that when you work with DoubleFloat you can use a trick : if you set $useBFasDefault to false the Spad compiler will handle floating point numbers as DoubleFloat directly, no need to -coerce them. So you just have to add ')boot $useBFasDefault :=3D false' a= +coerce them. So you just have to add ')boot $useBFasDefault := false' a= t the beginning of the file (and re-set $useBFasDefault to true at the end of the file). Not a beautiful hack though. @@ -4031,38 +4027,32 @@ of the file). Not a beautiful hack though. Greg Le vendredi 01 f=E9vrier 2008 =E0 08:50 -0600, Tim Daly a -=E9crit :=20 +=E9crit : > This patch adds the numeric calculation of the principal value of > the Exponential Integral function. This is defined by a 6 segment > piecewise approximation using Chebyshev polynomials. In addition > to the main function Ei, each of the 6 piecewise solutions can be > gotten directly by the EiN functions, which are also exposed. The -> EiN functions are normalized to return results in -1 <=3D x <=3D 1. ->=20 +> EiN functions are normalized to return results in -1 <= x <= 1. +> > Ei (-\infty < x < \infty) ->=20 +> > Ei1 (-\infty < x < -10) using xe^xEi(x) -> Ei2 (-10 <=3D x <=3D -4) using xe^xEi(x) -> Ei3 (-4 <=3D x <=3D 4) using (Ei(x)-log(abs(x))-\gamma)/x -> Ei4 (4 <=3D x <=3D 12) using xe^xEi(x) -> Ei5 (12 <=3D x <=3D 32) using xe^xEi(x) -> Ei6 (32 <=3D x < /infty) using xe^xEi(x) ->=20 +> Ei2 (-10 <= x <= -4) using xe^xEi(x) +> Ei3 (-4 <= x <= 4) using (Ei(x)-log(abs(x))-\gamma)/x +> Ei4 (4 <= x <= 12) using xe^xEi(x) +> Ei5 (12 <= x <= 32) using xe^xEi(x) +> Ei6 (32 <= x < /infty) using xe^xEi(x) +> > The approximation is valid for 10^-30 but the implementation using > DoubleFloat does about 10^-16. The full coefficients are retained > for a future gmp implementation. ->=20 - - - - - +> \start -From: Tim Daly Date: Fri, 1 Feb 2008 14:38:35 -0600 +From: Tim Daly To: list -Cc: Subject: 20080201.01.tpd.patch (7016) LexTriangularPackage This removes an extra )spool from LexTriangularPackage -- Tim @@ -4091,33 +4081,20 @@ index 26261e9..1bd9951 100644 @ <>= - - \start Date: Fri, 1 Feb 2008 19:50:03 -0500 From: Tim Daly To: Arthur Ralfs - Jan 2008 13:27:05 -0800) Subject: Re: x11 location -Cc: list I'm downloading opensuse and plan to build a machine to test the axiom build. When I succeed I'll put the binary on the site. -Tim - - - \start Date: Sun, 3 Feb 2008 11:22:44 -0500 From: Tim Daly To: Bertfried Fauser - root on Sat, 2 Feb 2008 12:17:27 -0500) - <200802020441.m124fox24214@localhost.localdomain> - <275293a60802020450k5b8e0bf3qd04eceb616b49073@mail.gmail.com> - <200802021717.m12HHRp24731@localhost.localdomain> -Cc: list Subject: exterior algebra Bertfried, @@ -4156,18 +4133,10 @@ So I'm asking you to construct an input file that gently approaches and steps over the edge of what Axiom can currently do, with a suitable set of references and I'll take it from there. -Tim - - - - - - \start Date: Sun, 3 Feb 2008 11:57:04 -0500 From: Tim Daly To: Bertfried Fauser -Cc: list Subject: exterior algebra Just for a common reference I've been using @@ -4176,15 +4145,10 @@ Symbolic Computations'', Birkhauser 1996 ISBN 0-8176-3907-1 and I'll pick up any references you suggest. -Tim - - - \start Date: Mon, 4 Feb 2008 01:34:00 -0500 From: Tim Daly To: list -Cc: Subject: Axiom precompiled binaries There are Axiom precompiled binaries and a Doyen iso @@ -4192,18 +4156,12 @@ There are Axiom precompiled binaries and a Doyen iso -Tim - - - - \start Date: Mon, 4 Feb 2008 13:48:18 +0100 (CET) -From: "Fabio S." Fabio Stumbo +From: Fabio Stumbo To: list Subject: Bad crash - I just installed the latest silver version from http://www.axiom-developer.org/axiom-website/download.html on my ubuntu system and I tried to do some computation. @@ -4219,20 +4177,13 @@ system? If needed, I can post the input file. -Thanks - -Fabio - - - \start -To: list, fricas-devel < > -Subject: Re: Bad crash -From: Martin Rubey Date: 04 Feb 2008 13:56:48 +0100 -Cc: +From: Martin Rubey +To: list +Subject: Re: Bad crash -"Fabio S." Fabio Stumbo writes: +Fabio Stumbo writes: > I just installed the latest silver version from > http://www.axiom-developer.org/axiom-website/download.html @@ -4251,22 +4202,12 @@ Cc: Please do so. -Martin - - - - \start Date: Mon, 4 Feb 2008 15:13:54 +0100 (CET) -From: "Fabio S." Fabio Stumbo +From: Fabio Stumbo +To: list Subject: Re: Bad crash - <9qsl08vq0f.fsf@aquin.mat.univie.ac.at> -Cc: list, fricas-devel < > - - This message is in MIME format. The first part should be readable text, - while the remaining parts are likely unreadable without MIME-aware tools. ---168433418-156258668-1202134452=:5752 >> I just installed the latest silver version from >> http://www.axiom-developer.org/axiom-website/download.html @@ -4484,13 +4425,10 @@ YXBwZW5kKGVxbnMsbTJsKEphY29iaShiLGMscSkpKQ0KDQo= --168433418-156258668-1202134452=:5752-- - - \start Date: Mon, 4 Feb 2008 10:32:53 -0500 From: Tim Daly To: list -CC: list Subject: Re: Bad crash >I just installed the latest silver version from @@ -4514,27 +4452,19 @@ My system could use a reboot :-) I have no idea how or why a lisp program could bring down a system but I'm willing to find out. -Tim - - - \start Date: Mon, 4 Feb 2008 10:47:22 -0500 From: Tim Daly To: list -CC: list Subject: Re: Bad crash ok. I've rebuilt ubuntu, installed axiom, and am starting r.input. I'll let you know the result. -- Tim - - \start Date: Mon, 04 Feb 2008 06:43:21 -0800 From: Ed Borasky To: list - recognized. Subject: Axiom November 2007 release now in Gentoo Linux The November 2007 release of Axiom is now in Gentoo's Portage repository @@ -4542,14 +4472,11 @@ for testing. The previous version was the September 2005 tarball! I have it running on my Athlon64 X2, but I haven't heard whether it runs on the other architectures Gentoo supports, especially PowerPC. - - \start Date: Mon, 4 Feb 2008 15:50:24 +0100 From: Ondrej Certik To: Ed Borasky Subject: Re: Axiom November 2007 release now in Gentoo Linux -Cc: list On Feb 4, 2008 3:43 PM, Ed Borasky Ed Borasky wrote: > The November 2007 release of Axiom is now in Gentoo's Portage repository @@ -4559,18 +4486,11 @@ On Feb 4, 2008 3:43 PM, Ed Borasky Ed Borasky wrote: Just curious - how long does it compile? -Ondrej - - - \start Date: Mon, 4 Feb 2008 11:09:59 -0500 From: Tim Daly To: Ed Borasky - (Ondrej Certik) Subject: Re: Axiom November 2007 release now in Gentoo Linux - <85b5c3130802040650t332522f6o413f0933e1cef64d@mail.gmail.com> -Cc: list >> The November 2007 release of Axiom is now in Gentoo's Portage repository >> for testing. The previous version was the September 2005 tarball! I have @@ -4582,21 +4502,11 @@ Let me know if it succeeds. I am working on an OSX PowerPC version which I'll post and announce. -Tim - - - - - - \start Date: Mon, 04 Feb 2008 07:07:00 -0800 From: Ed Borasky To: Ondrej Certik Subject: Re: Axiom November 2007 release now in Gentoo Linux - <85b5c3130802040650t332522f6o413f0933e1cef64d@mail.gmail.com> - recognized. -Cc: list Ondrej Certik wrote: > On Feb 4, 2008 3:43 PM, Ed Borasky Ed Borasky wrote: @@ -4613,16 +4523,11 @@ Ondrej Certik wrote: I forgot to time it. :( It's a dual-core 2.2 GHz box with 4 GB of RAM, so I think it's under an hour. - - \start Date: Mon, 4 Feb 2008 16:33:31 +0100 From: Ondrej Certik To: Ed Borasky Subject: Re: Axiom November 2007 release now in Gentoo Linux - <85b5c3130802040650t332522f6o413f0933e1cef64d@mail.gmail.com> - <47A72A14.1060006@cesmail.net> -Cc: list > I forgot to time it. :( It's a dual-core 2.2 GHz box with 4 GB of RAM, > so I think it's under an hour. @@ -4630,15 +4535,10 @@ Cc: list That'd be cool. The 2005 version took like 10 hours for me, but maybe I was doing something wrong. -Ondrej - - - \start -From: Tim Daly Date: Mon, 4 Feb 2008 15:57:03 -0600 +From: Tim Daly To: Fabio Stumbo -Cc: list Subject: Bad crash Well, I've been running your code for about 6 hours or so on @@ -4649,15 +4549,10 @@ As to the complete system crash my best guess is that your system has "thermal checked", i.e., overheated and thus powered off. My fast machine has all three fans running and is in a slight hover. -Tim - - - \start Date: Tue, 5 Feb 2008 11:12:21 +0100 (CET) -From: "Fabio S." Fabio Stumbo +From: Fabio Stumbo To: list -cc: list Subject: Re: Bad crash > Well, I've been running your code for about 6 hours or so on @@ -4677,15 +4572,11 @@ crashed: I didn't think it was that much. In any case, thank you for your attention. -Fabio - - - \start -Subject: re: Bad crash -To: list Date: Tue, 5 Feb 2008 12:06:42 +0100 (CET) From: Waldek Hebisch +To: list +Subject: re: Bad crash Fabio S. wrote: > @@ -4708,18 +4599,11 @@ Also, it looks that you are using 'Fraction Polynomial Integer' as your domain. Did you try to use 'DistributedMultivariatePolynomial' (which is likely to be much more efficient)? --- - Waldek Hebisch -Waldek Hebisch - - - \start -Subject: re: Groebner basis -To: list Date: Tue, 5 Feb 2008 16:29:52 +0100 (CET) From: Waldek Hebisch -Cc: +To: list +Subject: re: Groebner basis > Fabio S. wrote: > > @@ -4753,57 +4637,30 @@ The difference is that Groebner basis is computed relative to total degree reverse lexicografic ordering, while your original code requested lexicographic ordering. --- - Waldek Hebisch -Waldek Hebisch - - - \start Date: Tue, 5 Feb 2008 12:24:09 -0500 From: Tim Daly -To: "Fabio S." Fabio Stumbo - Hebisch on Tue, 5 Feb 2008 16:29:52 +0100 (CET)) +To: Fabio Stumbo Subject: re: Groebner basis -Cc: list - -Fabio, Would you be interested in adding a bit of documentation to your file to explain the "what and why"? It would be useful to people to have examples of Groebner calculations. -Tim - - - \start Date: Tue, 5 Feb 2008 13:09:30 -0500 From: Tim Daly To: Fabio Stumbo, Waldek Hebisch - root on Tue, 5 Feb 2008 12:24:09 -0500) Subject: re: Groebner basis - <200802051724.m15HO9T27954@localhost.localdomain> -Cc: list - -Fabio, I ran Waldek's version of your code with the change to HDMP and it completes in about 15 minutes. -Tim - - - \start Date: Tue, 5 Feb 2008 22:49:43 +0100 (CET) -From: "Fabio S." Fabio Stumbo +From: Fabio Stumbo To: list -Cc: list Subject: re: Groebner basis - <200802051724.m15HO9T27954@localhost.localdomain> - <200802051809.m15I9Uo27990@localhost.localdomain> - First, let me thank all of you for your support: I will use all the hints in my next computations. @@ -4855,21 +4712,11 @@ You could extend it also to \aleph_0 and I would still agree! This is the only way to have a program which should be like mathematics itself: there to stay. -Fabio - - - \start Date: Tue, 5 Feb 2008 22:42:13 -0500 From: Tim Daly To: list -CC: list, list - (Fabio Stumbo) Subject: re: Groebner basis - <200802051724.m15HO9T27954@localhost.localdomain> - <200802051809.m15I9Uo27990@localhost.localdomain> - - J_CHICKENPOX_35 >After installing the latest silver, I discovered that now there is the >chunck environment and that the input file can be stripped with @@ -4955,33 +4802,18 @@ list.spad.pamphlet shows both the regression testing (the <> chunk) and the ")help" documentation (the <> chunk) is integrated into the file. -Tim - - - - - - \start Date: Tue, 5 Feb 2008 22:50:20 -0500 From: Tim Daly To: Camm Maguire -Cc: list Subject: gcl on PPC -Camm, - Do you know a version of gcl that runs on a Mac/PPC platform? -Tim - - - \start -From: Tim Daly Date: Thu, 7 Feb 2008 12:32:26 -0600 +From: Tim Daly To: list -Cc: Subject: 20080107.01.tpd.patch (macosxppc port) This changeset enables building for the macosxppc platform. See @@ -5552,15 +5384,11 @@ index dc767b4..429c91c 100644 #else bsdSignal(SIGCLD,endChild,RestartSystemCalls); - - \start -From: Tim Daly Date: Sun, 10 Feb 2008 01:12:28 -0600 +From: Tim Daly To: list -Cc: -Subject: 20080209.01.tpd.patch (add Exponential Integral - to book) +Subject: 20080209.01.tpd.patch (add Exponential Integral to book) Add Exponential Integral family of functions to the Jenks book. @@ -5668,13 +5496,10 @@ index 377d5c6..4fdb58c 100644 $besselJ(v,z)$ is the Bessel function of the first kind, \index{function!Bessel} - - \start -From: Tim Daly Date: Sun, 10 Feb 2008 02:05:29 -0600 +From: Tim Daly To: list -Cc: Subject: 20080210.01.tpd.patch (powerpc-macosx.defs patch) Add the file zips/gcl-2.6.8pre.h.powerpc-macosx.defs.patch. @@ -5740,18 +5565,12 @@ index 0000000..f5cb47d + MACOSX_DEPLOYMENT_TARGET = 10.2 + - - \start -To: Tim Daly -From: Camm Maguire Date: 11 Feb 2008 17:49:13 -0500 - Mon, 11 Feb 2008 18:18:47 EST -Cc: list, gcl-devel@gnu.org +From: Camm Maguire +To: Tim Daly Subject: Re: gcl on PPC -Greetings! - Tim Daly writes: > Camm, @@ -5761,27 +5580,10 @@ Tim Daly writes: 2.6.8pre should work, no? -Take care, - -> Tim -> -> -> - --- -Camm Maguire Camm Maguire -========================================================================== -"The earth is but one country, and mankind its citizens." -- Baha'u'llah - - - \start Date: Mon, 11 Feb 2008 22:04:24 -0500 From: Tim Daly To: Camm Maguire - on 11 Feb 2008 17:49:13 -0500) - <54tzkfw1li.fsf@intech19.enhanced.com> -Cc: list, gcl-devel@gnu.org Subject: Re: gcl on PPC >> Camm, @@ -5793,16 +5595,10 @@ Subject: Re: gcl on PPC Yes, but it took a bit of playing around with various parameters. -Tim - - - - \start -From: Tim Daly Date: Fri, 15 Feb 2008 16:33:52 -0600 +From: Tim Daly To: list -Cc: Subject: 20080215.01.tpd.patch (++E examples) This patch adds a new layer of documentation ability to Axiom. @@ -6262,15 +6058,11 @@ index 10b1be7..7dca247 100644 null argl => unabbrev op form2String [unabbrev op, :argl] - - \start -From: Tim Daly Date: Sat, 16 Feb 2008 14:07:23 -0600 +From: Tim Daly To: list -Cc: -Subject: 20080216.01.wxh.patch (hash tables to speed - compiles) +Subject: 20080216.01.wxh.patch (hash tables to speed compiles) This code is a performance improvement by Waldek Hebisch. (Fricas patches 232 and 233). @@ -10009,14 +9801,11 @@ index 144aa0e..7520954 100644 \begin{thebibliography}{99} \bibitem{1} nothing - - \start -Subject: Re: 20080216.01.wxh.patch (hash tables to speed - compiles) -To: list Date: Sat, 16 Feb 2008 23:01:18 +0100 (CET) From: Waldek Hebisch +To: list +Subject: Re: 20080216.01.wxh.patch (hash tables to speed compiles) Tim Daly wrote: > This code is a performance improvement by Waldek Hebisch. @@ -10041,17 +9830,10 @@ Two comments: get1 function (but you did not include this hunk...). The other parts are just to put correct info into the $envHashTable. --- - Waldek Hebisch -Waldek Hebisch - - - \start -From: Tim Daly Date: Sun, 17 Feb 2008 02:22:58 -0600 +From: Tim Daly To: list -Cc: Subject: 20080216.02.tpd.patch (add function examples) This patch begins the process of adding examples for functions. @@ -10668,16 +10450,11 @@ erCase| 62 |space| 67 |size| 71 |random| 75 |quote| 79 |ord| 83 |min| 88 |max| 9 string: Integer -> % ++ string(i) returns the decimal representation of i in a string - - - \start -From: Tim Daly Date: Sun, 17 Feb 2008 20:25:04 -0600 +From: Tim Daly To: list -Cc: -Subject: 20080217.01.wxh.patch (fix: hash tables to speed - compiles) +Subject: 20080217.01.wxh.patch (fix: hash tables to speed compiles) The last patch uploaded the wrong file. This patch adds the get1 function. @@ -10728,13 +10505,10 @@ index 7520954..9b9c660 100644 @ \subsection{get2} - - \start -From: Tim Daly Date: Mon, 18 Feb 2008 00:33:19 -0600 +From: Tim Daly To: list -Cc: Subject: 20080218.01.tpd.patch (add function examples) Function examples for array1.spad and fr.spad @@ -11434,14 +11208,10 @@ index ad4853a..8c4c8f0 100644 Implementation ==> add - - - \start -From: Tim Daly Date: Mon, 18 Feb 2008 19:27:25 -0600 +From: Tim Daly To: list -Cc: Subject: 20080218.02.tpd.patch (add function examples) Add additional examples for functions from tree.spad, bags.spad and @@ -12215,21 +11985,10 @@ index 573f7f8..0a208e0 100644 <> <> - - \start Date: Mon, 18 Feb 2008 22:31:45 -0800 (PST) -Path: o10g2000hsf.googlegroups.com!not-for-mail -Newsgroups: sci.math.symbolic -Complaints-To: groups-abuse@google.com -Injection-Info: o10g2000hsf.googlegroups.com; posting-host=72.23.235.192; - posting-account=m2ufuQoAAAAnP4mhpj2-bRzndif0-AIg -NNTP-Posting-Host: 72.23.235.192 - - Gecko/20080201 Firefox/2.0.0.12,gzip(gfe),gzip(gfe) -From: TimDaly Tim Daly +From: Tim Daly To: list -Cc: list Subject: Re: OpenAxiom-1.1.0 released On Feb 18, 1:37 pm, D Herring wrote: @@ -12290,15 +12049,10 @@ changes are certain to continue this trend as it speaks directly to the underlying philosophy of making Axiom literate (in the sense of Knuth). -Tim Daly - - - \start -From: Tim Daly Date: Tue, 19 Feb 2008 17:46:10 -0600 +From: Tim Daly To: list -Cc: Subject: 20080219.01.tpd.patch (add firefox hyperdoc pages) This patch adds additional firefox hyperdoc pages. @@ -12638,24 +12392,13 @@ index 293066e..9335c11 100644 + + - - \start Date: Tue, 19 Feb 2008 18:21:20 -0800 (PST) -From: TimDaly Tim Daly -To: list, Tim Daly -Cc: +From: Tim Daly +To: list Subject: Fwd: Symbolic computation issues - - - ---------- Forwarded message ---------- -From: TimDaly -Date: Feb 19, 9:09 pm -Subject: Symbolic computation issues -To: sci.math.symbolic - On Feb 19, 7:14 pm, "K. Jennings" wrote: @@ -12790,17 +12533,11 @@ pursue and distribute their research. In the short term this looks like "eye candy" but it seems necessary as a basis for the long term goals. -Tim Daly - - - \start -From: Tim Daly Date: Wed, 20 Feb 2008 00:45:48 -0600 +From: Tim Daly To: list -Cc: -Subject: 20080220.01.tpd.patch (add additional firefox - hyperdoc pages) +Subject: 20080220.01.tpd.patch (add additional firefox hyperdoc pages) This patch adds additional Firefox hyperdoc pages. @@ -13625,16 +13362,11 @@ index 9335c11..b9f36fc 100644 <> @ - - - \start -From: Tim Daly Date: Thu, 21 Feb 2008 00:28:39 -0600 +From: Tim Daly To: list -Cc: -Subject: 20080221.01.tpd.patch (7099: complex gamma - function investigation) +Subject: 20080221.01.tpd.patch (7099: complex gamma function investigation) fixed 7099: complex Gamma bug @@ -14761,14 +14493,10 @@ index 6b5f38b..a8c533c 100644 )spool )lisp (bye) - - - \start -From: Tim Daly Date: Thu, 21 Feb 2008 00:33:53 -0600 +From: Tim Daly To: list -Cc: Subject: 20080221.02.wxh.patch (236) Increase the total digits in Pi representation in special functions (Waldek) @@ -14924,14 +14652,11 @@ index 50bd7b5..6536e2e 100644 - SQRT(PI/(2.0*v))*EXP(-v*eta)/(SQRT(opzsqroh))*hornerresult + SQRT(dfPi/(2.0*v))*EXP(-v*eta)/(SQRT(opzsqroh))*hornerresult - - \start -Subject: Re: 20080221.01.tpd.patch (7099: complex gamma - function investigation) -To: list Date: Fri, 22 Feb 2008 00:22:21 +0100 (CET) From: Waldek Hebisch +To: list +Subject: Re: 20080221.01.tpd.patch (7099: complex gamma function investigation) > > fixed 7099: complex Gamma bug @@ -14955,20 +14680,11 @@ Abramowitz and Stegun) do not use numeric logarithm: log(Gamma(z)) in texbooks is a holomrphic function for Re z > 0, in particular texbook log(Gamma(z)) is continouos, while numeric one have jumps. --- - Waldek Hebisch -Waldek Hebisch - - - \start Date: Thu, 21 Feb 2008 21:57:07 -0500 From: Tim Daly To: Waldek Hebisch - Hebisch on Fri, 22 Feb 2008 00:22:21 +0100 (CET)) -Subject: Re: 20080221.01.tpd.patch (7099: complex gamma - function investigation) -Cc: list +Subject: Re: 20080221.01.tpd.patch (7099: complex gamma function investigation) >> >> fixed 7099: complex Gamma bug @@ -14995,16 +14711,11 @@ Cc: list The question is whether we want the numeric results to be continuous. What's your opinion? -Tim - - - \start -Subject: Re: 20080221.01.tpd.patch (7099: complex gamma - function investigation) -To: list Date: Fri, 22 Feb 2008 03:35:52 +0100 (CET) From: Waldek Hebisch +To: list +Subject: Re: 20080221.01.tpd.patch (7099: complex gamma function investigation) Tim Daly wrote: > >> @@ -15048,19 +14759,11 @@ continuous version of logGamma (one can not make logGamma continuous everywhere, but one put cuts at negative real numbers and have continuity elsewere). --- - Waldek Hebisch -Waldek Hebisch - - - \start -From: Tim Daly Date: Thu, 21 Feb 2008 21:47:50 -0600 +From: Tim Daly To: list -Cc: -Subject: 20080222.01.tpd.patch (7099 logGamma vs - log(Gamma) ) +Subject: 20080222.01.tpd.patch (7099 logGamma vs log(Gamma) ) More investigation of the Gamma, log(Gamma) and logGamma functions. @@ -16833,14 +16536,10 @@ index a8c533c..6ccd4a5 100644 )spool )lisp (bye) - - - \start -From: Tim Daly Date: Fri, 22 Feb 2008 00:14:49 -0600 -To: Arthur Ralfs" Arthur Ralfs -Cc: list +From: Tim Daly +To: Arthur Ralfs Subject: mathML bug? (bug 7113) -> x:=104348/33215 @@ -16863,23 +16562,11 @@ but mathML output shows: --------- 571373 -Tim - - - - - \start Date: Thu, 21 Feb 2008 23:58:42 -0800 From: Arthur Ralfs -Subject: Re: mathML bug? (bug 7113) To: Tim Daly -Message-id: <47BE80B2.7040604@shaw.ca> -MIME-version: 1.0 - <47BE7C54.5070307@shaw.ca> - <200802220902.m1M92DR22792@localhost.localdomain> - recognized. -Cc: list +Subject: Re: mathML bug? (bug 7113) root wrote: >> -> x:=104348/33215 @@ -16919,20 +16606,11 @@ factors. Adding the space would be easiest since at present the multiplication is denoted by the "InvisibleTimes" entity: ⁢ which could easily be changed to a space. -Arthur - - - \start Date: Fri, 22 Feb 2008 12:36:52 -0500 From: Tim Daly To: Arthur Ralfs - Feb 2008 23:58:42 -0800) Subject: Re: mathML bug? (bug 7113) - <47BE7C54.5070307@shaw.ca> - <200802220902.m1M92DR22792@localhost.localdomain> - <47BE80B2.7040604@shaw.ca> -Cc: list >>> -> x:=104348/33215 >>> @@ -16974,17 +16652,11 @@ Cc: list I'd replace the InvisibleTimes character code to space to conform to the algebra output. -Tim - - - \start -From: Tim Daly Date: Fri, 22 Feb 2008 14:54:16 -0600 +From: Tim Daly To: list -Cc: -Subject: 20080222.02.tpd.patch (add additional hyperdoc - page translations) +Subject: 20080222.02.tpd.patch (add additional hyperdoc page translations) Fill out more of the page tree in the hyperdoc -> html translations @@ -17270,15 +16942,10 @@ index b9f36fc..1bfc01b 100644 <> @ - - - \start -From: Tim Daly Date: Fri, 22 Feb 2008 15:13:24 -0600 -To: "Matt Kaufmann"Matt Kaufmann, - "J Strother Moore" -Cc: list +From: Tim Daly +To: Matt Kaufmann, J Moore Subject: ACL2/Axiom recommendation Matt and J, @@ -17309,18 +16976,12 @@ number of elements under consideration. Given your experience can you give me some high level advice and potential pointers to previous work? -Tim Daly -Tim Daly - - - \start Date: Fri, 22 Feb 2008 17:36:36 -0600 From: Matt Kaufmann To: Tim Daly - (Tim Daly) -Cc: moore@cs.utexas.edu, list Subject: Re: ACL2/Axiom recommendation +Cc: J Moore Hi, Tim -- @@ -17398,18 +17059,11 @@ at some introductory materials such as: Given your experience can you give me some high level advice and potential pointers to previous work? - Tim Daly - Tim Daly - - - \start -From: Tim Daly Date: Fri, 22 Feb 2008 19:14:33 -0600 +From: Tim Daly To: list -Cc: -Subject: 20080222.03.tpd.patch (move hyperdoc bitmaps - location) +Subject: 20080222.03.tpd.patch (move hyperdoc bitmaps location) ========================================================================= diff --git a/changelog b/changelog @@ -17458,14 +17112,10 @@ index 493fbb4..db88d1a 100644 clean: - - \start -From: Tim Daly Date: Sat, 23 Feb 2008 15:30:27 -0600 -To: "Matt Kaufmann"Matt Kaufmann, - "J Strother Moore" -Cc: list +From: Tim Daly +To: Matt Kaufmann, J Moore Subject: ACL2/Axiom recommendations It seems that BDDs have been studied rather extensively in ACL2. @@ -17478,17 +17128,12 @@ distance to getting an effective first proof. I've found several BDD libraries. Is there one you use and prefer? -Tim - - - \start Date: Sat, 23 Feb 2008 20:23:54 -0600 From: Matt Kaufmann To: Tim Daly - (Tim Daly) -Cc: moore@cs.utexas.edu, list Subject: Re: ACL2/Axiom recommendations +Cc: J Moore Hi, Tim -- @@ -17539,17 +17184,10 @@ theorem prover effectively. I've found several BDD libraries. Is there one you use and prefer? - Tim - - - \start Date: Sat, 23 Feb 2008 19:01:38 -0600 -From: J Strother Moore +From: J Moore To: Matt Kaufmann - Matt Kaufmann on Fri, 22 Feb 2008 17:36:36 -0600) - <200802222336.m1MNaaiX028821@lhug-9.cs.utexas.edu> -Cc: list Subject: Re: ACL2/Axiom recommendation Hi Tim. I don't have anything to add to Matt's @@ -17562,19 +17200,12 @@ size. Particular finite bounds, e.g., 271, don't particularly help ACL2 unless it can just grind out all the cases by evaluation. -J - - - - \start Date: Sun, 24 Feb 2008 00:06:27 -0500 From: Tim Daly To: Matt Kaufmann - from Matt Kaufmann on Sat, 23 Feb 2008 20:23:54 -0600) - <200802240223.m1O2NsuU010732@sundance.cs.utexas.edu> -Cc: moore@cs.utexas.edu, list Subject: Re: ACL2/Axiom recommendations +Cc: J Moore Well, the goal is clearly in the "research" category since there is no clear roadmap for how to proceed in detail. I have been working my way @@ -17654,16 +17285,10 @@ Keeping your feedback in mind, there might be a good example of domain defined. Provided the generated code is not too obscure that could be a good place to start the struggle. - -Tim - - - \start -From: Tim Daly Date: Wed, 27 Feb 2008 21:23:40 -0600 +From: Tim Daly To: list -Cc: Subject: GitHub Axiom gold mirror As you know, Axiom silver is being maintained in a git repository. @@ -17716,22 +17341,10 @@ A copy of silver can be cloned from axiom-developer with: git-clone ssh://git@axiom-developer.org/home/git/silver (linus) - - - -Tim - - - \start Date: Fri, 29 Feb 2008 10:27:21 +0100 From: Ralf Hemmecke To: Martin Rubey - <9qpruggoam.fsf@aquin.mat.univie.ac.at> -Cc: axiom-dev , - fricas-devel < >, - open-axiom-devel , - axiom-mail@nongnu.org Subject: Re: [Axiom-mail] Setting elements in a matrix On 02/29/2008 09:27 AM, Martin Rubey wrote: @@ -17763,19 +17376,11 @@ The better way would be to factor out a subcategory that doesn't change the structure of the matrix and let SquareMatrix and MatrixCategory inherit from that. -Ralf - - - \start -To: - <9qpruggoam.fsf@aquin.mat.univie.ac.at> <47C7CFF9.3040801@hemmecke.de> -From: Martin Rubey Date: 29 Feb 2008 10:39:47 +0100 -Cc: open-axiom-devel , - axiom-dev , axiom-mail@nongnu.org -Subject: Re: [fricas-devel] Re: [Axiom-mail] Setting - elements in a matrix +From: Martin Rubey +To: list +Subject: Re: Re: [Axiom-mail] Setting elements in a matrix Ralf Hemmecke writes: @@ -17822,21 +17427,11 @@ better, but not in SPAD: To be honest, I doubt that this would be very useful. -Martin - - - - \start -To: Martin Rubey - <9qpruggoam.fsf@aquin.mat.univie.ac.at> <47C7CFF9.3040801@hemmecke.de> - <9qoda0nlss.fsf@aquin.mat.univie.ac.at> -From: Francois Maltey Date: 29 Feb 2008 15:07:54 +0100 -Cc: axiom-dev , , - open-axiom-devel -Subject: Re: [open-axiom-devel] [fricas-devel] Re: - [Axiom-mail] Setting elements in a matrix +From: Francois Maltey +To: Martin Rubey +Subject: Re: [Axiom-mail] Setting elements in a matrix Dear Martin and Ralf, @@ -17856,23 +17451,11 @@ must also produce an error. But... type must remain fine in order to verify as easily as possible the Cayley-Hamilto theorem. -Good luck and courage. - -F. - - - - \start Date: Fri, 29 Feb 2008 10:24:15 -0500 From: Bill Page -To: - <9qpruggoam.fsf@aquin.mat.univie.ac.at> <47C7CFF9.3040801@hemmecke.de> -Cc: axiom-dev , - open-axiom-devel , - axiom-mail@nongnu.org -Subject: Re: [fricas-devel] Re: [Axiom-mail] Setting - elements in a matrix +To: list +Subject: Re: Re: [Axiom-mail] Setting elements in a matrix On 2/29/08, Ralf Hemmecke wrote: > diff --git a/book/2008-03.txt b/book/2008-03.txt index 9a51d6a..66dfefb 100644 --- a/book/2008-03.txt +++ b/book/2008-03.txt @@ -1,11 +1,8 @@ \start -From: Tim Daly Date: Sat, 1 Mar 2008 01:49:55 -0600 +From: Tim Daly To: list - Sat, 01 Mar 2008 03:09:42 EST -Cc: -Subject: 20080229.01.tpd.patch (add additonial hyperdoc - page translations) +Subject: 20080229.01.tpd.patch (add additonial hyperdoc page translations) This patch extends the available firefox hyperdoc pages. @@ -1559,7 +1556,7 @@ index 1bfc01b..7afa4e8 100644 + + +You can see that the fifth number in the stream (2047=23*89) is the first -+one that has a non-trivial factorization. Since 2**11=2048, the solution ++one that has a non-trivial factorization. Since 2**1148, the solution +to the problem is 11. + +Here is another way to see that 2047 is the first number in the stream @@ -1818,15 +1815,11 @@ index 1bfc01b..7afa4e8 100644 - - - - \start -From: Tim Daly Date: Sun, 2 Mar 2008 00:17:36 -0600 +From: Tim Daly To: list -Cc: -Subject: 20080301.01.tpd.patch (add additional hyperdoc - page translations) +Subject: 20080301.01.tpd.patch (add additional hyperdoc page translations) The patch adds additional hyperdoc page translations -- Tim @@ -2460,15 +2453,11 @@ index 7afa4e8..f3d863e 100644 %%P \subsection{pagelist.xhtml} - - \start -From: Tim Daly Date: Sun, 2 Mar 2008 16:05:53 -0600 +From: Tim Daly To: list -Cc: -Subject: 20080302.01.tpd.patch (add additional hyperdoc - page translations) +Subject: 20080302.01.tpd.patch (add additional hyperdoc page translations) This patch adds additional hyperdoc page translations -- Tim @@ -3000,14 +2989,10 @@ index f3d863e..4871419 100644 <> @ - - - \start -From: Tim Daly Date: Mon, 3 Mar 2008 12:05:38 -0600 +From: Tim Daly To: list -Cc: Subject: Lisp I'd encourage you to spend a few minutes reading @@ -3018,14 +3003,11 @@ all of the internal code to common lisp. Tim - - \start Date: Mon, 3 Mar 2008 13:41:07 -0500 From: Bill Page To: Tim Daly Subject: Re: Lisp -Cc: list Tim, @@ -3082,20 +3064,12 @@ On 3/3/08, Tim Daly Tim Daly wrote: > > It is a gentle introduction to the reason why I'm moving > all of the internal code to common lisp. -> -> Tim -> - - \start Date: Mon, 3 Mar 2008 16:50:23 -0500 From: Tim Daly To: Bill Page - (Bill Page) Subject: Re: Lisp - -Cc: list >Did you actually read this article? In fact the article contains the >specific reason why you should *not* be converting BOOT code to Lisp: @@ -3160,16 +3134,10 @@ So my 50k lines of lisp would be 100k lines, 50k of which is a complex, much harder to understand, much harder to debug, and much less flexible and dynamic. -Tim - - - - \start -From: Tim Daly Date: Mon, 3 Mar 2008 15:44:18 -0600 +From: Tim Daly To: Bill Page -Cc: list Subject: Lisp I guess the fundamental point is this: @@ -3190,20 +3158,11 @@ language. Boot turns lisp into "just another language". -Tim - - - - \start +Date: Mon, 03 Mar 2008 17:34:00 -0500 From: William Sit +To: Bill Page, Tim Daly Subject: Re: Lisp -To: Bill Page,"Tim Daly" - Tim Daly -Date: Mon, 03 Mar 2008 17:34:00 -0500 -Cc: list - -Bill: As I read your quoted passage and comments, it occurs to me (disclaimer: I am not a language expert, so take my @@ -3316,31 +3275,12 @@ On Mon, 3 Mar 2008 13:41:07 -0500 >> It is a gentle introduction to the reason why I'm >>moving >> all of the internal code to common lisp. ->> ->> Tim ->> -> -> ->_______________________________________________ ->Axiom-developer mailing list ->list ->http://lists.nongnu.org/mailman/listinfo/axiom-developer - -William Sit, -Professor of Mathematics, City College of New York - -Office: R6/202C Tel: 212-650-5179, Fax: 212-862-0004 -Home Page: http://scisun.sci.ccny.cuny.edu/~wyscc/ - - \start -From: Tim Daly Date: Tue, 4 Mar 2008 00:33:57 -0600 +From: Tim Daly To: list -Cc: -Subject: 20080303.01.tpd.patch (add additional hyperdoc - page translations) +Subject: 20080303.01.tpd.patch (add additional hyperdoc page translations) This patch adds additional hyperdoc page translations @@ -3737,17 +3677,11 @@ index 4871419..76c0e51 100644 <> @ - - - \start Date: Tue, 4 Mar 2008 20:22:55 -0500 From: Bill Page To: Tim Daly Subject: Re: Lisp - - <200803032150.m23LoNx13449@localhost.localdomain> -Cc: list On 3/3/08, Tim Daly wrote: > @@ -3792,16 +3726,10 @@ Perhaps that is a clue that what you are actually doing is writing in Lisp? ;) No. You are simply writing in Lisp. -Regards, -Bill Page. - - - \start Date: Tue, 4 Mar 2008 20:33:07 -0500 From: Bill Page To: Tim Daly -Cc: list Subject: Re: Lisp On 3/3/08, Tim Daly wrote: @@ -3832,18 +3760,11 @@ by some other tree-like recursive data type. Lisp is "just another language". -Regards, -Bill Page. - - - \start Date: Tue, 4 Mar 2008 20:44:47 -0500 From: Bill Page To: William Sit Subject: Re: Lisp - -Cc: list On 3/3/08, William Sit wrote: > @@ -3902,16 +3823,10 @@ very active computer algebra project called Sage doing almost all of the things that would really be worth doing in Axiom, in Python instead. -Regards, -Bill Page. - - - \start -From: Tim Daly Date: Wed, 5 Mar 2008 01:56:39 -0600 +From: Tim Daly To: Bill Page -Cc: list Subject: Lisp Bill, @@ -3964,22 +3879,11 @@ and was trying to help others "see the whole elephant". Why don't we just let this rest and not turn it into a debate. - -Tim - - - - - - - \start -From: Tim Daly Date: Wed, 5 Mar 2008 03:37:56 -0600 +From: Tim Daly To: list -Cc: -Subject: 20080304.01.tpd.patch (add additional hyperdoc - page translations) +Subject: 20080304.01.tpd.patch (add additional hyperdoc page translations) This patch adds additional hyperdoc page translations @@ -5712,17 +5616,11 @@ index 76c0e51..ec9dbe3 100644 <> @ - - - \start -To: Bill Page, Ralf.Hemmecke@risc.uni-linz.ac.at -Subject: Re: Lisp - - -From: Martin Rubey Date: 05 Mar 2008 10:49:56 +0100 -Cc: list +From: Martin Rubey +To: Bill Page, Ralf Hemmecke +Subject: Re: Lisp Bill Page writes: @@ -5772,17 +5670,11 @@ Note that this conversion is not "difficult", only tedious. I might put an effort into preparing a special "axiom" version of the species project, but currently I'm trying hard to find a job in academia. - -Martin - - - - \start -Subject: Re: Lisp -To: list Date: Wed, 5 Mar 2008 16:14:03 +0100 (CET) From: Waldek Hebisch +To: list +Subject: Re: Lisp Martin Rubey wrote: > Bill Page writes: @@ -5812,19 +5704,11 @@ on an algebraic surface. I would be surprised if Mathematica really can solve this problem (that is give correct solutions and prove that there are no others). --- - Waldek Hebisch -Waldek Hebisch - - - \start Date: Wed, 5 Mar 2008 11:03:58 -0500 From: Bill Page To: Waldek Hebisch Subject: Re: Lisp - -Cc: list > > "Bill Page" writes: > > > ... but all of my experience with Axiom over the last @@ -5902,19 +5786,11 @@ and make most sense to you personally. While these projects are alive, there is still a chance that somewhere out of the Internet blue, some new users and developers of Axiom will appear. -> ... - -Regards, -Bill Page. - - - \start Date: Wed, 05 Mar 2008 19:11:58 -0800 From: Ed Borasky To: list Subject: Re: Lisp - recognized. Tim Daly wrote: > Either you "get it" or you don't. There is no half-way with Lisp. @@ -5935,16 +5811,11 @@ language. And now there's Ruby. So I saw the whole elephant. But I don't think I care to ride on it any more. - - - \start Date: Thu, 6 Mar 2008 00:12:59 -0500 From: Tim Daly To: Ed Borasky Subject: Re: Lisp - <47CF60FE.3010206@cesmail.net> -Cc: list >> Either you "get it" or you don't. There is no half-way with Lisp. >> There are no words to explain what it means to "get it" until you do @@ -5979,17 +5850,11 @@ But boot is syntactic sugar. The real question is, do you understand why "syntactic sugar" languages like boot disable the key strength of Lisp? -Tim - - - \start -From: Tim Daly Date: Wed, 5 Mar 2008 22:35:24 -0600 +From: Tim Daly To: list -Cc: -Subject: 20080305.01.tpd.patch (add additional hyperdoc - page translations) +Subject: 20080305.01.tpd.patch (add additional hyperdoc page translations) This patch adds additional hyperdoc page translations ========================================================================== @@ -6843,18 +6708,11 @@ index ec9dbe3..6b600ba 100644 (Not that you cannot include spaces in the input form of a floating point number, though you can use underscores.) - - \start Date: Thu, 06 Mar 2008 08:03:04 -0800 From: Ed Borasky To: list Subject: Re: Lisp - <47CF60FE.3010206@cesmail.net> - <200803060512.m265CxJ15271@localhost.localdomain> - recognized. - -root wrote: > That's fair. There was no claim that lisp is the right language for > any particular purpose. Ruby is fine and Rails is the fastest path @@ -6883,14 +6741,11 @@ think so. I think you want the full higher-level language to "do mathematics". At least to do *applied* mathematics, that is -- I couldn't do theoretical mathematics even with infinitely powerful tools. :) - - - \start -Subject: Re: Lisp -To: list Date: Thu, 6 Mar 2008 18:43:42 +0100 (CET) From: Waldek Hebisch +To: list +Subject: Re: Lisp Bill Page wrote: > On 3/5/08, Waldek Hebisch wrote: @@ -6910,18 +6765,11 @@ commands. "Interpreter" functions are a middle ground. Going to Spad is more like "writing program to solve the problem" than "using Axiom". --- - Waldek Hebisch -Waldek Hebisch - - - \start Date: Thu, 06 Mar 2008 18:59:26 -0800 From: Ed Borasky To: list Subject: Re: Lisp - recognized. Waldek Hebisch wrote: > Bill Page wrote: @@ -6952,18 +6800,12 @@ this, but I for one don't have any use for a CAS that can't do these things. Where *I* want to spend my programming time is getting these "abstract" solutions into some form that can be used by people other than fellow mathematicians. -> - - - \start -From: Tim Daly Date: Wed, 12 Mar 2008 19:35:10 -0600 +From: Tim Daly To: list -Cc: -Subject: 20080312.01.tpd.patch (BasicSieve, primes, - intfact documentation) +Subject: 20080312.01.tpd.patch (BasicSieve, primes, intfact documentation) This patch updates the documentation for intfact.spad. @@ -7698,32 +7540,21 @@ index 996b923..fd43be1 100644 \end{thebibliography} \end{document} - - \start -From: Tim Daly Date: Wed, 12 Mar 2008 19:36:36 -0600 +From: Tim Daly To: list -Cc: Subject: SVN Sourceforge This intfact.spad patch update for SVN silver is delayed. Apparently sourceforge SVN is broken and is refusing checkin for SVN. When the process gets fixed SVN silver will be updated. -Tim - - - \start -Subject: Re: aldor/axiom interoperability -From: Gregory Vanuxem -To: Peter Broadbery Date: Thu, 13 Mar 2008 22:21:44 +0100 -Cc: list, aldor-l@aldor.org - - ---=-7uow5UTTsT0R3TcLhT/f +From: Gregory Vanuxem +To: Peter Broadbery +Subject: Re: aldor/axiom interoperability Dear Peter, * @@ -7751,16 +7582,16 @@ Le jeudi 17 janvier 2008 =E0 09:32 +0000, Peter Broadbery a =E9crit : > Finally got round to looking at this. > The code attached can be used to build the axiom/aldor interopability > library (libaxiom.al). ->=20 +> > New features: > Less abuse of make features (though I've only used a recent version of > make, and have used some newer features) > Dependency on java removed. > Cleaner build process - all the dependency analysis is done in the > aldor code. It should be more data driven, but it isn't. ->=20 +> > There's a small aldor patch that I'll send along this evening. ->=20 +> > Peter > _______________________________________________ > Axiom-developer mailing list @@ -8029,21 +7860,12 @@ EllipticCurveFactorization: with nfact - ---=-7uow5UTTsT0R3TcLhT/f-- - - - - - \start Date: Thu, 13 Mar 2008 21:36:22 -0400 From: Bill Page -To: "Gregory Vanuxem" Gregory Vanuxem +To: Gregory Vanuxem Subject: Re: aldor/axiom interoperability - <1205443304.3352.36.camel@ellipse> -Cc: Peter Broadbery , list, - aldor-l@aldor.org +Cc: Peter Broadbery On 3/13/08, Gregory Vanuxem wrote: > Dear Peter, * @@ -8099,31 +7921,10 @@ Index: src/interp/hashcode.boot Don't ask me what it does, however :-) - - -Many thanks again, - - -Martin - - ---~--~---------~--~----~------------~-------~--~----~ -You received this message because you are subscribed to the Google -Groups "FriCAS - computer algebra system" group. -To post to this group, send email to -To unsubscribe from this group, send email to -fricas-devel-unsubscribe@googlegroups.com -For more options, visit this group at -http://groups.google.com/group/fricas-devel?hl=en --~----------~----~----~----~------~----~------~--~--- - - - \start -From: Tim Daly Date: Thu, 13 Mar 2008 20:27:11 -0600 +From: Tim Daly To: list -Cc: Subject: 20080313.01.pab.patch (hashcode for Aldor) This patch, by Peter Broadbery, makes the hashcode generated by Axiom @@ -8153,18 +7954,12 @@ index 81e2748..ab388db 100644 for arg in args repeat hash := hashCombine(hashString(STRING arg), hash) - - \start +Date: 14 Mar 2008 09:02:11 +0100 +From: Martin Rubey To: Gregory Vanuxem Subject: Re: aldor/axiom interoperability - <1205443304.3352.36.camel@ellipse> -From: Martin Rubey -Date: 14 Mar 2008 09:02:11 +0100 -Cc: Peter Broadbery , list, - fricas-devel < >, aldor-l@aldor.org - -Dear all, +Cc: Peter Broadbery unfortunately, I'm also having (severe) problems. @@ -8301,20 +8096,11 @@ fact(n: Integer): Integer == { works well. - - -Martin - - - - \start Date: Fri, 14 Mar 2008 08:03:12 +0000 -From: "Peter Broadbery" -To: "Gregory Vanuxem" Gregory Vanuxem +From: Peter Broadbery +To: Gregory Vanuxem Subject: Re: aldor/axiom interoperability - <1205443304.3352.36.camel@ellipse> -Cc: list, aldor-l@aldor.org On Thu, Mar 13, 2008 at 9:21 PM, Gregory Vanuxem wrote: > Dear Peter, * @@ -8363,12 +8149,11 @@ Index: src/sefo.c if (tfArgc(tf1) != tfArgc(tf2)) - \start -Subject: Re: aldor/axiom interoperability -To: list Date: Fri, 14 Mar 2008 19:10:24 +0100 (CET) From: Waldek Hebisch +To: list +Subject: Re: aldor/axiom interoperability Bill Page wrote: > Here it is: @@ -8397,19 +8182,12 @@ question is which versions of Aldor use the formula above? Did Axiom always use wrong formula or is this a change in Aldor? --- - Waldek Hebisch -Waldek Hebisch - - - \start Date: Fri, 14 Mar 2008 14:26:03 -0400 From: Bill Page To: Waldek Hebisch Subject: Re: aldor/axiom interoperability - -Cc: Peter Broadbery , list +Cc: Peter Broadbery On 3/14/08, Waldek Hebisch wrote: > Bill Page wrote: @@ -8469,19 +8247,12 @@ consistent, I doubt that we can be much more specific than that. I hope that Peter and Tim will find enough time to add a little more to the explanation of the why and the when of this change. -Regards, -Bill Page. - - - \start Date: Fri, 14 Mar 2008 14:44:02 -0400 From: Bill Page -To: "Gregory Vanuxem" Gregory Vanuxem +To: Gregory Vanuxem Subject: Re: aldor/axiom interoperability - <1205443304.3352.36.camel@ellipse> -Cc: Peter Broadbery , list, - aldor-l@aldor.org +Cc: Peter Broadbery On 3/13/08, Gregory Vanuxem wrote: > ...The main concern of this mail is if you are able to @@ -8529,20 +8300,12 @@ Looking in OutputPackage() for ??349042727 with code 483270060 >> System error: FOAM-USER::|fiRaiseException| is invalid as a function. -Regards, -Bill Page. - - - \start Date: Fri, 14 Mar 2008 17:36:34 -0400 From: Bill Page -To: "Gregory Vanuxem" Gregory Vanuxem +To: Gregory Vanuxem Subject: Re: aldor/axiom interoperability - <1205443304.3352.36.camel@ellipse> - -Cc: Peter Broadbery , list, - aldor-l@aldor.org +Cc: Peter Broadbery On 3/14/08, Bill Page wrote: > On 3/13/08, Gregory Vanuxem wrote: @@ -8597,16 +8360,10 @@ Looking in OutputPackage() for ??349042727 with code 320506156 >> System error: FOAM-USER::|fiRaiseException| is invalid as a function. -Regards, -Bill Page. - - - \start -From: Tim Daly Date: Fri, 14 Mar 2008 21:00:20 -0600 +From: Tim Daly To: list -Cc: Subject: 20080314.01.wxh.patch (heugcd fricas rev 256) This is a port of the HEUGCD Fricas revision 256 patch. The patch causes @@ -8778,20 +8535,12 @@ index 0000000..9541d31 +\end{thebibliography} +\end{document} - - \start Date: Fri, 14 Mar 2008 23:14:52 -0400 From: Bill Page -To: "Gregory Vanuxem" Gregory Vanuxem +To: Gregory Vanuxem Subject: Re: aldor/axiom interoperability - <1205443304.3352.36.camel@ellipse> - - -Cc: Peter Broadbery , list, - aldor-l@aldor.org - -Greg, +Cc: Peter Broadbery On 3/14/08, I wrote: > @@ -8842,23 +8591,12 @@ This allows the LenstraEllipticMethod to produce some useful output. I hope this helps, but of course I still consider it a bug that it seems impossible to call Axiom's output operations from within Aldor. - Regards, - Bill Page. - - - \start +Date: 15 Mar 2008 08:22:15 +0100 +From: Martin Rubey To: Bill Page Subject: Re: aldor/axiom interoperability - <1205443304.3352.36.camel@ellipse> - - -From: Martin Rubey -Date: 15 Mar 2008 08:22:15 +0100 -Cc: Peter Broadbery , list, - fricas-devel < >, aldor-l@aldor.org - -Bill Page writes: +Cc: Peter Broadbery > On 3/14/08, Bill Page wrote: > > On 3/13/08, Gregory Vanuxem wrote: @@ -8882,21 +8620,13 @@ But I used that extensively in axiom-combinat! How come it is broken now? And how come I cannot get any aldor to work together with my fricas currently? I'm a little desperate. -Martin - - - - \start -Subject: Re: aldor/axiom interoperability -From: Gregory Vanuxem -To: Peter Broadbery - <1205443304.3352.36.camel@ellipse> - <73691350803140103m4b83b95cv35dfd53751cee9e2@mail.gmail.com> Date: Sat, 15 Mar 2008 12:54:16 +0100 -Cc: list, aldor-l@aldor.org +From: Gregory Vanuxem +To: Peter Broadbery +Subject: Re: aldor/axiom interoperability -Le vendredi 14 mars 2008 =E0 08:03 +0000, Peter Broadbery a =E9crit :=20 +Le vendredi 14 mars 2008 =E0 08:03 +0000, Peter Broadbery a =E9crit : > On Thu, Mar 13, 2008 at 9:21 PM, Gregory Vanuxem = wrote: > > Dear Peter, * @@ -8926,61 +8656,48 @@ switch and test the new build procedure, many thanks for your work !!! > The hashcode fix _should_ help with runtime bugs. It tracks the > change to hashcodes marked 1_1_13_18 in gf_add.c ->=20 +> > Index: src/sefo.c -> =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= -=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= -=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D +> ========================= +========================== +================== > --- src/sefo.c (revision 23) > +++ src/sefo.c (working copy) > @@ -1361,7 +1361,9 @@ > Bool eq; ->=20 +> > sstNext("symeEqual", syme1, syme2); > + -> eq =3D symeEqual0(NULL, syme1, syme2); +> eq = symeEqual0(NULL, syme1, syme2); > + > sstDoneSyme(syme1); ->=20 +> > return eq; > @@ -1847,6 +1849,9 @@ > if (tfIsDefine(tf1) || tfIsDefine(tf2)) > return true; ->=20 +> > + if (tfIsThird(tf1) || tfIsThird(tf2)) > + return true; > + -> if (tfTag(tf1) !=3D tfTag(tf2)) +> if (tfTag(tf1) != tfTag(tf2)) > return false; -> if (tfArgc(tf1) !=3D tfArgc(tf2)) ->=20 +> if (tfArgc(tf1) != tfArgc(tf2)) +> Applied, thanks. I'll let you know if I encounter any issues during the switch. Hoping that it will be applied directly to the Aldor svn trunk. -Regards - -Greg - - - - - \start -Subject: Re: aldor/axiom interoperability +Date: Sat, 15 Mar 2008 13:07:03 +0100 From: Gregory Vanuxem To: Bill Page - <1205443304.3352.36.camel@ellipse> - - - -Date: Sat, 15 Mar 2008 13:07:03 +0100 -Cc: Peter Broadbery , list, - aldor-l@aldor.org +Subject: Re: aldor/axiom interoperability +Cc: Peter Broadbery -Le vendredi 14 mars 2008 =E0 23:14 -0400, Bill Page a =E9crit :=20 +Le vendredi 14 mars 2008 =E0 23:14 -0400, Bill Page a =E9crit : > Greg, ->=20 +> > On 3/14/08, I wrote: > > > > This problem seems to be related only the use of 'output' from inside @@ -8991,10 +8708,10 @@ Le vendredi 14 mars 2008 =E0 23:14 -0400, Bill Page a =E9crit :=20 > > #pile > > TestOutput: with > > testOutput: (Integer) -> Integer -> > =3D=3D add +> > == add > > import from String > > import from OutputPackage -> > testOutput(x:Integer):Integer =3D=3D +> > testOutput(x:Integer):Integer == > > output("help!") > > x > > --------- @@ -9007,27 +8724,27 @@ Le vendredi 14 mars 2008 =E0 23:14 -0400, Bill Page a =E9crit :=20 > > >> System error: > > FOAM-USER::|fiRaiseException| is invalid as a function. > > ->=20 +> > At the end of the page: ->=20 +> > http://axiom-wiki.newsynthesis.org/SandBoxEcfact ->=20 +> > I have included the following simple Aldor functions to replace > Axiom's 'output' operation with a direct call to Lisp format: ->=20 +> > -- implement output for Aldor -> output(x:String):Void =3D=3D { +> output(x:String):Void == { > import { FORMAT: (Boolean,String,String) -> Void } from Foreign Lisp; > FORMAT(true,"~a~%",x); > } -> output(x:String,y:OutputForm):Void =3D=3D { +> output(x:String,y:OutputForm):Void == { > import { FORMAT: (Boolean,String,String,String) -> Void } from Foreign = Lisp; > FORMAT(true,"~a ~a~%",x,unparse(convert(y)$InputForm)$InputForm); > } ->=20 +> > This allows the LenstraEllipticMethod to produce some useful output. ->=20 +> > I hope this helps, but of course I still consider it a bug that it > seems impossible to call Axiom's output operations from within Aldor. @@ -9039,55 +8756,44 @@ previously. I'll try the new build process of Peter and hopefully produce a patch for other Axiom flavours. -Regards - -Greg - - - - - \start -Subject: Re: aldor/axiom interoperability +Date: Sat, 15 Mar 2008 13:18:49 +0100 From: Gregory Vanuxem To: Martin Rubey - <1205443304.3352.36.camel@ellipse> - <9qzlt1ybr0.fsf@aquin.mat.univie.ac.at> -Date: Sat, 15 Mar 2008 13:18:49 +0100 -Cc: Peter Broadbery , list, - fricas-devel < >, aldor-l@aldor.org +Subject: Re: aldor/axiom interoperability +Cc: Peter Broadbery Le vendredi 14 mars 2008 =E0 09:02 +0100, Martin Rubey a =E9crit : > Dear all, ->=20 +> > unfortunately, I'm also having (severe) problems. ->=20 +> > My setup is as follows: ->=20 +> > fricas rev 258 ->=20 +> [...] > -----------------------------------------------------------------------= -------- ->=20 +> > I compiled FriCAS with gcl, then I followed the instructions given by F= ranz, > i.e., using the old makefiles from Peter.(!!!!) ->=20 +> > But it doesn't seem to work: ->=20 +> > --fact.as--------------------------------------------------------------= -------- > #include "axiom" ->=20 -> fact(n: PositiveInteger): PositiveInteger =3D=3D { -> n <=3D 1 =3D> 1; -> res: PositiveInteger :=3D 1; +> +> fact(n: PositiveInteger): PositiveInteger == { +> n <= 1 => 1; +> res: PositiveInteger := 1; > while n > 1 repeat { -> res :=3D res * n; -> n :=3D n-1; +> res := res * n; +> n := n-1; > } > res > } @@ -9095,20 +8801,20 @@ ranz, -------- -> (1) -> )co fact.as=20 -> Compiling FriCAS source code from file=20 -> /users/rubey/martin/Axiom/fact.as using AXIOM-XL compiler and=20 -> options=20 +> (1) -> )co fact.as +> Compiling FriCAS source code from file +> /users/rubey/martin/Axiom/fact.as using AXIOM-XL compiler and +> options > -O -Fasy -Fao -Flsp -laxiom -Mno-AXL_W_WillObsolete -DAxiom -Y $AXIOM/a= lgebra -> Use the system command )set compiler args to change these=20 +> Use the system command )set compiler args to change these > options. > #1 (Warning) Deprecated message prefix: use `ALDOR_' instead of `_AXL' > Compiling Lisp source code from file ./fact.lsp > Issuing )library command for fact > Reading /users/rubey/martin/Axiom/fact.asy > (1) -> fact 4 -> =20 +> > >> System error: > FUNCALL [or a callee] requires more than one argument. @@ -9119,64 +8825,53 @@ Axiom/FriCAS/OpenAxiom. Something is wrong on your side. > --acint.as-------------------------------------------------------------= -------- ->=20 +> > #include "axiom" ->=20 +> > ACInteger: with { > coerce: Integer -> %; > foo: % -> Integer; -> } =3D=3D Integer add { -> Rep =3D=3D Integer; import from Rep; -> foo(x: %): Integer =3D=3D { +> } == Integer add { +> Rep == Integer; import from Rep; +> foo(x: %): Integer == { > output((rep x)::OutputForm)$OutputPackage; > rep x; > } -> coerce(x: Integer): % =3D=3D per x; +> coerce(x: Integer): % == per x; > } > -----------------------------------------------------------------------= -------- ->=20 -> (1) -> )co acint.as=20 -> Compiling FriCAS source code from file=20 -> /users/rubey/aldor-test/acint.as using AXIOM-XL compiler and=20 -> options=20 +> +> (1) -> )co acint.as +> Compiling FriCAS source code from file +> /users/rubey/aldor-test/acint.as using AXIOM-XL compiler and +> options > -O -Fasy -Fao -Flsp -laxiom -Mno-AXL_W_WillObsolete -DAxiom -Y $AXIOM/a= lgebra -> Use the system command )set compiler args to change these=20 +> Use the system command )set compiler args to change these > options. > #1 (Warning) Deprecated message prefix: use `ALDOR_' instead of `_AXL' > Compiling Lisp source code from file ./acint.lsp > Issuing )library command for acint > Reading /users/rubey/aldor-test/acint.asy -> ACInteger is now explicitly exposed in frame frame0=20 -> ACInteger will be automatically loaded when needed from=20 +> ACInteger is now explicitly exposed in frame frame0 +> ACInteger will be automatically loaded when needed from > /users/rubey/aldor-test/acint > (1) -> foo(2::ACINT) > Internal Error -> The function foo with signature hashcode is missing from domain=20 -> UNPRINTABLE=20 - -The output bug tracked down by Bill. - -Can not help more :-( - -Greg - - +> The function foo with signature hashcode is missing from domain +> UNPRINTABLE +The output bug tracked down by Bill. +Can not help more :-( \start Date: Sat, 15 Mar 2008 08:19:28 -0400 From: Bill Page To: Martin Rubey Subject: Re: aldor/axiom interoperability - <1205443304.3352.36.camel@ellipse> - - - <9qskyso3iw.fsf@aquin.mat.univie.ac.at> -Cc: Peter Broadbery , list, - fricas-devel < >, aldor-l@aldor.org +Cc: Peter Broadbery On 15 Mar 2008 08:22:15 +0100, Martin Rubey wrote: > "Bill Page" writes: @@ -9218,23 +8913,11 @@ said exactly what version of Axiom he was using. I don't know. Perhaps you can report what problems you find so that other people can try to help. -Regards, -Bill Page. - - - \start -Subject: Re: aldor/axiom interoperability +Date: Sat, 15 Mar 2008 13:52:06 +0100 From: Gregory Vanuxem To: Bill Page - <1205443304.3352.36.camel@ellipse> - - - <9qskyso3iw.fsf@aquin.mat.univie.ac.at> - -Date: Sat, 15 Mar 2008 13:52:06 +0100 -Cc: fricas-devel < >, list - +Subject: Re: aldor/axiom interoperability Le samedi 15 mars 2008 =E0 08:19 -0400, Bill Page a =E9crit : @@ -9253,8 +8936,8 @@ software for me... Here is its manifestation: -greg@somewhere:~$ export AXIOM=3D/usr/local/axiom/mnt/linux/ -greg@somewhere:~$ /usr/local/axiom/mnt/linux/bin/axiom=20 +greg@somewhere:~$ export AXIOM=/usr/local/axiom/mnt/linux/ +greg@somewhere:~$ /usr/local/axiom/mnt/linux/bin/axiom GCL (GNU Common Lisp) 2.6.8 CLtL1 Jan 27 2008 15:27:27 Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl) Binary License: GPL due to GPL'ed components: (READLINE BFD UNEXEC) @@ -9263,9 +8946,9 @@ Dedicated to the memory of W. Schelter Use (help) to get some basic information on how to use GCL. Temporary directory for compiler files set to /tmp/ - AXIOM Computer Algebra System=20 + AXIOM Computer Algebra System Version: Axiom (January 2008) - Timestamp: Sunday January 27, 2008 at 16:33:07=20 + Timestamp: Sunday January 27, 2008 at 16:33:07 -------------------------------------------------------------------------= ---- Issue )copyright to view copyright notices. @@ -9273,14 +8956,14 @@ Temporary directory for compiler files set to /tmp/ Issue )quit to leave AXIOM and return to shell. -------------------------------------------------------------------------= ---- -=20 + Re-reading compress.daase Re-reading interp.daase Re-reading operation.daase Re-reading category.daase Re-reading browse.daase (1) -> )set br q (1) -> 1/0 - 1) ->=20 + 1) -> >> Error detected within library code: division by zero @@ -9293,7 +8976,7 @@ Temporary directory for compiler files set to /tmp/ The 'continue' choice is missing !!! I can't use GCL with this bug. The funny thing is that I have used Axiom for maybe 2 years without noticing -this.=20 +this. So actually I'm using a mix of Axiom/FriCAS/OpenAxiom that builds/runs on CMUCL, SBCL and Clisp. It's simpler to perform experimentations. I @@ -9306,8 +8989,8 @@ plan to completely switch to FriCAS, I just want memory usage in it : (2) - 2 Type: Fraction Integer - Time: 0.002 (EV) + 0.004 (OT) =3D 0.01 sec - Storage: 96K (EV) + 28K (OT) =3D 124K bytes + Time: 0.002 (EV) + 0.004 (OT) = 0.01 sec + Storage: 96K (EV) + 28K (OT) = 124K bytes I will drop a patch on the FriCAS mailing list when time will permits. It will eventually be included in. In the past I had several @@ -9318,51 +9001,23 @@ pure experimentation and not interesting in themselves. Actually I do not use CAS a lot (just for simple computations). -Hope to be better understood. - -Greg - - - - - \start Date: Sat, 15 Mar 2008 13:57:41 -0500 From: Tim Daly To: Gregory Vanuxem - on Sat, 15 Mar 2008 13:52:06 +0100) Subject: Re: aldor/axiom interoperability - <1205443304.3352.36.camel@ellipse> - - - <9qskyso3iw.fsf@aquin.mat.univie.ac.at> - - <1205585526.3497.60.camel@ellipse> -Cc: , list - -Greg, Can you make your code tree accessible somewhere? I can give you a userid on axiom-developer.org and you can upload it there? I'd like to pick up the changes you've been making and merge them back into the main tree. -Tim - - - \start +Date: 15 Mar 2008 19:53:37 +0100 +From: Martin Rubey To: Bill Page Subject: Re: aldor/axiom interoperability - <1205443304.3352.36.camel@ellipse> - - - <9qskyso3iw.fsf@aquin.mat.univie.ac.at> - -From: Martin Rubey -Date: 15 Mar 2008 19:53:37 +0100 -Cc: fricas-devel < >, aldor-l@aldor.org, - Peter Broadbery , list +Cc: Peter Broadbery Bill Page writes: @@ -9389,26 +9044,11 @@ one of the binary release version of Aldor, in fact. many thanks, -Martin - - - - \start -Subject: Re: aldor/axiom interoperability +Date: Sat, 15 Mar 2008 22:43:12 +0100 From: Gregory Vanuxem To: Tim Daly - <1205443304.3352.36.camel@ellipse> - - - <9qskyso3iw.fsf@aquin.mat.univie.ac.at> - - <1205585526.3497.60.camel@ellipse> - <200803151857.m2FIvfB30563@localhost.localdomain> -Date: Sat, 15 Mar 2008 22:43:12 +0100 -Cc: , list - -Tim, +Subject: Re: aldor/axiom interoperability Many thanks for your interest but as I said the code is not interesting. The code that saves/restore the Axiom environment is lost (with other @@ -9433,45 +9073,27 @@ the memory utilisation, as far as I know at least. Le samedi 15 mars 2008 =E0 13:57 -0500, root a =E9crit : > Greg, ->=20 +> > Can you make your code tree accessible somewhere? I can give you a > userid on axiom-developer.org and you can upload it there? I'd like to > pick up the changes you've been making and merge them back into the > main tree. ->=20 -> Tim ->=20 - - - - \start -From: Tim Daly Date: Sat, 15 Mar 2008 20:15:48 -0600 +From: Tim Daly To: list -Cc: Subject: Comparison of Mathematical programs Stefan Steinhaus has published a comparison of mathematical programs for data analysis at . It is interesting to see an end-user view of the systems. -Tim - - - \start Date: Sun, 16 Mar 2008 09:38:01 -0700 From: Arthur Ralfs -Subject: Re: mathML bug? (bug 7113) To: list -Message-id: <47DD4CE9.6010100@shaw.ca> -MIME-version: 1.0 - recognized. - -This is a multi-part message in MIME format. ---------------060806090304050808050605 +Subject: Re: mathML bug? (bug 7113) Tim Daly wrote: > -> x:=104348/33215 @@ -9525,13 +9147,10 @@ Arthur --------------060806090304050808050605-- - - \start -From: Tim Daly Date: Sun, 16 Mar 2008 23:43:11 -0600 +From: Tim Daly To: list -Cc: Subject: 20080316.01.acr.patch (bug 7113 invisible times) Rewrite invisible times to be "". @@ -9581,13 +9200,10 @@ index 67a8157..124c18f 100644 op = " " => "" op = "ROW" => "" - - \start -From: Tim Daly Date: Sun, 16 Mar 2008 23:54:44 -0600 +From: Tim Daly To: list -Cc: Subject: 20080316.02.tpd.patch (CATS verification) CATS (Computer Algebra Test Suite) is an Axiom long term goal intended @@ -10106,19 +9722,12 @@ index 2c8be63..7d31b41 100644 \end{thebibliography} \end{document} - - \start -To: Martin Rubey -From: Martin Rubey Date: 17 Mar 2008 12:29:21 +0100 -Cc: fricas-devel < >, - open-axiom-devel , - axiom-devel +From: Martin Rubey +To: list Subject: Re: parts, members and entries ---=-=-= - Dear all, especially dear friCAS users, I have now completed the first step in what I believe to be a cleanup of the @@ -10598,19 +10207,11 @@ CPtBS6snr9nExlFsantMLHpcLs6L1TO6Kd7S8A0BfbMNzOGZDhuSl7r9Js9ecBaAIDnY1lWlP7cC WnQU/AsoF43W/NToT+ud/w0wuGNL04cBAA== --=-=-=-- - - - \start Date: Mon, 17 Mar 2008 15:23:20 -0400 From: Bill Page To: Martin Rubey -Cc: list, - open-axiom-devel , - fricas-devel < >, - Angelos Mantzaflaris -Subject: prototypes (was:[axiom-mail] Declare variable - type within function) +Subject: prototypes (was:[axiom-mail] Declare variable type within function) > > "Bill Page" writes: > > > Angelos Mantzaflaris wrote: @@ -10715,16 +10316,10 @@ by applying it's usual function selection rules. There are other functions that might similarly benefit by the use of prototypes. E.g. 0(zero) and 1(one) for domains in RING. -Regards, -Bill Page. - - - \start -From: Tim Daly Date: Tue, 18 Mar 2008 00:43:06 -0600 +From: Tim Daly To: list -Cc: Subject: 20080317.01.tpd.patch (CATS verification) This patch checks the results given by Axiom against the results @@ -11335,13 +10930,10 @@ index 7d31b41..c7bf2ba 100644 \end{thebibliography} \end{document} - - \start -From: Tim Daly Date: Wed, 19 Mar 2008 00:04:24 -0600 +From: Tim Daly To: list -Cc: Subject: 20080318.01.tpd.patch (CATS verification) Check the kamke2 results using Maxima @@ -12330,13 +11922,10 @@ index c7bf2ba..0419904 100644 \end{thebibliography} \end{document} - - \start Date: Wed, 19 Mar 2008 19:20:21 -0700 (PDT) -From: TimDaly Tim Daly +From: Tim Daly To: sage-devel -Cc: list Subject: Re: sage directions It is always good practice to quote authority when being a @@ -12352,22 +11941,11 @@ R0ml is a very, very entertaining and enlightening speaker. Anyway, lecture 2. Don't miss it. -Tim Daly -Axiom - - - - \start Date: Thu, 20 Mar 2008 21:30:28 -0700 From: Bill Page To: list -Subject: Bill Page has invited you to The Algebraist - Network - - - -Hi, +Subject: Bill Page has invited you to The Algebraist Network Bill Page has invited you to join The Algebraist Network. @@ -12380,45 +11958,28 @@ We would like to promote the development and use of the Aldor programming langua Check out Bill Page's profile here: http://algebraist.crowdvine.com/profiles/12668 ----------------------- - Create a social network for any group, organization, event, or hobby. http://www.crowdvine.com/ - - \start Date: Thu, 20 Mar 2008 22:33:27 -0700 -From: Bill Page +From: Bill Page To: list -Subject: Bill Page added you as a friend at The Algebraist - Network - - -William Sit, +Subject: Bill Page added you as a friend at The Algebraist Network Bill Page added you as a friend on The Algebraist Network. - -If you don't know Bill Page, Bill Page is probably a fan. Consider it a compliment. +If you don't know Bill Page, Bill Page is probably a fan. Consider it +a compliment. Bill Page's profile: http://algebraist.crowdvine.com/profiles/show/12668 - - ------ -Too much email? Change your notification settings: -http://algebraist.crowdvine.com/account/change_email_settings - - - \start Date: Thu, 20 Mar 2008 23:21:52 -0700 From: Bill Page To: list -Subject: Bill Page left a comment on your The Algebraist - Network profile +Subject: Bill Page left a comment on your The Algebraist Network profile Bill Page left a comment on your profile: @@ -12432,21 +11993,11 @@ One thing that I would really like to discuss here is the relationship between A What do you think? ------ -Too much email? Change your notification settings: -http://algebraist.crowdvine.com/account/change_email_settings - - - \start Date: Fri, 21 Mar 2008 06:51:28 -0700 -From: "Ed Borasky" +From: Ed Borasky To: list -Subject: Ed Borasky added you as a friend at - The Algebraist Network - - -William Sit, +Subject: Ed Borasky added you as a friend at The Algebraist Network Ed Borasky added you as a friend on The Algebraist Network. @@ -12456,21 +12007,12 @@ If you don't know Ed Borasky, Ed Borasky is probably a fan. Consider it a compli Ed Borasky's profile: http://algebraist.crowdvine.com/profiles/show/12689 - - ------ -Too much email? Change your notification settings: -http://algebraist.crowdvine.com/account/change_email_settings - - - \start Date: Tue, 18 Mar 2008 06:41:36 -0700 (PDT) -From: lsanchez +From: Lennin Sanchez To: list Subject: java.lang.ClassCastException - Hello !!! Im Trying to deserialize an OMElement into an Array of Objects, here a snippets of my code @@ -12503,20 +12045,11 @@ org.apache.axis2.databinding.utils.BeanUtil.deserialize(BeanUtil.java:520) thx in advance, Lennin. --- -View this message in context: http://www.nabble.com/java.lang.ClassCastException-tp16121415p16121415.html -Sent from the axiom-developer mailing list archive at Nabble.com. - - - - \start -To: , axiom-devel , - open-axiom-devel -From: Martin Rubey Date: 22 Mar 2008 11:50:34 +0100 -Cc: -Subject: Re: [fricas-devel] Re: Solving linear equations +From: Martin Rubey +To: list +Subject: Re: Re: Solving linear equations Waldek Hebisch writes: @@ -12537,14 +12070,9 @@ Do you know, or can you point me to, the place where SPADreplace is used? Up to now I thought the lisp compiler would just compile the code.lsp files, but how would it make use of the SPADreplace property then? -Martin - - - - \start Date: Sun, 23 Mar 2008 14:45:59 -0400 -From: "Raymond E. Rogers" +From: Raymond Rogers To: list Subject: fedora8 compile @@ -12561,40 +12089,22 @@ BTW: I can't seem to get sudo to execute the echo's as user. Another kernel protection seems to kick in. I have to be root, any hints? -Ray - - - - - - - - \start Date: Sun, 23 Mar 2008 16:31:49 -0500 From: Tim Daly To: Raymond Rogers Subject: Re: fedora8 compile -Cc: list - -Ray, I built the fedora 8 binary. Please send me a console trace. It would be useful to see the trace from make NOISE= because by default a simple 'make' does a lot of output suppression. -Tim - - - \start -From: Tim Daly Date: Mon, 24 Mar 2008 01:18:58 -0600 +From: Tim Daly To: list -Cc: -Subject: 20080323.01.tpd.patch (add menus to firefox axiom - console) +Subject: 20080323.01.tpd.patch (add menus to firefox axiom console) This patch adds drop-down menus to the new axiom console within firefox. @@ -15237,17 +14747,11 @@ index 6b600ba..e8c22b8 100644 \subsection{numbasicfunctions.xhtml} <>= - - \start -To: , - open-axiom-devel , - axiom-devel -From: Martin Rubey Date: 25 Mar 2008 11:05:34 +0100 -Cc: -Subject: understanding domain vectors, optimization etc., - was: Re: [fricas-devel] Re: Solving linear equations +From: Martin Rubey +To: list +Subject: understanding domain vectors, optimization etc. Dear all, @@ -15338,24 +14842,12 @@ could become something like (DEFUN |IIARRAY2;maxColIndex;$I;7| (|m| $) (- (+ (|IIARRAY2;ncols;$Nni;9| |m| $) (QREFELT $ 8)) 1)) - -Martin - - - - \start -To: - <9qzlsnce4x.fsf@aquin.mat.univie.ac.at> -From: Martin Rubey Date: 25 Mar 2008 11:26:22 +0100 -Cc: axiom-devel , - open-axiom-devel -Subject: Re: [fricas-devel] understanding domain vectors, - optimization etc., - was: Re: [fricas-devel] Re: Solving linear equations +From: Martin Rubey +To: list +Subject: Re: understanding domain vectors, optimization etc. -Martin Rubey writes: > b) isn't the domain vector constant for domains and packages? I guess it won't > be constant for default domains, right? I believe it should be that way, @@ -15367,18 +14859,11 @@ constant as a whole, since the domain constructor may have parameters. What I meant is that (qrefelt $ nn) is constant. I guess not even that is entirely correct, but mostly. -Martin - - - - \start -From: Tim Daly Date: Tue, 25 Mar 2008 11:49:19 -0600 +From: Tim Daly To: list -Cc: -Subject: 20080325.01.tpd.patch (mathml invisibletimes - regression testing) +Subject: 20080325.01.tpd.patch (mathml invisibletimes regression testing) This fixes the mathml.input.pamphlet testing for invisibletimes. @@ -15590,12 +15075,10 @@ pace width='0.3em'/>z8 Date: Wed, 26 Mar 2008 00:47:09 +0100 (CET) From: Waldek Hebisch -Cc: list +To: Lennin Sanchez +Subject: Re: java.lang.ClassCastException > > Hello !!! Im Trying to deserialize an OMElement into an Array of Objects, @@ -16312,18 +15789,10 @@ Looks like wrong list. There are many things called Axiom. This list is about http://www.axiom-developer.org, while you seem to speak about http://ws.apache.org/commons/axiom. - --- - Waldek Hebisch -Waldek Hebisch - - - \start -From: Tim Daly Date: Tue, 25 Mar 2008 21:39:03 -0600 +From: Tim Daly To: list -Cc: Subject: Axiom March 2008 Release Axiom March 2008 Release is up. You can get it at @@ -16427,35 +15896,24 @@ CATS (Computer Algebra Test Suite) o Complex Gamma, logGamma, and log(Gamma) have additional tests and documentation. - - - - - - \start -From: Tim Daly Date: Fri, 28 Mar 2008 10:35:09 -0600 +From: Tim Daly To: list -Cc: Subject: Axiom binaries for March 2008 release The binaries for the March 2008 release are available at: -Tim - - - \start -From: Tim Daly Date: Fri, 28 Mar 2008 11:57:32 -0600 +From: Tim Daly To: list -Cc: Heow Eide-Goodman Heow Eide-Goodman Subject: Google Summer of Code +Cc: Heow Eide-Goodman LispNYC is a sponsoring organization for the Google Summer of Code -projects. Heow Eide-Goodman Heow Eide-Goodman still has a +projects. Heow Eide-Goodman still has a few slots available for qualified projects. In the past, Axiom has had several projects proposed. One of them @@ -16523,18 +15981,11 @@ There are many other projects that are on the list. And Heow is open to non-axiom projects so you might want to send him your ideas. I'd suggest you hurry though as the bidding should close soon. -Tim - - - \start Date: Fri, 28 Mar 2008 14:36:55 -0700 From: Arthur Ralfs -Subject: Re: Google Summer of Code To: list -Message-id: <47ED64F7.4000708@shaw.ca> -MIME-version: 1.0 - recognized. +Subject: Re: Google Summer of Code Tim Daly wrote: > * Integrate graphics @@ -16554,21 +16005,10 @@ Tim, Are you planning to use the existing C graphics code? -Arthur - - - \start Date: Fri, 28 Mar 2008 18:11:40 -0500 From: Tim Daly To: Alfredo Portes - (Alfredo Portes) - - <200803281733.m2SHXcB20427@localhost.localdomain> - - <200803282158.m2SLwk820610@localhost.localdomain> - -Cc: list Subject: Firefox interface (copied to the list) @@ -16604,18 +16044,11 @@ On the back end this will interface to the new, as-yet-unpublished API domain which exposes the functionality I mentioned, like getdatabase and history. -Tim - - - \start Date: Fri, 28 Mar 2008 18:15:01 -0500 From: Tim Daly To: Arthur Ralfs - Mar 2008 14:36:55 -0700) Subject: Re: Google Summer of Code - <47ED64F7.4000708@shaw.ca> -Cc: list >> * Integrate graphics >> @@ -16639,23 +16072,10 @@ X11 calls exist as a separate API. These will be replaced by a different set of routines, matching the API, but these new routines will output to the CANVAS object rather than X11. -Tim - - - \start Date: Fri, 28 Mar 2008 18:26:31 -0500 From: Tim Daly To: Alfredo Portes - (Alfredo Portes) - - <200803281733.m2SHXcB20427@localhost.localdomain> - - <200803282158.m2SLwk820610@localhost.localdomain> - - <200803282257.m2SMvPJ20647@localhost.localdomain> - -Cc: list Subject: Re: getDatabase (copied to the list) @@ -16705,19 +16125,11 @@ level but I haven't thought that idea thru. The closest I've come is the new API stuff, intending to lift system internals up to where I can rewrite axserver without $Lisp calls, etc. -Tim - - - - - \start -From: Tim Daly Date: Sat, 29 Mar 2008 01:03:01 -0600 +From: Tim Daly To: list -Cc: -Subject: 20080328.01.tpd.patch (CATS integration - regression testing) +Subject: 20080328.01.tpd.patch (CATS integration regression testing) More testing of integration, part of the computer algebra test suite. @@ -19655,17 +19067,12 @@ index 0000000..1a4b430 +\end{thebibliography} +\end{document} - - \start Date: Sat, 29 Mar 2008 09:31:45 -0400 -From: "Raymond E. Rogers" +From: Raymond Rogers To: list Subject: Fedora 8 binary problem -This is a multi-part message in MIME format. ---------------050102080006080009050509 - Hi, Apparently the binary for fedora 8 has residual references to root. @@ -19683,10 +19090,6 @@ The error occurs when a non-superuser does I am trying to generate a work around (ln -s) but have failed so far; and I was unable to compile the source code. -Ray - - - --------------050102080006080009050509 name="axiom.lst" filename="axiom.lst" @@ -19716,14 +19119,11 @@ W3gseSx6XSk9cCpncmFkKENzLHgseSx6KSkKYW5zOj1zb2x2ZShFcXMsW3gseSx6XSkKCgkK CQoK --------------050102080006080009050509-- - - \start Date: Sat, 29 Mar 2008 11:15:26 -0500 From: Tim Daly To: Raymond Rogers Subject: Re: Fedora 8 binary problem -Cc: list > Apparently the binary for fedora 8 has residual references to root. >"cc1: error: /root/axiom/mnt/fedora8/bin/../h: Permission denied" @@ -19742,16 +19142,11 @@ Cc: list Ok. I'll look into it. -Tim - - - \start Date: Sat, 29 Mar 2008 12:14:30 -0500 From: Tim Daly To: Raymond Rogers Subject: Re: Fedora 8 binary problem -Cc: list I logged into my fedora8 box as root and then did: @@ -19800,27 +19195,10 @@ strace axiom and see if you can spot the permission bit that might be failing. If nothing is obvious, post the strace output and I'll help. -Tim - - - - \start Date: Sun, 30 Mar 2008 04:33:07 -0500 From: Tim Daly To: Alfredo Portes, Camm Maguire - (Alfredo Portes) - - <200803300242.m2U2gTq21573@localhost.localdomain> - - <200803300305.m2U35FU21598@localhost.localdomain> - - - <200803300626.m2U6QP421660@localhost.localdomain> - - <200803300731.m2U7Vsu21708@localhost.localdomain> - -Cc: list, gcl-devel@gnu.org Subject: Re: Bug in AXserver.spad My best guess at this point is that the problem happens below the @@ -19865,30 +19243,10 @@ get a response then the connection is permanently hung. All of this code works perfectly if you browse from the local machine. -Tim - - - - - - - - - \start Date: Sun, 30 Mar 2008 01:35:58 -0700 From: Alfredo Portes To: Tim Daly - - <200803300305.m2U35FU21598@localhost.localdomain> - - - <200803300626.m2U6QP421660@localhost.localdomain> - - <200803300731.m2U7Vsu21708@localhost.localdomain> - - <200803300933.m2U9X7u29269@localhost.localdomain> -Cc: list, gcl-devel@gnu.org Subject: Re: Bug in AXserver.spad Hi Tim, @@ -19962,15 +19320,11 @@ you use another function. And with the lisp code it works fine. I guess this is a good indication that the sockets in GCL work fine. - - \start -From: Tim Daly Date: Mon, 31 Mar 2008 00:08:49 -0600 +From: Tim Daly To: list -Cc: -Subject: 20080330.01.tpd.patch (CATS integration - regression testing) +Subject: 20080330.01.tpd.patch (CATS integration regression testing) More files for integration testing. These are an initial checkin of the raw files. More CATS work needs to be done on each one. diff --git a/book/2008-04.txt b/book/2008-04.txt index c7f63f2..09365c9 100644 --- a/book/2008-04.txt +++ b/book/2008-04.txt @@ -1,10 +1,8 @@ \start -From: Tim Daly Date: Tue, 1 Apr 2008 00:36:30 -0600 +From: Tim Daly To: list -Cc: -Subject: 20080331.01.tpd.patch (CATS integration - regression testing) +Subject: 20080331.01.tpd.patch (CATS integration regression testing) More integrals tested. @@ -837,15 +835,11 @@ index 0000000..6027801 +\end{thebibliography} +\end{document} - - \start -From: Tim Daly Date: Wed, 2 Apr 2008 00:35:43 -0600 +From: Tim Daly To: list -Cc: -Subject: 20080401.01.tpd.patch (CATS integration - regression testing) +Subject: 20080401.01.tpd.patch (CATS integration regression testing) More integrals @@ -2500,18 +2494,12 @@ index 0000000..560ab37 +\end{thebibliography} +\end{document} - - \start Date: Sun, 30 Mar 2008 04:37:06 -0500 From: Tim Daly -To: joseph.north@gmail.com - (joseph.north@gmail.com) -Cc: mmccants@io.com, tfmorri@attglobal.net, steve@woz.org, llee4@austin.rr.com, - rlfolk@mail.utexas.edu, dunham@starpower.net, - somnaimpally@yahoo.ca, list, - wsb@alum.mit.edu, softwareal@yahoo.com, steven.bauer@amd.com +To: Joseph North Subject: Re: Axiom Mar 2008 fedora8-64 src Problem (R. 1)! +Cc: Mike McCants, Theodore Morris, Steve Wozniak, Lance Lee, Robert L. Folk, David Dunham, Som Naimpally, William S. Beebee, Steven Bauer Joseph, @@ -2603,40 +2591,13 @@ You have new mail in /var/spool/mail/root -bash: axiom: command not found [root@sco axiom]# " - Mayday, Veuillez M'Aider, s'il vous plait! - Tempus fugit et ad augusta per angusta. - - - Nil -desparare (Gauss), - - Joseph Roy D. North - Le - Roi Du Nord - 3220 -Duval Road, Apt. 1110 - Austin, -TX 78759-3524, USA - -Scientia est Potentia! - - - - \start Date: Sun, 30 Mar 2008 10:08:54 -0500 -From: "Joseph North" +From: Joseph North To: Tim Daly - boundary="----=_Part_35116_6697105.1206889735189" - <200803300937.m2U9b6D29275@localhost.localdomain> -Cc: mmccants@io.com, tfmorri@attglobal.net, steve@woz.org, llee4@austin.rr.com, - rlfolk@mail.utexas.edu, dunham@starpower.net, - somnaimpally@yahoo.ca, steven.bauer@amd.com, - list, wsb@alum.mit.edu, softwareal@yahoo.com +Cc: Mike McCants, Theodore Morris, Steve Wozniak, Lance Lee, Robert Folk, David Dunham, Som Naimpally, Steven Bauer, William Beebee Subject: Re: Axiom Mar 2008 fedora8-64 src Problem (R. 1)! -------=_Part_35116_6697105.1206889735189 - On Sun, Mar 30, 2008 at 4:37 AM, Tim Daly wrote: > Joseph, > @@ -14355,14 +14316,10 @@ AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA ------=_Part_35116_6697105.1206889735189-- - - \start Date: Thu, 03 Apr 2008 00:17:50 -0400 From: William Sit To: list -Message-id: <47F45A6D.313FFBA6@sci.ccny.cuny.edu> -MIME-version: 1.0 Subject: out of space I ran a computation (computing the radical of an ideal) that @@ -14409,31 +14366,19 @@ it is possible (if so, how) to continue the computation after an ALLOCATE command or do I have to start over? Thanks. -William - - - - - \start Date: Thu, 3 Apr 2008 01:26:36 -0500 From: Tim Daly To: William Sit - on Thu, 03 Apr 2008 00:17:50 -0400) Subject: Re: out of space -Cc: list Can you post an input file for this? - - \start -From: Tim Daly Date: Thu, 3 Apr 2008 01:21:38 -0600 +From: Tim Daly To: list -Cc: -Subject: 20080402.01.tpd.patch (CATS integration - regression testing) +Subject: 20080402.01.tpd.patch (CATS integration regression testing) More integrals ========================================================================= @@ -16083,11 +16028,9 @@ index 0000000..7ab11d7 +\end{thebibliography} +\end{document} - - \start Date: Thu, 3 Apr 2008 09:28:48 +0200 (CEST) -From: "Fabio S." Fabio Stumbo +From: Fabio Stumbo To: list Subject: Re: out of space @@ -16108,19 +16051,11 @@ ran many time exactly in the same problem (computing groebner basis). I also would like to know more about how to control such situation. Is there some reference on the documentation? -Thanks - -Fabio - - - \start Date: Thu, 3 Apr 2008 11:38:47 +0200 (CEST) From: Franz Lehner To: list Subject: Re: out of space -Cc: - > Question: How exactly do I issue an ALLOCATE command? For me a command like @@ -16131,18 +16066,10 @@ You can get memory information with I found this somewhere on the axiom-wiki and do not know any background. -regards, -Franz - - - \start Date: Thu, 03 Apr 2008 16:28:30 +0200 From: Ralf Hemmecke -To: , aldor-l , - axiom-dev , - open-axiom-devel -Cc: +To: list Subject: Use ! as factorial On 04/03/2008 02:56 PM, Francois Maltey wrote: @@ -16161,19 +16088,11 @@ Hmm, does anybody see a reason that ! could not be a special keyword of SPAD/Aldor that behaves as postfix operator similar to the douple dot operator ".." in Aldor? -Ralf - - - \start Date: Fri, 04 Apr 2008 00:07:19 -0400 From: William Sit -Subject: Re: out of space To: Franz Lehner -Message-id: <47F5A977.C2FA92A8@sci.ccny.cuny.edu> -MIME-version: 1.0 - -Cc: list +Subject: Re: out of space Franz Lehner wrote: @@ -16243,29 +16162,11 @@ Value = NIL However, I do not know what the info mean. It seems that the problem is with array hash-table vector. - - - -William - - - - - - - - - - - - \start -From: Tim Daly Date: Thu, 3 Apr 2008 23:26:49 -0600 +From: Tim Daly To: list -Cc: -Subject: 20080403.01.tpd.patch (CATS integration - regression testing) +Subject: 20080403.01.tpd.patch (CATS integration regression testing) More integrals ======================================================================== @@ -17436,13 +17337,10 @@ index 0000000..3cb4766 +\end{thebibliography} +\end{document} - - \start -From: Tim Daly Date: Fri, 4 Apr 2008 12:31:55 -0600 +From: Tim Daly To: list -Cc: Subject: 20080404.01.tpd.patch (faq 45, faq 46) FAQ items added after legal consultations. @@ -17524,15 +17422,11 @@ index 0465fd7..ac41077 100644 + github.com/daly/axiom + - - \start -From: Tim Daly Date: Sun, 6 Apr 2008 12:29:18 -0500 +From: Tim Daly To: list -Cc: -Subject: 20080406.01.tpd.patch (CATS integraion regression - testing) +Subject: 20080406.01.tpd.patch (CATS integraion regression testing) More integrals ======================================================================= @@ -18471,13 +18365,10 @@ index 0000000..37e89ee +\end{thebibliography} +\end{document} - - \start -From: Tim Daly Date: Wed, 9 Apr 2008 02:27:31 -0500 +From: Tim Daly To: list -Cc: Subject: 20080408.01.tpd.patch (mapleok cleanup) In response to observations by Waldek and Martin various cleanups @@ -25555,15 +25446,11 @@ index 1fb777d..a470496 100644 )lisp (bye) - - \start -From: Tim Daly Date: Wed, 9 Apr 2008 22:26:25 -0500 +From: Tim Daly To: list -Cc: -Subject: 20080409.01.tpd.patch (CATS integration - regression testing) +Subject: 20080409.01.tpd.patch (CATS integration regression testing) ======================================================================== diff --git a/changelog b/changelog @@ -27708,15 +27595,11 @@ index 0000000..1a6b60a +\end{thebibliography} +\end{document} - - \start -From: Tim Daly Date: Wed, 9 Apr 2008 22:37:05 -0500 +From: Tim Daly To: list -Cc: -Subject: 20080409.02.tpd.patch (add src/doc/toe.gif, - Max Tegmark) +Subject: 20080409.02.tpd.patch (add src/doc/toe.gif, Max Tegmark) The src/doc/toe.gif file will later be used as part of the Axiom documentation. Max Tegmark has given me permission @@ -27772,15 +27655,11 @@ index c0aa0a8..6d35e34 100644 "Bernhard Wall Stephen Watt Jaap Weel" "Juergen Weiss M. Weller Mark Wegman" - - \start -From: Tim Daly Date: Thu, 10 Apr 2008 01:41:40 -0500 +From: Tim Daly To: list -Cc: -Subject: 20080409.03.tpd.patch (CATS integration - regression testing) +Subject: 20080409.03.tpd.patch (CATS integration regression testing) More integrals ======================================================================== @@ -28213,32 +28092,21 @@ index 0000000..250e7c3 +\end{thebibliography} +\end{document} - - \start Date: Thu, 10 Apr 2008 04:01:02 -0400 From: Tim Daly To: William Sit -Cc: list Subject: out of space -William, - I have been running the input file you posted continuously since shortly after you posted it on april 3rd. So far it has not completed. But it has also not run out of space. -Tim - - - \start -From: Tim Daly Date: Mon, 14 Apr 2008 01:34:03 -0500 +From: Tim Daly To: list -Cc: -Subject: 20080413.01.tpd.patch (CATS integration - regression testing) +Subject: 20080413.01.tpd.patch (CATS integration regression testing) More integrals ========================================================================== @@ -30761,15 +30629,11 @@ index 0000000..0e1aaf4 +\end{thebibliography} +\end{document} - - \start -From: Tim Daly Date: Mon, 14 Apr 2008 22:12:17 -0500 +From: Tim Daly To: list -Cc: -Subject: 20080414.01.tpd.patch (CATS integration test - suite) +Subject: 20080414.01.tpd.patch (CATS integration test suite) The last of the indefinite integrals ======================================================================= @@ -32617,15 +32481,11 @@ index 0000000..1a5c359 +\end{thebibliography} +\end{document} - - \start -From: Tim Daly Date: Tue, 15 Apr 2008 02:25:15 -0500 +From: Tim Daly To: list -Cc: -Subject: 20080415.01.tpd.patch (CATS Schaums-Axiom - equivalence testing (1)) +Subject: 20080415.01.tpd.patch (CATS Schaums-Axiom equivalence testing (1)) This patch covers schaum1.input.pamphlet which are integrals involving a*x+b. We attempt to determine if the results from Schaums and Axiom @@ -34557,15 +34417,11 @@ index 8507428..7e7e8c4 100644 )lisp (bye) @ - - \start -From: Tim Daly Date: Thu, 17 Apr 2008 01:03:47 -0500 +From: Tim Daly To: list -Cc: -Subject: 20080416.01.tpd.patch (CATS Schaums-Axiom - equivalence testing (2-7)) +Subject: 20080416.01.tpd.patch (CATS Schaums-Axiom equivalence testing (2-7)) Item 14:150 Schaums and Axiom DISAGREE BY A NON-CONSTANT in schaum7.input.pamphlet is particularly interesting because @@ -39700,16 +39556,11 @@ index 9226da0..3062d2e 100644 --R --R - - - \start Date: Thu, 17 Apr 2008 06:26:26 -0400 From: Doug Stewart To: Tim Daly -Subject: Re: 20080416.01.tpd.patch (CATS - Schaums-Axiom equivalence testing (2-7)) -Cc: list +Subject: Re: 20080416.01.tpd.patch (CATS Schaums-Axiom equivalence testing (2-7)) Tim Daly wrote: > Item 14:150 Schaums and Axiom DISAGREE BY A NON-CONSTANT @@ -39831,14 +39682,10 @@ I tried it on maximum and got: and this agrees with my schaums book; - - - \start -From: Tim Daly Date: Thu, 17 Apr 2008 10:12:22 -0500 -To: list, "Doug Stewart" -Cc: +From: Tim Daly +To: Doug Stewart Subject: 20080417.01.tpd.patch (fixed 14:150) Doug, @@ -39990,17 +39837,11 @@ index 3062d2e..ce37f19 100644 \section{\cite{1}:14.151~~~~~$\displaystyle\int{\frac{dx}{(x^2-a^2)^2}}$} - - \start -From: William Sit -Subject: Re: 20080416.01.tpd.patch (CATS - Schaums-Axiom equivalence testing (2-7)) -To: Doug Stewart,Tim Daly Date: Thu, 17 Apr 2008 17:36:27 -0400 -Cc: list - -Tim: +From: William Sit +To: Doug Stewart, Tim Daly +Subject: Re: 20080416.01.tpd.patch (CATS Schaums-Axiom equivalence testing (2-7)) You have a typo at bb: bb:=1/(2*a^2*x*2)-1/(2*a^4)*log(x^2/(x^2-a^2)) @@ -40160,31 +40001,12 @@ On Thu, 17 Apr 2008 06:26:26 -0400 >2a x > >and this agrees with my schaums book; -> -> -> ->_______________________________________________ ->Axiom-developer mailing list ->list ->http://lists.nongnu.org/mailman/listinfo/axiom-developer - -William Sit, -Professor of Mathematics, City College of New York - -Office: R6/202C Tel: 212-650-5179, Fax: 212-862-0004 -Home Page: http://scisun.sci.ccny.cuny.edu/~wyscc/ - - \start Date: Thu, 17 Apr 2008 19:44:04 -0400 From: Tim Daly To: William Sit -Subject: Re: 20080416.01.tpd.patch (CATS - Schaums-Axiom equivalence testing (2-7)) -Cc: list - -William, +Subject: Re: 20080416.01.tpd.patch (CATS Schaums-Axiom equivalence testing (2-7)) Yes, thanks. I found that problem this morning when I was more awake. @@ -40197,17 +40019,11 @@ Any rules you find would be useful. I'm accumulating the rules I used as I go along. They will become part of a set of optional "simplification" routines. -Tim - - - \start -From: Tim Daly Date: Fri, 18 Apr 2008 01:54:04 -0500 +From: Tim Daly To: list -Cc: -Subject: 20080417.02.tpd.patch (CATS Schaums-Axiom - equivalence testing (8-10)) +Subject: 20080417.02.tpd.patch (CATS Schaums-Axiom equivalence testing (8-10)) schaum8.input.pamphlet 14:163 Schaums and Axiom differ by a constant @@ -43728,15 +43544,11 @@ index 6610811..fceb094 100644 )lisp (bye) @ - - \start -From: Tim Daly Date: Sat, 19 Apr 2008 01:28:16 -0500 +From: Tim Daly To: list -Cc: -Subject: 20080418.01.tpd.patch (CATS Schaums-Axiom - equivalence testing (1-11)) +Subject: 20080418.01.tpd.patch (CATS Schaums-Axiom equivalence testing (1-11)) This patch revises several old files where it was claimed that Axiom could not factor the results. As Shakespeare once said (but never @@ -50194,14 +50006,10 @@ index fceb094..d632de7 100644 --R Type: Expression Integer --E - - - \start -From: Tim Daly Date: Sun, 20 Apr 2008 02:01:32 -0500 +From: Tim Daly To: list -Cc: Subject: 20080419.01.tpd.patch schaum12.input.pamphlet @@ -52679,28 +52487,12 @@ index 644ebed..1c0d0b2 100644 --R --R - - \start Date: Sun, 20 Apr 2008 09:35:49 -0400 From: Bill Page To: Martin Rubey - <48077F1A.1080202@shaw.ca> - - - - <4809B818.80405@hemmecke.de> - - <480A7406.3090601@hemmecke.de> - - <9qr6d12e9c.fsf@aquin.mat.univie.ac.at> -Cc: list, - fricas-devel < >, - open-axiom-devel Subject: Re: Project -Martin, - I think discussing things like off the email lists does more damage to the community then it would if you were to be more public about these opinions. Are far as I am concerned, you have nothing to fear from @@ -52711,9 +52503,6 @@ Sage is not going away (It should not go away!) and I think the Axiom community needs to deal with how it should interact with Sage in the future. -Regards, -Bill Page. - On Sun, Apr 20, 2008 at 3:10 AM, Martin Rubey wrote: > I don't have the guts to send this to a public mailing list. I probably > should. If you want to, you have my permission. @@ -52746,55 +52535,30 @@ On Sun, Apr 20, 2008 at 3:10 AM, Martin Rubey wrote: > > a) attract other people, not working on Sage > b) merge our community into the Sage community -> -> Martin -> -> - - \start Date: Sun, 20 Apr 2008 08:52:48 -0700 From: Arthur Ralfs To: Ralf Hemmecke -Message-id: <480B66D0.9040607@shaw.ca> -MIME-version: 1.0 - <48076B9B.7010308@shaw.ca> - - <48077F1A.1080202@shaw.ca> - - - - <4809B818.80405@hemmecke.de> - - <480A7406.3090601@hemmecke.de> - recognized. -Cc: list, Subject: Re: Project Hi Ralf, -My own perspective in what I'm doing is authoring mathematical web documents -that can be live by connecting to a CAS somewhere on a server. All -tools I use -must be completely free and open source, but in addition it is very -important to -me that somebody should be able to navigate to a URL and get full -mathematical -content without having to download or install anything. I realized this -was a -possibility about three years ago when I noticed that Firefox supported both -MathML and SVG. Axiom/FriCAS/OpenAxiom serve as a backend to make the -document live. I could use something else as a backend but when I first -started -and looked around at what was available Axiom looked best. - -I checked out Sage when I first heard about it and it didn't seem to be -what I wanted. -Certainly Sage is an excellent project and with all this discussion I've -just downloaded -and compiled the latest version so I can take a closer look at it's -current status. +My own perspective in what I'm doing is authoring mathematical web +documents that can be live by connecting to a CAS somewhere on a +server. All tools I use must be completely free and open source, but +in addition it is very important to me that somebody should be able to +navigate to a URL and get full mathematical content without having to +download or install anything. I realized this was a possibility about +three years ago when I noticed that Firefox supported both MathML and +SVG. Axiom/FriCAS/OpenAxiom serve as a backend to make the document +live. I could use something else as a backend but when I first +started and looked around at what was available Axiom looked best. + +I checked out Sage when I first heard about it and it didn't seem to +be what I wanted. Certainly Sage is an excellent project and with all +this discussion I've just downloaded and compiled the latest version +so I can take a closer look at it's current status. Arthur @@ -52925,18 +52689,12 @@ Ralf Hemmecke wrote: > > > Ralf -> - - - \start Date: Sun, 20 Apr 2008 11:13:51 -0700 (PDT) -From: TimDaly Tim Daly -To: sage-devel -Cc: list -Subject: Re: [fricas-devel] Re: Project - +From: Tim Daly +To: list +Subject: Re: Re: Project > How does the fricas/axiom source code layout work? > Is it all written in pamphlets that lisp is generated from? @@ -53159,27 +52917,11 @@ if we want so that the science as a whole benefits. I hope that Gary generates literate documents so I can re-implement his algorithms in Axiom. - - - \start Date: Sun, 20 Apr 2008 20:15:05 +0200 From: Ralf Hemmecke -To: - - - <4809B818.80405@hemmecke.de> - - <480A7406.3090601@hemmecke.de> - - <9qr6d12e9c.fsf@aquin.mat.univie.ac.at> - - <8cf963450804200657y3a6f30et333c3e43289b7d9a@mail.gmail.com> - <85e81ba30804200829q433420fbid63173ee43f5866f@mail.gmail.com> -Cc: axiom-dev , sage-devel@googlegroups.com, - open-axiom-devel -Subject: Re: [fricas-devel] Re: [sage-devel] Re: - [fricas-devel] Re: Project +To: list +Subject: Re: Project Hi William, @@ -53288,37 +53030,13 @@ I agree, nothing is perfect. But as for this particular case, I know Dr. Johannes Grabmeier personally, and since he is working near Linz, he might be around at the Aldor & Axiom Workshop. -Ralf - - - \start Date: Sun, 20 Apr 2008 16:32:59 -0400 From: Tim Daly To: list -Subject: [Tim Daly: [sage-devel] Re: - [fricas-devel] Re: [sage-devel] Re: [fricas-devel] Re: Project] +Subject: Re: Project ------- Start of forwarded message ------- -DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; - d=googlegroups.com; s=beta; - h=domainkey-signature:received:received:x-sender:x-apparently-to:mime-version:content-type:message-id:date:received:in-reply-to:x-ip:references:user-agent:x-http-useragent:subject:from:to:reply-to:sender:precedence:x-google-loop:mailing-list:list-id:list-post:list-help:list-unsubscribe; - bh=QHvK3u/9vvkwSeyjMBA9KfJ24zRg9ITV+o4p0Hd706s=; - b=ezalMvjDeOdOfST6U2Ja6n0ZVPk44gThZCfCaELr7PqiXYRM/GvhzF2EYPRFrYGVDNoOM9zFN4QhX+vbBNbN+aIPKgSkzhsowtRvpdJTILi3TxhcWAIyKWHSwsFKZCgp7zt9EFBkz/HZ55p22OQQO0Ltuq1+eQJohz3Yo82zwDE= -DomainKey-Signature: a=rsa-sha1; c=nofws; - d=googlegroups.com; s=beta; - h=x-sender:x-apparently-to:mime-version:content-type:message-id:date:in-reply-to:x-ip:references:user-agent:x-http-useragent:subject:from:to:reply-to:sender:precedence:x-google-loop:mailing-list:list-id:list-post:list-help:list-unsubscribe; - b=x6ibz7EYmjeaOmLCY7DFg6RnwXjJNZNjFmeQBTQ3xgg0NMbTSghv3LjsELSOuetSJCztX0JK8yqNTbQC0fN8BMDnpG+/h3qfxtZQQUU2F+8FUk0N7TcbPwLzxNnVYpIgca/b2ocuaAEx8FoYAZbwN804SmsNF5PlLGbJRRkjaIk= -Date: Sun, 20 Apr 2008 12:07:43 -0700 (PDT) -Subject: [sage-devel] Re: [fricas-devel] Re: [sage-devel] Re: [fricas-devel] - Re: Project -From: TimDaly Tim Daly -To: sage-devel -Mailing-List: list sage-devel@googlegroups.com; - contact sage-devel-owner@googlegroups.com - - - > > A good unifying graphical interface is extremely important to creating > > something that is a viable alternative to @@ -53391,35 +53109,13 @@ affordances you can make the 4Ms irrelevant. To paraphrase Sun Tzu, Think long term. Look toward the 30 year horizon. -Tim - -- --~--~---------~--~----~------------~-------~--~----~ -To post to this group, send email to sage-devel@googlegroups.com -To unsubscribe from this group, send email to sage-devel-unsubscribe@googlegroups.com -For more options, visit this group at http://groups.google.com/group/sage-devel -URLs: http://www.sagemath.org -- -~----------~----~----~----~------~----~------~--~--- -------- End of forwarded message ------- - - - \start Date: Sun, 20 Apr 2008 13:22:13 -0700 From: William Stein To: sage-devel@googlegroups.com - <4809B818.80405@hemmecke.de> - - <480A7406.3090601@hemmecke.de> - - <9qr6d12e9c.fsf@aquin.mat.univie.ac.at> - - <8cf963450804200657y3a6f30et333c3e43289b7d9a@mail.gmail.com> - <85e81ba30804200829q433420fbid63173ee43f5866f@mail.gmail.com> - <8112c6e9-939d-475c-889c-a2ad1b839cce@x41g2000hsb.googlegroups.com> -Cc: list -Subject: Re: [sage-devel] Re: [fricas-devel] Re: Project - -On Sun, Apr 20, 2008 at 11:13 AM, TimDaly Tim Daly wrote: +Subject: Re: Project + +On Sun, Apr 20, 2008 at 11:13 AM, Tim Daly wrote: > > > > How does the fricas/axiom source code layout work? @@ -53808,24 +53504,11 @@ mostly not coming up with any new algorithms easier. He's just doing what he is doing because he is a very talented programming and he needs the results to support his research interests. - -- William - - - \start Date: Sun, 20 Apr 2008 21:52:58 -0400 -From: "Ted Kosan" +From: Ted Kosan To: list Subject: re: Project - - - - <4809B818.80405@hemmecke.de> - - <480A7406.3090601@hemmecke.de> - - <9qr6d12e9c.fsf@aquin.mat.univie.ac.at> - Alfredo Portes wrote: @@ -53899,48 +53582,21 @@ Axiom, here is a link to its project website: https://mathrider.dev.java.net/ -Respectfully, - -Ted Kosan - - - \start Date: Sun, 20 Apr 2008 23:47:07 -0400 From: Tim Daly -To: ted.kosan@gmail.com - (ted.kosan@gmail.com) +To: Ted Kosan Subject: re: Project - - - - <4809B818.80405@hemmecke.de> - - <480A7406.3090601@hemmecke.de> - - <9qr6d12e9c.fsf@aquin.mat.univie.ac.at> - - <9d9ff120804201852t21c77932w5c3b388d400e11c1@mail.gmail.com> -Cc: list - -Ted, That's a very pretty piece of work and it seems really well integrated with yacas. I'm surprised that Sage wouldn't use it for education. The dynamic graphing is perfect for the education market. -Tim - - - \start Date: Sun, 20 Apr 2008 19:50:13 -0700 From: Ed Borasky To: William Stein -Subject: re: [sage-devel] Re: [fricas-devel] Re: Project - <85e81ba30804201322g2db35481r8089f1ad80af94aa@mail.gmail.com> - recognized. -Cc: list +Subject: Re: Project William Stein wrote: > I'm unconvinced that literate programming is a silver bullet that @@ -54023,26 +53679,21 @@ You aren't the only open source project that has poor Windows support. But there are some happy exceptions. I personally prefer the Windows UI for R to the "native" Linux one. - - - - \start Date: Sun, 20 Apr 2008 20:02:18 -0700 From: Ed Borasky To: Bill Page Subject: re: Project - - recognized. -Cc: list - ->> It seems that Sage is going to connect with OLPC. If all those kids do their ->> math using Sage, I think there is no way around Sage anymore. Sage can already ->> do many many things better than Axiom, I suppose, so we need really good ->> reasons to continue with Axiom, I think. Maybe I should just redo the guessing ->> package in Python and be done with it? Some time ago I said that I'll quit ->> Axiom if there are less than twenty contributors by the end of 2008. However, ->> it seems to me that the number of algebra contributors actually went down! + +>> It seems that Sage is going to connect with OLPC. If all those +>> kids do their math using Sage, I think there is no way around Sage +>> anymore. Sage can already do many many things better than Axiom, +>> I suppose, so we need really good reasons to continue with Axiom, +>> I think. Maybe I should just redo the guessing package in Python +>> and be done with it? Some time ago I said that I'll quit Axiom if +>> there are less than twenty contributors by the end of 2008. +>> However, it seems to me that the number of algebra contributors +>> actually went down! Well, before you get your hopes up on the OLPC XO, let someone who owns two of them (me) inject a bit of realism into the discussion. The XO in @@ -54056,15 +53707,11 @@ without a *lot* of shoe-horning. And if you run out of RAM, there is Is it a good platform for learning high-school math? I don't think so. You need something with more horsepower. - - \start -From: Tim Daly Date: Mon, 21 Apr 2008 02:21:56 -0500 +From: Tim Daly To: list -Cc: -Subject: 20080420.01.tpd.patch (CATS Schaums-Axiom - equivalence testing (13)) +Subject: 20080420.01.tpd.patch (CATS Schaums-Axiom equivalence testing (13)) Clearly I've exceeded my ability to simplify these expressions, or Axiom gets the wrong answers, or Schaums has the wrong answers. @@ -57993,13 +57640,10 @@ index eb1a6eb..c4a0351 100644 --R --R - - \start Date: Mon, 21 Apr 2008 23:09:46 -0700 (PDT) -From: TimDaly Tim Daly -To: sage-devel -Cc: list +From: Tim Daly +To: list Subject: East Coast Computer Algebra Day On Saturday, May 10, the next East Coast Computer Algebra Day is being @@ -58009,17 +57653,11 @@ The contributors to Sage might find it an interesting meeting. I know that Sage sent a student last year. -Tim - - - \start -From: Tim Daly Date: Tue, 22 Apr 2008 00:56:31 -0500 +From: Tim Daly To: list -Cc: -Subject: 20080421.01.tpd.patch (CATS Schaum2-Axiom - equivalence testing (14-16)) +Subject: 20080421.01.tpd.patch (CATS Schaum2-Axiom equivalence testing (14-16)) schaum14.input.pamphlet @@ -60298,11 +59936,9 @@ index f6b849c..b058a54 100644 --R --R - - \start Date: Tue, 22 Apr 2008 07:58:44 -0400 -From: "Raymond E. Rogers" +From: Raymond Rogers To: list Subject: March Fedora 8 @@ -60310,18 +59946,10 @@ While the March binary still has a back reference to the root user; the source file compiled correctly after downloading the gettext package. My system is happy and I have debugged the test program! -RayR - - - \start Date: Wed, 23 Apr 2008 20:19:20 -0700 From: Arthur Ralfs -To: , list -Message-id: <480FFC38.4050405@shaw.ca> -MIME-version: 1.0 - recognized. -Cc: +To: list Subject: sage interface impression After taking a look at the sage web interface I plan to continue with my @@ -60331,17 +59959,11 @@ is not what I have in mind. I comment that I think it is unlikely that one interface will be optimal for everybody. -Arthur - - - \start -From: Tim Daly Date: Thu, 24 Apr 2008 01:01:15 -0500 +From: Tim Daly To: list -Cc: -Subject: 20080423.01.tpd.patch (CATS Schaums-Axiom - equivalence testing (17-22)) +Subject: 20080423.01.tpd.patch (CATS Schaums-Axiom equivalence testing (17-22)) schaum17.input.pamphlet 14:339 Schaums and Axiom agree @@ -67623,147 +67245,30 @@ index 66befb9..173338a 100644 --R --R - - \start -From: "Christopher Scholz" -To: Date: Tue, 22 Apr 2008 22:21:47 +0200 - boundary="----=_NextPart_000_0067_01C8A4C7.417BF8F0" -Thread-Index: AciktnzqUvbRjW2KSWaYwtzDS/OjuQ== +From: Christopher Scholz +To: list Subject: windows sources -This is a multi-part message in MIME format. - -------=_NextPart_000_0067_01C8A4C7.417BF8F0 - charset="us-ascii" - Hello developer of axiom, - - is there any possibility to download sources for windows? - - -Best regards, - - - -Christopher Scholz - - -------=_NextPart_000_0067_01C8A4C7.417BF8F0 - charset="us-ascii" - - - - - - - - - - - - -
- -

Hello developer of = -axiom,

- -

 

- -

is there any possibility to download sources = -for -windows?

- -

 

- -

Best regards,

- -

 

- -

Christopher = -Scholz

- -
- - - - - -------=_NextPart_000_0067_01C8A4C7.417BF8F0-- - - - - - \start Date: Fri, 25 Apr 2008 01:50:28 -0400 From: Tim Daly -To: scholz@newgenerationx.de - (scholz@newgenerationx.de) +To: Christopher Scholz Subject: Re: windows sources -Cc: list - -Christopher, Axiom does not run on windows. Try the FriCAS project. -Tim - - - \start -To: "Christopher Scholz" -Subject: Re: windows sources -From: Martin Rubey Date: 25 Apr 2008 08:46:13 +0200 -Cc: fricas-devel < >, - axiom-devel +From: Martin Rubey +To: Christopher Scholz +Subject: Re: windows sources Dear Christopher, Dear Tim, @@ -67771,7 +67276,7 @@ Tim, thanks for forwarding. Christopher, -"Christopher Scholz" writes: +Christopher Scholz writes: > is there any possibility to download sources for windows? @@ -67805,11 +67310,6 @@ Common Lisp (supported: * ECL, 0.9j or later) with a little patching, of which sbcl should be fastest. -Hope this helps, - -Martin - - ------------------------------------------------------------------------------- INSTALL.CYGWIN: @@ -67992,16 +67492,11 @@ V) you may want to install the emacs mode coming with FriCAS. In this case you sh /usr/X11R6/bin/startxwin.sh eaxiom - - - \start -From: Tim Daly Date: Fri, 25 Apr 2008 01:24:24 -0500 +From: Tim Daly To: list -Cc: -Subject: 20080424.01.tpd.patch (CATS Shaums-Axiom - equivalence testing (23)) +Subject: 20080424.01.tpd.patch (CATS Shaums-Axiom equivalence testing (23)) schaum23.input.pamphlet 14:461 Schaums and Axiom agree @@ -68747,8 +68242,6 @@ index 679e775..c24ef73 100644 --R --R - - \start Date: Fri, 25 Apr 2008 22:56:02 -0400 From: Tim Daly @@ -68758,9 +68251,6 @@ Subject: the lisp community :-) http://www.catonmat.net/blog/musical-geek-friday-god-wrote-in-lisp-eternal-flame just for your friday amusement.... :-) -------- End of forwarded message ------- - - \start Date: Fri, 25 Apr 2008 23:02:01 -0400 @@ -68771,28 +68261,28 @@ Subject: Knuth on literate programming Don Knuth made these remarks in an interview with Andrew Binstock -Andrew: One of the few projects of yours that hasn’t been embraced by +Andrew: One of the few projects of yours that hasn't been embraced by a widespread community is literate programming. What are your thoughts -about why literate programming didn’t catch on? And is there anything -you’d have done differently in retrospect regarding literate +about why literate programming didn't catch on? And is there anything +you'd have done differently in retrospect regarding literate programming? -Donald: Literate programming is a very personal thing. I think it’s -terrific, but that might well be because I’m a very strange person. It +Donald: Literate programming is a very personal thing. I think it's +terrific, but that might well be because I'm a very strange person. It has tens of thousands of fans, but not millions. In my experience, software created with literate programming has turned out to be significantly better than software developed in more -traditional ways. Yet ordinary software is usually okay--I’d give it +traditional ways. Yet ordinary software is usually okay--I'd give it a grade of C (or maybe C++), but not F; hence, the traditional methods -stay with us. Since they’re understood by a vast community of -programmers, most people have no big incentive to change, just as I’m +stay with us. Since they're understood by a vast community of +programmers, most people have no big incentive to change, just as I'm not motivated to learn Esperanto even though it might be preferable to English and German and French and Russian (if everybody switched). Jon Bentley probably hit the nail on the head when he once was asked -why literate programming hasn’t taken the whole world by storm. He -observed that a small percentage of the world’s population is good at +why literate programming hasn't taken the whole world by storm. He +observed that a small percentage of the world's population is good at programming, and a small percentage is good at writing; apparently I am asking everybody to be in both subsets. @@ -68802,32 +68292,27 @@ and maintain programs faster and more reliably than ever before, and been one of my greatest sources of joy since the 1980s; it has actually been indispensable at times. Some of my major programs, such as the MMIX meta-simulator, could not have been written with any other -methodology that I’ve ever heard of. The complexity was simply too +methodology that I've ever heard of. The complexity was simply too daunting for my limited brain to handle; without literate programming, the whole enterprise would have flopped miserably. If people do discover nice ways to use the newfangled multithreaded machines, I would expect the discovery to come from people who routinely use literate programming. Literate programming is what you -need to rise above the ordinary level of achievement. But I don’t -believe in forcing ideas on anybody. If literate programming isn’t +need to rise above the ordinary level of achievement. But I don't +believe in forcing ideas on anybody. If literate programming isn't your style, please forget it and do what you like. If nobody likes it but me, let it die. -On a positive note, I’ve been pleased to discover that the conventions +On a positive note, I've been pleased to discover that the conventions of CWEB are already standard equipment within preinstalled software such as Makefiles, when I get off-the-shelf Linux these days. - - - \start Date: Fri, 25 Apr 2008 22:24:13 -0700 From: Ed Borasky To: Tim Daly Subject: Re: the lisp community :-) - recognized. -Cc: list root wrote: > http://www.catonmat.net/blog/musical-geek-friday-god-wrote-in-lisp-eternal-flame @@ -68849,15 +68334,11 @@ you keep this cardinal rule in mind, you can't go far wrong." Verity Stob - - \start -From: Tim Daly Date: Sat, 26 Apr 2008 00:36:36 -0500 +From: Tim Daly To: list -Cc: -Subject: 20080425.01.tpd.patch (CATS Schaums-Axiom - equivalence testing (24-25)) +Subject: 20080425.01.tpd.patch (CATS Schaums-Axiom equivalence testing (24-25)) There are some differences between Schaums and Axiom but these seem to occur in the complex plane. The likely problem is a @@ -71491,15 +70972,11 @@ index 250e7c3..0a55f34 100644 --R Type: Union(Expression Integer,...) --E - - \start -From: Tim Daly Date: Sun, 27 Apr 2008 01:07:54 -0500 +From: Tim Daly To: list -Cc: -Subject: 20080426.01.tpd.patch (CATS Schaums-Axiom - equivalence testing (26-28)) +Subject: 20080426.01.tpd.patch (CATS Schaums-Axiom equivalence testing (26-28)) On at least 2 of these problems Schaums and Axiom seem to disagree on the results, namely: @@ -75874,15 +75351,11 @@ index b3fc3c6..5c68b06 100644 --R --R - - \start Date: Sun, 27 Apr 2008 05:49:29 -0400 From: Doug Stewart To: Tim Daly -Subject: Re: 20080426.01.tpd.patch (CATS - Schaums-Axiom equivalence testing (26-28)) -Cc: list +Subject: Re: 20080426.01.tpd.patch (CATS Schaums-Axiom equivalence testing (26-28)) Tim Daly wrote: > On at least 2 of these problems Schaums and Axiom seem to disagree @@ -76181,14 +75654,11 @@ I think my logic is OK here But I am not an expert. > +--E > - - \start -Subject: Re: 20080426.01.tpd.patch (CATS Schaums-Axiom - equivalence testing (26-28)) -To: list Date: Sun, 27 Apr 2008 13:41:38 +0200 (CEST) From: Waldek Hebisch +To: list +Subject: Re: 20080426.01.tpd.patch (CATS Schaums-Axiom equivalence testing (26-28)) > On at least 2 of these problems Schaums and Axiom seem to disagree > on the results, namely: @@ -76223,21 +75693,11 @@ normalize(integrate(1/cosh(a*x)^2,x) - tanh(a*x)/a) so it seems that the difference really is a constant. --- - Waldek Hebisch -Waldek Hebisch - - - \start Date: Sun, 27 Apr 2008 13:36:46 -0400 From: Tim Daly To: Doug Stewart - Sun, 27 Apr 2008 05:49:29 -0400) -Subject: Re: 20080426.01.tpd.patch (CATS - Schaums-Axiom equivalence testing (26-28)) - <48144C29.3020705@sympatico.ca> -Cc: list +Subject: Re: 20080426.01.tpd.patch (CATS Schaums-Axiom equivalence testing (26-28)) > >+bb:=x/2+(sinh(a*x)*cosh(a*x))/2 @@ -76251,19 +75711,11 @@ Cc: list Thanks. It is a typo in my copy of Schaums. No wonder they disagree. -Tim - - - - \start Date: Sun, 27 Apr 2008 13:39:08 -0400 From: Tim Daly To: Waldek Hebisch - Hebisch on Sun, 27 Apr 2008 13:41:38 +0200 (CEST)) -Subject: Re: 20080426.01.tpd.patch (CATS Schaums-Axiom - equivalence testing (26-28)) -Cc: list +Subject: Re: 20080426.01.tpd.patch (CATS Schaums-Axiom equivalence testing (26-28)) >> On at least 2 of these problems Schaums and Axiom seem to disagree >> on the results, namely: @@ -76301,16 +75753,10 @@ Cc: list You're right. It was probably just post-midnight stupidity on my part. I'll fix it in the next update. -Thanks. -Tim - - - \start -From: Tim Daly Date: Sun, 27 Apr 2008 12:28:41 -0500 +From: Tim Daly To: list -Cc: Subject: bug in complexNormalize? Any help on this would really be appreciated. @@ -76355,13 +75801,11 @@ dd:=complexNormalize(integrate(sinh(a*x)^2*cosh(a*x)^2,x)-sinh(4*a*x)/(32*a)-x/8 --E @ - - \start -Subject: Re: bug in complexNormalize? -To: list Date: Sun, 27 Apr 2008 20:01:38 +0200 (CEST) From: Waldek Hebisch +To: list +Subject: Re: bug in complexNormalize? > Any help on this would really be appreciated. > Is it really a bug in complexNormalize? @@ -76416,18 +75860,10 @@ complexNormalize(integrate(sinh(a*x)^2*cosh(a*x)^2,x)-(sinh(4*a*x)/(32*a)-x/8)) AFAICS the 'dd' expression lacks parentheses around copy of 'bb' term, so you get 'x/8' with different sign. - --- - Waldek Hebisch -Waldek Hebisch - - - \start -From: Tim Daly Date: Mon, 28 Apr 2008 00:08:30 -0500 +From: Tim Daly To: list -Cc: Subject: please check your Schaums In 14.661 Schaums claims: @@ -76442,18 +75878,11 @@ integral acoth(x/a) = x*acoth(x/a)+a/2*log(x^2-a^2) Is this a Schaums typo? -Tim - - - - \start -From: Tim Daly Date: Mon, 28 Apr 2008 01:53:34 -0500 +From: Tim Daly To: list -Cc: -Subject: 20080427.01.tpd.patch (CATS Schaums-Axiom - equivalence testing (29-34)) +Subject: 20080427.01.tpd.patch (CATS Schaums-Axiom equivalence testing (29-34)) 14:668 SCHAUMS AND AXIOM DIFFER (Axiom has closed form) 14:671 SCHAUMS AND AXIOM DIFFER (Axiom has closed form) @@ -84190,14 +83619,11 @@ index 1a5c359..83d7061 100644 --R --R - - \start -From: "A.M.Raportirenko" +Date: Mon, 28 Apr 2008 11:23:07 +0400 +From: Anatoly Raportirenko To: list Subject: Re: please check your Schaums -Date: Mon, 28 Apr 2008 11:23:07 +0400 - charset="iso-8859-1" Just a question. What is a book which you mansion as Schaum? @@ -84216,27 +83642,12 @@ On Monday 28 April 2008 09:08:30 Tim Daly wrote: > ^^^^^^^^^^ > > Is this a Schaums typo? -> -> Tim -> -> -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer - - - - \start -To: Tim Daly -Subject: Re: 20080427.01.tpd.patch (CATS Schaums-Axiom - equivalence testing (29-34)) -From: Martin Rubey Date: 28 Apr 2008 09:34:56 +0200 -Cc: list, fricas-devel < > +From: Martin Rubey +To: Tim Daly +Subject: Re: 20080427.01.tpd.patch (CATS Schaums-Axiom equivalence testing (29-34)) Tim Daly writes: @@ -84271,18 +83682,11 @@ D(integrate(asech(x)/x,x),x). Should be investigated, -Martin - - - - - \start Date: Mon, 28 Apr 2008 07:10:17 -0400 From: Doug Stewart To: Tim Daly Subject: Re: please check your Schaums -Cc: list Tim Daly wrote: > In 14.661 Schaums claims: @@ -84296,36 +83700,20 @@ Tim Daly wrote: > ^^^^^^^^^^ > > Is this a Schaums typo? -> -> Tim -> -> -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> -> + My schaums is the same as your Schaums but it is old (not as old as yours) I have a New Schaums at work But I will not Be in to work today :-) - My Maxima agrees with Axium. integrate(acoth(x/a),x); (%o8) (a*log(x^2/a^2-1))/2+x*acoth(x/a) - - - \start Date: Mon, 28 Apr 2008 07:18:18 -0400 From: Doug Stewart -To: "A.M.Raportirenko" +To: Anatoly Raportirenko Subject: Re: please check your Schaums - <200804281123.07305.ram@sunct1.jinr.ru> -Cc: list A.M.Raportirenko wrote: > Just a question. @@ -84346,29 +83734,16 @@ A.M.Raportirenko wrote: >> ^^^^^^^^^^ >> >> Is this a Schaums typo? ->> ->> Tim ->> ->> ->> http://www.mhprofessional.com/product.php?cat=145&isbn=0070382034&cat=145 - - - http://www.mhprofessional.com/category/?cat=145 - - - \start Date: Mon, 28 Apr 2008 08:45:45 -0400 -From: "Raymond E. Rogers" +From: Raymond Rogers To: Doug Stewart Subject: Re: please check your Schaums - <4815B099.5050907@sympatico.ca> -Cc: list Doug Stewart wrote: > Tim Daly wrote: @@ -84414,21 +83789,11 @@ substitute and multiply by a to get F(x/a); having done that you would get log((x/a)^2+1) as the trailing terms. But this is the same with a constant difference. - -RayR - - - \start Date: Mon, 28 Apr 2008 08:48:04 -0400 From: Doug Stewart -To: Bertfried Fauser, - list +To: Bertfried Fauser Subject: Re: please check your Schaums - <200804281123.07305.ram@sunct1.jinr.ru> - <4815B27A.3070704@sympatico.ca> - <275293a60804280507m5886da4bo4dd8435268545756@mail.gmail.com> -Cc: Bertfried Fauser wrote: > Hi, @@ -84468,21 +83833,11 @@ Bertfried Fauser wrote: > So this is the correct expression and Schaum (as given above, I don't > ow a copy) > has a typo. -> -> -> Ciao -> BF. -> - - \start -To: fricas-devel < >, - axiom-devel , - open-axiom-devel -From: Martin Rubey Date: 29 Apr 2008 18:00:25 +0200 -Cc: +From: Martin Rubey +To: list Subject: possible bug I'd be very grateful if somebody could look at the input file below. (Don't be @@ -84522,20 +83877,11 @@ bug() == output map(c +-> sqrtrule c, series(first Phi Psi Phi [x,y,Z.2], t=0)::ULS(EXPR INT, t, 0)) output first Phi Psi Phi [x,y,Z2] - - - \start +Date: Tue, 29 Apr 2008 13:32:07 -0400 From: William Sit +To: Martin Rubey Subject: Re: possible bug -To: Martin Rubey,fricas-devel - < >, axiom-devel - , open-axiom-devel - -Date: Tue, 29 Apr 2008 13:32:07 -0400 -Cc: - -Dear Martin: I don't know what you are computing, but it appears that f1:=first Phi Psi Phi [x,y,Z.2] when expanded in series at @@ -84863,28 +84209,12 @@ On 29 Apr 2008 18:00:25 +0200 > output map(c +-> sqrtrule c, series(first Phi Psi >Phi [x,y,Z.2], t=0)::ULS(EXPR INT, t, 0)) > output first Phi Psi Phi [x,y,Z2] -> -> -> ->_______________________________________________ ->Axiom-developer mailing list ->list ->http://lists.nongnu.org/mailman/listinfo/axiom-developer - -William Sit, -Professor of Mathematics, City College of New York - -Office: R6/202C Tel: 212-650-5179, Fax: 212-862-0004 -Home Page: http://scisun.sci.ccny.cuny.edu/~wyscc/ - - \start -To: Date: Tue, 29 Apr 2008 21:24:11 +0200 (CEST) From: Waldek Hebisch -Cc: list, open-axiom-devel@lists.sf.net -Subject: Re: [fricas-devel] possible bug +To: list +Subject: Re: possible bug Martin Rubey wrote: > @@ -84944,19 +84274,11 @@ series(first Phi Psi Phi [x,y,ZZ2], t=0)::ULS(EXPR INT, t, 0)_ gives me 0. --- - Waldek Hebisch -Waldek Hebisch - - - \start -From: Tim Daly Date: Wed, 30 Apr 2008 00:13:46 -0500 +From: Tim Daly To: list -Cc: -Subject: 20080428.01.tpd.patch (CATS Schaums-Axiom - post-mortem fixes) +Subject: 20080428.01.tpd.patch (CATS Schaums-Axiom post-mortem fixes) This is a collection of post-mortem fixes for the CATS tests files. Due to my personal non-zero error rate I reviewed the files once more, @@ -85236,14 +84558,11 @@ index d632de7..fa7d4f2 100644 @ - - \start -To: -From: Martin Rubey Date: 30 Apr 2008 14:10:43 +0200 -Cc: list, open-axiom-devel@lists.sf.net -Subject: Re: [fricas-devel] Re: possible bug +From: Martin Rubey +To: list +Subject: Re: possible bug Dear William, Dear Waldek, @@ -85274,19 +84593,11 @@ is not correct in general, eg., when x*y > 0. In my case, I consider x and y in fact as formal power series in t themselves, and I think I also want that sqrt(x^2)=x. - -Martin - - - - \start Date: Wed, 30 Apr 2008 14:53:49 +0200 From: Ralf Hemmecke -To: - <9qod7rlf0c.fsf@aquin.mat.univie.ac.at> -Cc: list, open-axiom-devel@lists.sourceforge.net -Subject: Re: [fricas-devel] Re: possible bug +To: list +Subject: Re: possible bug On 04/30/2008 02:10 PM, Martin Rubey wrote: > In my case, I consider x and y in fact as formal power series in t @@ -85294,17 +84605,11 @@ On 04/30/2008 02:10 PM, Martin Rubey wrote: Replace x by the formal power series in t having only the constant term -1. -Ralf - - - \start -To: - <9qod7rlf0c.fsf@aquin.mat.univie.ac.at> <48186BDD.7030300@hemmecke.de> -From: Martin Rubey Date: 30 Apr 2008 15:02:56 +0200 -Cc: list, open-axiom-devel@lists.sourceforge.net -Subject: Re: [fricas-devel] Re: possible bug +From: Martin Rubey +To: list +Subject: Re: possible bug Ralf Hemmecke writes: @@ -85317,17 +84622,10 @@ Ralf Hemmecke writes: I know, but (I believe that) my formal power series has positive leading coefficient. -Martin - - - - \start Date: Wed, 30 Apr 2008 15:10:55 +0200 From: Francois Maltey -To: Tim Daly, list, - Francois Maltey -Cc: +To: Tim Daly, Francois Maltey Subject: About Schaums. Hello, @@ -85346,18 +84644,10 @@ Do you have any idea about the result of others CAS ? Might you give me some tips for one or two slides... -Many thanks. - -Francois in France. - - - \start Date: Wed, 30 Apr 2008 14:58:05 -0400 From: Tim Daly To: Francois Maltey - 30 Apr 2008 15:10:55 +0200) -Cc: list Subject: Re: About Schaums. How many integrals is there in the book ? ... 619 @@ -86025,22 +85315,11 @@ Of interest was: 14:676 Axiom cannot compute this integral 14:677 Axiom cannot compute this integral - - - - - - - - - \start +Date: 30 Apr 2008 19:52:59 +0200 +From: Martin Rubey To: Tim Daly Subject: re: About Schaums. - <200804301858.m3UIw5K23336@localhost.localdomain> -From: Martin Rubey -Date: 30 Apr 2008 19:52:59 +0200 -Cc: list Tim Daly writes: > Axiom has a closed form for 2 integrals where Schaums has series. @@ -86081,19 +85360,12 @@ D(integrate(asech(x)/x,x),x). Should be investigated, -Martin - - - - \start Date: Wed, 30 Apr 2008 11:53:02 -0600 -From: Zach +From: Zach Smith To: list - boundary="----=_Part_5611_1159887.1209577982298" Subject: Build problem on Slackware Linux 12 -------=_Part_5611_1159887.1209577982298 This is similar to other (old) problems I saw on the list archives. This is regarding axiom pulled from git on April 29th 2008 (which I guess is a @@ -86141,50 +85413,11 @@ testing stage without problems, so it seems to have worked. Zach -------=_Part_5611_1159887.1209577982298 - -This is similar to other (old) problems I saw on the list archives.  -This is regarding axiom pulled from git on April 29th 2008 (which I -guess is a Silver source, my bad, I was looking for a Gold, but -whatever).  Basically something from graph wants to link against -libXpm.a.  However, my installatio (and I haven't touched it for the -most part), not only doesn't contain libXpm.a in /usr/X11R6/lib, it -doesn't have this library at all AFAIK.  It only has a libtoolized -archive, i.e. libXpm.la, and the shared libraries -libXpm.so.<version>.  I don't know much about libtool, but from -what I can tell this is a script wrapper that hides the actually -archive.  Anyway, I should be able to use the shared library files, -right?  Here is some info:
-
smithzv@marco:~$ uname -a
Linux marco 2.6.23.9MYTH-TV #4 SMP Mon Dec 17 05:46:46 MST 2007 i686 AMD Duron(tm) Processor AuthenticAMD GNU/Linux
smithzv@marco:~$ locate libXpm.a
smithzv@marco:~$ locate libXpm
- -/var/log/packages/libXpm-3.5.6
-i486-1
/var/log/scripts/libXpm-3.5.6-i486-1
/usr/lib/libXpm.so.4.11.0
/usr/lib/libXpm.so.4
/usr/lib/libXpm.la
/usr/lib/libXpm.so
smithzv@marco:~$ file /usr/lib/libXp
-libXp.la                   libXpm.so.4                libXprintUtil.la
-libXp.so                   libXpm.so.4.11.0           libXprintUtil.so
libXp.so.6                 libXprintAppUtil.la        libXprintUtil.so.1
libXp.so.6.2.0             libXprintAppUtil.so        libXprintUtil.so.1.0.0
- -libXpm.la                  libXprintAppUtil.so.1     
libXpm.so                  libXprintAppUtil.so.1.0.0 
smithzv@marco:~$ file /usr/lib/libXpm.la
/usr/lib/libXpm.la: libtool library file

Similar -to the approach in another thread, I replaced all occurrences of -${XLIB}/libXpm.a with -lXpm in the Makefile.pamphlet file.  I believe -that such a replacement will make this work on my system (and others -like it) but not break any other installations.  The linker should -automatically look for libXpm.a and libXpm.so on the linker directories -when it encounters a -l flag, right?  Why is the libXpm archive's path -hard coded into makefile maker?
-
I am still working on the build (old computer), but it appears to -be on the testing stage without problems, so it seems to have worked.

Zach

- -------=_Part_5611_1159887.1209577982298-- - - - \start Date: Wed, 30 Apr 2008 17:09:35 -0400 From: Tim Daly To: Martin Rubey - Rubey on 30 Apr 2008 19:52:59 +0200) Subject: re: About Schaums. - <200804301858.m3UIw5K23336@localhost.localdomain> - <9q63tzjklg.fsf@aquin.mat.univie.ac.at> -Cc: list >> Axiom has a closed form for 2 integrals where Schaums has series. > @@ -86236,18 +85469,11 @@ assumed, and how they propagate before I think I have a solid clue. These assumptions should really be written down someplace but they are not. -Tim - - - \start -To: Martin Rubey -Subject: Re: 20080427.01.tpd.patch (CATS Schaums-Axiom - equivalence testing (29-34)) - <9qy76yig9r.fsf@aquin.mat.univie.ac.at> -From: Martin Rubey Date: 30 Apr 2008 21:54:32 +0200 -Cc: list, fricas-devel < > +From: Martin Rubey +To: Martin Rubey +Subject: Re: 20080427.01.tpd.patch (CATS Schaums-Axiom equivalence testing (29-34)) I investigated a tiny bit further, but only to notice that this result is *not* produced by the pattern matcher, but rather by the general integration diff --git a/book/2008-05.txt b/book/2008-05.txt index 81fa7ee..c9057d4 100644 --- a/book/2008-05.txt +++ b/book/2008-05.txt @@ -1,16 +1,12 @@ \start -To: Zach -Subject: Re: Build problem on Slackware Linux 12 -From: Stephen Wilson Date: 01 May 2008 00:51:27 -0400 -Cc: list - ---=-=-= - +From: Stephen Wilson +To: Zach Smith +Subject: Re: Build problem on Slackware Linux 12 Hi Zach, Tim, -Zach writes: +Zach Smith writes: > Similar to the approach in another thread, I replaced all occurrences of > ${XLIB}/libXpm.a with -lXpm in the Makefile.pamphlet file. I believe that @@ -54,16 +50,11 @@ index 0c6eb1d..9f6b15a 100644 --=-=-=-- - - - \start -From: Tim Daly Date: Thu, 1 May 2008 00:01:49 -0500 +From: Tim Daly To: list -Cc: -Subject: 20080429.01.tpd.patch (CATS post-mortem typo - fixes for schaum12) +Subject: 20080429.01.tpd.patch (CATS post-mortem typo fixes for schaum12) The failing cases in this file are all due to typos. These have been fixed. @@ -1506,29 +1497,19 @@ index 1c0d0b2..7d5d77a 100644 --R --R - - \start Date: Thu, 1 May 2008 02:21:10 -0400 From: Tim Daly To: Stephen Wilson - on 01 May 2008 00:51:27 -0400) Subject: Re: Build problem on Slackware Linux 12 - <87fxt2vd80.fsf@lattice.localdomain> -Cc: list Thanks for the patch. I'll apply it and test it on various systems. It should make the next release if I find no problems. -Tim - - - \start -From: Tim Daly Date: Fri, 2 May 2008 02:12:31 -0500 +From: Tim Daly To: list -Cc: Subject: Schaums help My copy of Schaums (1968, printing 4) shows @@ -1540,17 +1521,11 @@ int(1/(x*sqrt(x^n-a^n)),x) == 2/(n*sqrt(a^n))*acos(sqrt(a^n/x^n)) It seems this cannot be the answers. Can someone with a later version please check for a typo? -Tim - - - \start -From: Tim Daly Date: Fri, 2 May 2008 01:36:13 -0500 +From: Tim Daly To: list -Cc: -Subject: 20080430.01.tpd.patch (CATS schaum13 post-mortem - fixup) +Subject: 20080430.01.tpd.patch (CATS schaum13 post-mortem fixup) Thanks to Barry Trager's help, I can show that this set of expressions (at least the closed forms) all result in differences by a constant. @@ -3873,14 +3848,11 @@ index c4a0351..70acff6 100644 --R --R - - \start Date: Fri, 02 May 2008 07:25:53 -0400 From: Doug Stewart To: Tim Daly Subject: Re: Schaums help -Cc: list Tim Daly wrote: > My copy of Schaums (1968, printing 4) shows @@ -3892,15 +3864,7 @@ Tim Daly wrote: > It seems this cannot be the answers. > Can someone with a later version please check for a typo? > -> Tim -> -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> -> + My schaums shows that answer. also usind Maxima to do the derivative I get the LHS. (%i5) diff(2/(n*sqrt(a^n))*acos(sqrt(a^n/x^n)),x); @@ -3908,16 +3872,11 @@ also usind Maxima to do the derivative I get the LHS. (%i6) radcan(%); (%o6) 1/(x*sqrt(x^n-a^n)) - - \start Date: Sat, 3 May 2008 00:10:04 -0400 From: Tim Daly To: Doug Stewart - Fri, 02 May 2008 07:25:53 -0400) Subject: Re: Schaums help - <481AFA41.3050404@sympatico.ca> -Cc: list >> My copy of Schaums (1968, printing 4) shows >> @@ -3957,18 +3916,11 @@ Alternatively, can you use Maxima to find the constant? I'm failing to do either, although I'm still trying. -Tim - - - \start Date: Fri, 02 May 2008 23:33:40 -0400 From: Doug Stewart To: Tim Daly Subject: Re: Schaums help - <481AFA41.3050404@sympatico.ca> - <200805030410.m434A4k25847@localhost.localdomain> -Cc: list root wrote: >>> My copy of Schaums (1968, printing 4) shows @@ -4031,17 +3983,12 @@ log((2*sqrt(x^n-a^n)-2*sqrt(-a^n))/(2*sqrt(x^n-a^n)+2*sqrt(-a^n)))/(sqrt(-a^n)*n I'm not good enough at simplifying to help you. -Doug - - \start -From: Tim Daly Date: Sat, 3 May 2008 01:21:23 -0500 +From: Tim Daly To: list -Cc: -Subject: 20080501.01.tpd.patch (CATS Schaums-Axiom - post-mortem fixes) +Subject: 20080501.01.tpd.patch (CATS Schaums-Axiom post-mortem fixes) More simplifications achieved. @@ -4169,16 +4116,11 @@ index b058a54..caf8bfd 100644 --E @ - - \start +Date: 03 May 2008 09:02:20 +0200 +From: Martin Rubey To: Tim Daly Subject: Re: Schaums help - <481AFA41.3050404@sympatico.ca> - <200805030410.m434A4k25847@localhost.localdomain> -From: Martin Rubey -Date: 03 May 2008 09:02:20 +0200 -Cc: list Tim Daly writes: > If you compute @@ -4218,18 +4160,11 @@ expRule := rule %e^(n*log x) == x^n seems to be zero. -Martin - - - - \start Date: Sat, 03 May 2008 10:05:49 -0400 From: Doug Stewart To: Tim Daly Subject: Re: Schaums help - <481BDD14.20902@sympatico.ca> -Cc: list Doug Stewart wrote: > root wrote: @@ -4315,25 +4250,13 @@ with help from Maxima Barton - - so Maxima is not wrong. -Doug - - - - - - \start Date: Sat, 3 May 2008 14:03:13 -0400 From: Tim Daly To: Doug Stewart - Sat, 03 May 2008 10:05:49 -0400) Subject: Re: Schaums help - <481BDD14.20902@sympatico.ca> <481C713D.9020405@sympatico.ca> -Cc: list >Doug Stewart wrote: >> root wrote: @@ -4444,21 +4367,11 @@ and I can't figure out what transformation I can use to reverse it. The %pi/4 is clearly 45 degrees but I don't see many quarter-angle reductions anywhere. -Tim - - - - \start +Date: 03 May 2008 20:29:38 +0200 +From: Martin Rubey To: Tim Daly Subject: Re: Schaums help - <481AFA41.3050404@sympatico.ca> - <200805030410.m434A4k25847@localhost.localdomain> - <481BDD14.20902@sympatico.ca> <481C713D.9020405@sympatico.ca> - <200805031803.m43I3Db26500@localhost.localdomain> -From: Martin Rubey -Date: 03 May 2008 20:29:38 +0200 -Cc: list Tim Daly writes: @@ -4487,21 +4400,11 @@ powerRule := rule z^(2*n)==(z^n)^2 (17) 0 Type: Expression Integer - - - \start Date: Sat, 3 May 2008 22:05:58 -0400 From: Tim Daly To: Martin Rubey - Rubey on 03 May 2008 20:29:38 +0200) Subject: Re: Schaums help - <481AFA41.3050404@sympatico.ca> - <200805030410.m434A4k25847@localhost.localdomain> - <481BDD14.20902@sympatico.ca> <481C713D.9020405@sympatico.ca> - <200805031803.m43I3Db26500@localhost.localdomain> - <9q8wyrmeb1.fsf@aquin.mat.univie.ac.at> -Cc: list >> None of these system are wrong and I believe that both expressions >> are equal up to a constant. @@ -4530,15 +4433,11 @@ Cc: list Don't recall seeing your post at the time. Excellent. Thanks. - - \start -From: Tim Daly Date: Sat, 3 May 2008 22:59:45 -0500 +From: Tim Daly To: list -Cc: -Subject: 20080502.01.tpd.patch (CATS Schaums-Axiom post - mortem fixup) +Subject: 20080502.01.tpd.patch (CATS Schaums-Axiom post mortem fixup) More agreement between Schaums and Axiom. ===================================================================== @@ -6700,25 +6599,19 @@ index a11b623..6092400 100644 --R --R - - \start Date: Sun, 4 May 2008 16:58:31 -0400 From: Tim Daly -To: list, sage-devel@googlegroups.com -Cc: +To: list Subject: Function images, visual mathematics This is interesting. Visual mathematics of functions. http://nylander.wordpress.com - - \start Date: Sun, 4 May 2008 16:32:08 -0700 (PDT) From: Cliff Yapp To: list - 10.2-10.4) (2) Subject: Am I posing this solve problem wrong? I'm trying to solve for y. In Axiom: @@ -6748,20 +6641,11 @@ Am I doing something wrong? Maxima doesn't seem to have a problem: C1 C1 - - ____________________________________________________________________________________ -Be a better friend, newshound, and -know-it-all with Yahoo! Mobile. Try it now. http://mobile.yahoo.com/;_ylt=Ahu06i62sR8HDtDypao8Wcj9tAcJ - - - \start -From: Tim Daly Date: Sun, 4 May 2008 19:58:23 -0500 +From: Tim Daly To: list -Cc: -Subject: 20080504.01.tpd.patch (CATS Schaums-Axiom - post-mortem fixes) +Subject: 20080504.01.tpd.patch (CATS Schaums-Axiom post-mortem fixes) More fixes ========================================================================= @@ -8528,14 +8412,11 @@ index 95fceae..f01b63d 100644 --R --R - - \start Date: Sun, 4 May 2008 21:49:20 -0400 From: Bill Page To: Cliff Yapp Subject: Re: Am I posing this solve problem wrong? -Cc: list On Sun, May 4, 2008 at 7:32 PM, C Y wrote: > I'm trying to solve for y. In Axiom: @@ -8572,43 +8453,21 @@ I guess you need to be a little more explicit about the variables: Type: List Equation Expression Integer (3) -> -Regards, -Bill Page. - - - \start Date: Sun, 4 May 2008 19:23:42 -0700 (PDT) From: Cliff Yapp -Subject: Re: Am I posing this solve problem wrong? To: Bill Page - 10.2-10.4) (2) -Cc: list - - ---- Bill Page wrote: +Subject: Re: Am I posing this solve problem wrong? > I guess you need to be a little more explicit about the variables: Ah. Thanks Bill. I wonder if this is the desired default behavior? -Cheers, -CY - - - ____________________________________________________________________________________ -Be a better friend, newshound, and -know-it-all with Yahoo! Mobile. Try it now. http://mobile.yahoo.com/;_ylt=Ahu06i62sR8HDtDypao8Wcj9tAcJ - - - \start Date: Sun, 4 May 2008 23:46:16 -0400 From: Bill Page To: Cliff Yapp Subject: Re: Am I posing this solve problem wrong? - <799812.15862.qm@web56701.mail.re3.yahoo.com> -Cc: list On Sun, May 4, 2008 at 10:23 PM, C Y wrote: > @@ -8701,18 +8560,11 @@ with signature: Of course this version of solve cannot return something of the form you were expecting. -Regards, -Bill Page. - - - \start -From: Tim Daly Date: Sun, 4 May 2008 23:15:21 -0500 +From: Tim Daly To: list -Cc: -Subject: 20080504.02.tpd.patch (CATS Schaums-Axiom - post-mortem fixes) +Subject: 20080504.02.tpd.patch (CATS Schaums-Axiom post-mortem fixes) More results agree ===================================================================== @@ -10456,15 +10308,11 @@ index 343ab8a..eeb4d9d 100644 --R --R - - \start Date: Mon, 05 May 2008 09:43:39 +0200 From: Ralf Hemmecke To: Bill Page Subject: Re: Am I posing this solve problem wrong? - -Cc: list On 05/05/2008 05:46 AM, Bill Page wrote: > On Sun, May 4, 2008 at 10:23 PM, C Y wrote: @@ -10526,15 +10374,10 @@ Having types, Axiom should actually allow you to specify what you want. Unfortunately, that doesn't work (yet), but I would expect it to work in an ideal AXIOM. -Ralf - - - \start -To: Bill Page -From: Martin Rubey Date: 05 May 2008 13:37:33 +0200 -Cc: axiom-devel +From: Martin Rubey +To: Bill Page Subject: MathAction book links Dear Bill, @@ -10557,19 +10400,11 @@ but here none of the two links (Europe and US) works for me and Konqueror I do not know how to correct this, unfortunately. -Many thanks, - -Martin - - - - \start Date: Mon, 5 May 2008 13:51:58 +0200 From: Bertfried Fauser To: Martin Rubey Subject: Re: MathAction book links -Cc: axiom-devel Hi Martin, @@ -10601,36 +10436,12 @@ On Mon, May 5, 2008 at 1:37 PM, Martin Rubey wrote: > > I do not know how to correct this, unfortunately. > -> Many thanks, -> -> Martin -> -> -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> - - - --- -% PD Dr Bertfried Fauser -% Privat Docent: University of Konstanz, Physics Dept - -% contact |-> URL : http://clifford.physik.uni-konstanz.de/~fauser/ -% Phone : +49 1520 9874517 - - \start +Date: 05 May 2008 13:59:21 +0200 +From: Martin Rubey To: Bertfried Fauser Subject: Re: MathAction book links - <275293a60805050451x783e24d4le6f16074ac09baa2@mail.gmail.com> -From: Martin Rubey -Date: 05 May 2008 13:59:21 +0200 -Cc: axiom-devel Bertfried Fauser writes: @@ -10649,22 +10460,11 @@ newbie clicking on "book" on the FrontPage will give up immediately, I believe. So, what I want is that the links on FrontPage link to the right places and work :-) - - -Martin - - - - \start Date: Mon, 5 May 2008 10:03:05 -0400 From: Bill Page To: Ralf Hemmecke Subject: Re: Am I posing this solve problem wrong? - <799812.15862.qm@web56701.mail.re3.yahoo.com> - - <481EBAAB.4010601@hemmecke.de> -Cc: list On Mon, May 5, 2008 at 3:43 AM, Ralf Hemmecke wrote: > ... @@ -10694,16 +10494,10 @@ This is built into the Axiom interpreter in a rather deep way. Is there a different way this could work that might produce less surprise (and frustration) on the part of the user? -Regards, -Bill Page. - - - \start Date: Mon, 5 May 2008 10:11:02 -0400 From: Bill Page To: Martin Rubey -Cc: axiom-devel Subject: Re: MathAction book links On Mon, May 5, 2008 at 7:37 AM, Martin Rubey wrote: @@ -10736,18 +10530,11 @@ Windows and Linux. Perhaps this a problem with Konqueror? Do you see any problem with the HTML code that is generated for the download page? -Regards, -Bill Page. - - - \start Date: Mon, 05 May 2008 16:59:08 +0200 From: Ralf Hemmecke To: Bill Page Subject: re: MathAction book links - -Cc: axiom-devel Works for me too (also in Konqueror 3.5.5). @@ -10798,19 +10585,12 @@ On 05/05/2008 04:11 PM, Bill Page wrote: > Windows and Linux. Perhaps this a problem with Konqueror? Do you see > any problem with the HTML code that is generated for the download > page? -> -> Regards, -> Bill Page. - - \start Date: Mon, 5 May 2008 12:20:08 -0400 From: Tim Daly To: Martin Rubey - Rubey on 05 May 2008 13:37:33 +0200) Subject: Re: MathAction book links -Cc: list >I was having some problems getting a copy of the axiom book for a colleague. > @@ -10838,16 +10618,10 @@ will not teach a course without (a) a paper copy of the book and (b) an ISBN number. However, the sources for the book are part of every Axiom distribution and the pdfs are available online. -Tim - - - \start -To: Bill Page - -From: Martin Rubey Date: 05 May 2008 17:12:00 +0200 -Cc: axiom-devel +From: Martin Rubey +To: Bill Page Subject: Re: MathAction book links Bill Page writes: @@ -10900,21 +10674,12 @@ onclick='window.location.href ="/public/book2.pdf";'/> Interestingly, when I click "Donate", download begins immediately (even in Konqueror). -??? -Martin - - - - \start Date: Mon, 5 May 2008 12:32:35 -0400 From: Tim Daly To: Martin Rubey - Rubey on 05 May 2008 13:59:21 +0200) Subject: Re: MathAction book links - <275293a60805050451x783e24d4le6f16074ac09baa2@mail.gmail.com> - <9q1w4hq7vq.fsf@aquin.mat.univie.ac.at> -Cc: list, Bertfried Fauser +Cc: Bertfried Fauser >Apart from that, no: personally I know where to get the book from, but the >newbie clicking on "book" on the FrontPage will give up immediately, I believe. @@ -10924,48 +10689,29 @@ Cc: list, Bertfried Fauser Done. See -Tim - - - \start +Date: 05 May 2008 17:19:43 +0200 +From: Martin Rubey To: Tim Daly Subject: Re: MathAction book links - <275293a60805050451x783e24d4le6f16074ac09baa2@mail.gmail.com> - <9q1w4hq7vq.fsf@aquin.mat.univie.ac.at> - <200805051632.m45GWZT02904@localhost.localdomain> -From: Martin Rubey -Date: 05 May 2008 17:19:43 +0200 -Cc: list, Bertfried Fauser +Cc: Bertfried Fauser Tim Daly writes: -> >Apart from that, no: personally I know where to get the book from, but the -> >newbie clicking on "book" on the FrontPage will give up immediately, I believe. -> > -> >So, what I want is that the links on FrontPage link to the right places and -> >work :-) -> +> >Apart from that, no: personally I know where to get the book from, +> >but the newbie clicking on "book" on the FrontPage will give up +> >immediately, I believe. So, what I want is that the links on +> >FrontPage link to the right places and work :-) + > Done. See - You are being extremely helpful. Many thanks. -Martin - - - - \start Date: Mon, 05 May 2008 17:48:26 +0200 From: Ralf Hemmecke To: Bill Page Subject: Re: Am I posing this solve problem wrong? - <799812.15862.qm@web56701.mail.re3.yahoo.com> - - <481EBAAB.4010601@hemmecke.de> - -Cc: list On 05/05/2008 04:03 PM, Bill Page wrote: > On Mon, May 5, 2008 at 3:43 AM, Ralf Hemmecke wrote: @@ -11052,17 +10798,10 @@ Root isolation can stop if the interval is less than 1 since either there is exactly one solution or none in this interval. (Maybe not the best example to demonstrate what I mean.) -Ralf - - - \start Date: Mon, 5 May 2008 11:53:34 -0400 From: Bill Page To: Martin Rubey - - <9q7ie8pyyn.fsf@aquin.mat.univie.ac.at> -Cc: axiom-devel Subject: Re: MathAction book links On Mon, May 5, 2008 at 11:12 AM, Martin Rubey wrote: @@ -11115,22 +10854,11 @@ Something is going wrong in the generation of the HTML code from the Zope DTML template. I will investigate and let you know when I have corrected the problem. -Regards, -Bill Page. - - - \start Date: Mon, 5 May 2008 12:57:03 -0400 From: Bill Page To: Ralf Hemmecke Subject: Re: Am I posing this solve problem wrong? - <799812.15862.qm@web56701.mail.re3.yahoo.com> - - <481EBAAB.4010601@hemmecke.de> - - <481F2C4A.4070501@hemmecke.de> -Cc: list On Mon, May 5, 2008 at 11:48 AM, Ralf Hemmecke wrote: > On 05/05/2008 04:03 PM, Bill Page wrote: @@ -11262,23 +10990,12 @@ No, I don't think that is the algorithm that is acutally used. I think that in Axiom somehow this must be specified by specifying the appropriate types. -Regards, -Bill Page. - - - \start Date: Mon, 05 May 2008 12:44:36 -0700 From: Arthur Ralfs To: Bill Page -Message-id: <481F63A4.7090703@shaw.ca> -MIME-version: 1.0 - recognized. -Cc: list Subject: Axiom book xhtml+mathml version -Bill, - With the recent concern about book links I checked the xhtml+mathml version on your wiki and noticed that you have an old version. The most recent version @@ -11290,22 +11007,11 @@ from the section version. I posted the section version at one time, probably on the old wiki. -Arthur - - - \start Date: Mon, 05 May 2008 23:31:16 +0200 From: Ralf Hemmecke To: Bill Page Subject: Re: Am I posing this solve problem wrong? - <799812.15862.qm@web56701.mail.re3.yahoo.com> - - <481EBAAB.4010601@hemmecke.de> - - <481F2C4A.4070501@hemmecke.de> - -Cc: list On 05/05/2008 06:57 PM, Bill Page wrote: > On Mon, May 5, 2008 at 11:48 AM, Ralf Hemmecke wrote: @@ -11423,17 +11129,11 @@ or so. I know that it is not the most simple task for the interpreter to find out what the user actually wanted, but you asked my for an ideal AXIOM. -Ralf - - - \start -From: Tim Daly Date: Mon, 5 May 2008 21:46:11 -0500 +From: Tim Daly To: list -Cc: -Subject: 20080505.01.tpd.patch (CATS Schaums-Axiom - post-mortem fixes) +Subject: 20080505.01.tpd.patch (CATS Schaums-Axiom post-mortem fixes) More agreement between Schaums and Axiom ====================================================================== @@ -11947,15 +11647,11 @@ index d285a80..96485e2 100644 --R --R - - \start -From: Tim Daly Date: Mon, 5 May 2008 22:29:57 -0500 +From: Tim Daly To: list -Cc: -Subject: 20080505.02.tpd.patch (CATS Schams-Axiom branch - cut analysis) +Subject: 20080505.02.tpd.patch (CATS Schams-Axiom branch cut analysis) Here we try to understand why we cannot find a simplification that makes these two expressions equal. If the expressions were @@ -13323,14 +13019,11 @@ index 24b4527..71f28d5 100644 --R --R - - \start Date: Tue, 06 May 2008 07:42:04 -0400 -From: "Raymond E. Rogers" +From: Raymond Rogers To: list -Subject: Re: 20080505.02.tpd.patch (CATS Schams-Axiom branch - cut analysis) +Subject: Re: 20080505.02.tpd.patch (CATS Schams-Axiom branch cut analysis) Tim Daly wrote: > Here we try to understand why we cannot find a simplification @@ -13366,25 +13059,11 @@ return could pick and choose the element wanted. Only a passing thought; cumbersome but ...... - -RayR - - - - \start Date: Tue, 6 May 2008 11:35:24 -0400 From: Bill Page To: Ralf Hemmecke Subject: Re: Am I posing this solve problem wrong? - <799812.15862.qm@web56701.mail.re3.yahoo.com> - - <481EBAAB.4010601@hemmecke.de> - - <481F2C4A.4070501@hemmecke.de> - - <481F7CA4.3020709@hemmecke.de> -Cc: list On Mon, May 5, 2008 at 5:31 PM, Ralf Hemmecke wrote: > ... @@ -13601,27 +13280,11 @@ cases not enough attention has been paid to "tuning" the Axiom library so that the Axiom interpreter produces fewer surprises for the new user. -Regards, -Bill Page. - - - \start -To: Bill Page -Subject: Re: Am I posing this solve problem wrong? - <799812.15862.qm@web56701.mail.re3.yahoo.com> - - <481EBAAB.4010601@hemmecke.de> - - <481F2C4A.4070501@hemmecke.de> - - <481F7CA4.3020709@hemmecke.de> - -From: Martin Rubey Date: 06 May 2008 17:43:58 +0200 -Cc: list, - open-axiom-devel , - fricas-devel < > +From: Martin Rubey +To: Bill Page +Subject: Re: Am I posing this solve problem wrong? Bill Page writes: @@ -13649,28 +13312,11 @@ complete recompilation of the algebra necessary. Of course, the insights will be valuable for all three projects. -Martin - - - - \start Date: Tue, 6 May 2008 12:08:23 -0400 From: Bill Page -To: -Subject: Re: [fricas-devel] Re: Am I posing this solve - problem wrong? - <799812.15862.qm@web56701.mail.re3.yahoo.com> - - <481EBAAB.4010601@hemmecke.de> - - <481F2C4A.4070501@hemmecke.de> - - <481F7CA4.3020709@hemmecke.de> - - <9qmyn3phdt.fsf@aquin.mat.univie.ac.at> -Cc: list, - open-axiom-devel +To: list +Subject: Re: [fricas-devel] Re: Am I posing this solve problem wrong? On Tue, May 6, 2008 at 11:43 AM, Martin Rubey wrote: > @@ -13716,25 +13362,11 @@ constraints to the original Axiom development process. Agreed. -Regards, -Bill Page. - - - \start Date: Tue, 06 May 2008 22:33:24 +0200 From: Ralf Hemmecke To: Bill Page Subject: Re: Am I posing this solve problem wrong? - <799812.15862.qm@web56701.mail.re3.yahoo.com> - - <481EBAAB.4010601@hemmecke.de> - - <481F2C4A.4070501@hemmecke.de> - - <481F7CA4.3020709@hemmecke.de> - -Cc: list > I do not know what is the general opinion, but in my opinion all > operations like 'solve' should have a well-defined and fairly simple @@ -13859,16 +13491,11 @@ until the result appears on screen. Uhhhh... Expression Integer again... That sounds so typeless. ;-) - -Ralf - - - \start -Subject: re: About Schaums. -To: list Date: Wed, 7 May 2008 05:11:04 +0200 (CEST) From: Waldek Hebisch +To: list +Subject: re: About Schaums. Martin Rubey wrote: > Tim Daly writes: @@ -13900,19 +13527,11 @@ error is in 'lfextendedint': AFAICS we need stronger condition than 'case SE' (and extra code to handle remaining cases). --- - Waldek Hebisch -Waldek Hebisch - - - \start -From: Tim Daly Date: Tue, 6 May 2008 22:21:59 -0500 +From: Tim Daly To: list -Cc: -Subject: 20080506.01.tpd.patch (CATS Schaums-Axiom - post-mortem fixups) +Subject: 20080506.01.tpd.patch (CATS Schaums-Axiom post-mortem fixups) More agreement between Schaums and Axiom ===================================================================== @@ -13953,13 +13572,10 @@ index dfbaf88..7a4ef98 100644 \section{\cite{1}:14.93~~~~~$\displaystyle - - \start Date: Wed, 7 May 2008 03:17:21 -0400 From: Tim Daly To: list -Cc: Subject: Schaums-Axiom difference This bug occurs in an area where the code has changed. @@ -14085,17 +13701,11 @@ Original NAG Code has?(operator k, ALGOP) => alglflimint(f, k, l, x, lu) unklimint(f, x, lu) -Tim - - - \start -To: list, fricas-devel < > -Subject: Re: Schaums-Axiom difference -From: Martin Rubey Date: 07 May 2008 10:19:29 +0200 -Cc: - +From: Martin Rubey +To: list +Subject: Re: Schaums-Axiom difference > I see a lot of non-reduced exponents of the form: > @@ -14109,17 +13719,11 @@ that %e^(a*log z) is better, especially because of %e^(log x*log z) = x^log z = z^log x -Martin - - - - \start -To: list, fricas-devel < > -Subject: Re: Schaums-Axiom difference -From: Martin Rubey Date: 07 May 2008 14:11:27 +0200 -Cc: +From: Martin Rubey +To: list +Subject: Re: Schaums-Axiom difference Tim Daly writes: @@ -14134,20 +13738,11 @@ all, the *definition* of a^b is %e^(a*log b) but a^b is a kernel, too! I do not understand. - - -Martin - - - - \start Date: Wed, 07 May 2008 08:18:34 -0400 From: Doug Stewart To: Martin Rubey Subject: Re: Schaums-Axiom difference - <9qmyn28gb4.fsf@aquin.mat.univie.ac.at> -Cc: list, fricas-devel < > Martin Rubey wrote: > Tim Daly writes: @@ -14172,28 +13767,13 @@ the *definition* of a^b is %e^(b*log a) >> > > but a^b is a kernel, too! I do not understand. -> -> -> -> Martin -> -> -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> -> - - \start Date: Wed, 7 May 2008 12:37:42 -0400 From: Tim Daly -To: scientific-linux-devel@fnal.gov, sage-devel@googlegroups.com -Cc: William Stein, list, mabshoff@googlemail.com +To: list Subject: Sage on Scientific Linux? +Cc: William Stein, Michael Abshoff Colleagues, @@ -14216,21 +13796,11 @@ government funding. I can answer some trivial questions about both projects but I am not a "contact person" for either project. -Tim Daly -Axiom - - - - - \start Date: Wed, 7 May 2008 12:41:41 -0400 From: Tim Daly To: Martin Rubey - Rubey on 07 May 2008 10:19:29 +0200) Subject: Re: Schaums-Axiom difference - <9qprryy19q.fsf@aquin.mat.univie.ac.at> -Cc: list, >> I see a lot of non-reduced exponents of the form: >> @@ -14253,16 +13823,11 @@ the implementation but not related to simplification. So, obviously, I don't have a clue. Ah, if only the sources were literate. We could read what it was intended to do.... sigh. -Tim - - - \start -Subject: re: About Schaums. -To: Date: Thu, 8 May 2008 03:54:56 +0200 (CEST) From: Waldek Hebisch -Cc: list +To: list +Subject: re: About Schaums. I wrote: > Martin Rubey wrote: @@ -14351,20 +13916,12 @@ Index: ChangeLog.wh * src/etc/Makefile.in: stamp-databases: Avoid error - --- - Waldek Hebisch -Waldek Hebisch - - - \start Date: Wed, 07 May 2008 19:30:43 -0700 From: Ed Borasky To: Tim Daly Subject: Re: Sage on Scientific Linux? - recognized. -Cc: William Stein, list +Cc: William Stein root wrote: > Colleagues, @@ -14387,18 +13944,6 @@ root wrote: > > I can answer some trivial questions about both projects but I am > not a "contact person" for either project. -> -> Tim Daly -> Axiom -> -> -> -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> IIRC Scientific Linux is funded/supported by Fermilab, and is essentially a rebuild from source of Red Hat Enterprise Linux. There are @@ -14423,17 +13968,12 @@ are both at 2.6.24, and RHEL/CentOS/Scientific Linux are at 2.6.18, IIRC. A server is about stability, but I think a scientific workstation is about raw speed on large problems. - - \start Date: Thu, 8 May 2008 04:43:47 -0400 From: Tim Daly -To: dawson@fnal.gov - May 2008 02:15:28 -0500) - <4822A890.5060203@fnal.gov> -Cc: sage-devel@googlegroups.com, mabshoff@googlemail.com, William Stein, - scientific-linux-devel@fnal.gov, list +To: Troy Dawson Subject: Re: Sage on Scientific Linux? +Cc: Michael Abshoff, William Stein Troy, @@ -14472,19 +14012,12 @@ Tim >scientists would be interested in it. >Has someone already packaged it in an rpm that you know of? >Troy Dawson ->__________________________________________________ ->Troy Dawson dawson@fnal.gov (630)840-6468 ->Fermilab ComputingDivision/CSS CSI Group ->__________________________________________________ - - \start -From: Tim Daly Date: Thu, 8 May 2008 13:37:57 -0500 +From: Tim Daly To: list -Subject: 20080508.01.wxh.patch (intef.spad - integrate(asech(x)/x, x) bug) +Subject: 20080508.01.wxh.patch (intef.spad integrate(asech(x)/x, x) bug) Waldek has proposed a new change to intef to fix the bogus closed form returned fromn @@ -14586,17 +14119,12 @@ index 83d7061..f8314e2 100644 +--I ++ %P --R Type: Union(Expression Integer,...) --E - - - \start -From: Tim Daly Date: Thu, 8 May 2008 13:43:05 -0500 +From: Tim Daly To: list -Cc: -Subject: 20080508.02.tpd.patch (ignore gensyms in schaums - regression tests) +Subject: 20080508.02.tpd.patch (ignore gensyms in schaums regression tests) This is a minor patch to ignore gensyms that occur in rules in the schaums regression test files. @@ -14644,21 +14172,12 @@ index f01b63d..62de8d7 100644 --R Type: RewriteRule(Integer,Integer,Expression Integer) --E - - - \start Date: Thu, 08 May 2008 02:15:28 -0500 -From: Troy Dawson +From: Troy Dawson To: Tim Daly -Message-id: <4822A890.5060203@fnal.gov> -MIME-version: 1.0 -Cc: William Stein, - "list" , - "sage-devel@googlegroups.com" , - "mabshoff@googlemail.com" , - "scientific-linux-devel@fnal.gov" Subject: Re: Sage on Scientific Linux? +Cc: William Stein, Michael Abshoff root wrote: > Colleagues, @@ -14689,39 +14208,16 @@ Hi Tim, That does look like an interesting program. It's possible that many scientists would be interested in it. Has someone already packaged it in an rpm that you know of? -Troy Dawson --- -__________________________________________________ -Troy Dawson dawson@fnal.gov (630)840-6468 -Fermilab ComputingDivision/CSS CSI Group -__________________________________________________ - - \start Date: Thu, 8 May 2008 11:52:06 +0200 -From: "Michael Abshoff" +From: Michael Abshoff To: Tim Daly - boundary="----=_Part_24727_15022416.1210240326222" - <4822A890.5060203@fnal.gov> - <200805080843.m488hlT05772@localhost.localdomain> -Cc: William Stein, list, sage-devel@googlegroups.com, - dawson@fnal.gov, scientific-linux-devel@fnal.gov Subject: Re: Sage on Scientific Linux? - -------=_Part_24727_15022416.1210240326222 +Cc: William Stein, Troy Dawson On Thu, May 8, 2008 at 10:43 AM, Tim Daly wrote: -> Troy, -> - - - - -> -> -> > > >Hi Tim, > >That does look like an interesting program. It's possible that many > >scientists would be interested in it. @@ -14755,52 +14251,11 @@ so], so you would need to tell us how you would like to proceed from here. Besides Sage itself there are many interesting components that people using Scientific Linux might be interested in. -Cheers, - -Michael - - - -> -> >Troy Dawson -> >__________________________________________________ -> >Troy Dawson dawson@fnal.gov (630)840-6468 -> >Fermilab ComputingDivision/CSS CSI Group -> >__________________________________________________ -> - -------=_Part_24727_15022416.1210240326222 - -On Thu, May 8, 2008 at 10:43 AM, root <Tim Daly> wrote:
-Troy,
-

<SNIP>
 


->
->Hi Tim,
->That does look like an interesting program.  It's possible that many
->scientists would be interested in it.
->Has someone already packaged it in an rpm that you know of?


Hi Troy,

Sage has a fairly advanced packaging for Debian/Ubuntu [thanks to all the hard work by Tim Abbott], but we are not 100% done yet. For details see
-
http://wiki.sagemath.org/DebianSAGE

Some work had been done for PCLinuxOS [which is rpm based and a FC derivative IIRC], but that work has mostly consisted of not building the already available packages in their repo. For Debian about 25 new packages had to be created, so I expect a little more work for a RHEL derived distro. Some people using Fedora have expressed interest - see
-
http://fedoraproject.org/wiki/SIGs/SciTech/SAGE

but not much seems to have happened there so far. We would certainly welcome rpm base packaging of Sage and its components, but so far few people from the Sage community itself have gone down that way. But since there are several rpm based distros interested it certainly looks like their efforts can be combined to lessen the burden on each individual camp.
-
Building a monolothic Sage rpm is possible with little effort [I have done so], so you would need to tell us how you would like to proceed from here. Besides Sage itself there are many interesting components that people using Scientific Linux might be interested in.
-
Cheers,

Michael

 

->Troy Dawson
->__________________________________________________
->Troy Dawson  dawson@fnal.gov  (630)840-6468
->Fermilab  ComputingDivision/CSS  CSI Group
->__________________________________________________
-

- -------=_Part_24727_15022416.1210240326222-- - - - \start -From: Tim Daly Date: Sun, 11 May 2008 18:58:55 -0500 +From: Tim Daly To: list -Cc: -Subject: 20080511.01.tpd.patch (CATS Schaums-Axiom - post-mortem fixup) +Subject: 20080511.01.tpd.patch (CATS Schaums-Axiom post-mortem fixup) Fix the final comment on the regression lines ======================================================================== @@ -14836,14 +14291,11 @@ index f8314e2..d61b757 100644 --R --R - - \start Date: Sun, 11 May 2008 21:16:42 -0400 From: Tim Daly To: list -Subject: [Tim Daly: Denavit-Hartenberg - Matrices, Solid Modeling and CAS] +Subject: [Tim Daly: Denavit-Hartenberg Matrices, Solid Modeling and CAS] Journaling some comments made at ECCAD 2008: @@ -14881,11 +14333,6 @@ So far I have not seen anyone apply a computer algebra system to generate models of solid geometric structures. The usual method of analysis is to use finite element analysis, a numeric technique. -Tim - - - - \start Date: Sun, 11 May 2008 21:18:38 -0400 From: Tim Daly @@ -14990,18 +14437,11 @@ Anyway, I wanted to make the point that Provisos are a symbolic form of interval computation. There is a whole area of research involving symbolic, logical, and parallel computation (probably with grant money). -Tim - - - - \start Date: Sun, 11 May 2008 19:21:15 -0500 From: Gabriel Dos Reis To: Tim Daly Subject: Re: Provisos -Cc: list, - open-axiom-devel On Sun, May 11, 2008 at 8:18 PM, Tim Daly wrote: > Journaling some comments made at ECCAD 2008: @@ -15034,18 +14474,11 @@ described in this ISSAC'97 paper? http://portal.acm.org/citation.cfm?id=258851 --- Gaby - - - \start Date: Sun, 11 May 2008 23:06:57 -0400 From: Tim Daly To: Gabriel Dos Reis - (Gabriel Dos Reis) Subject: Re: Provisos - <206fcf960805111721u194dc5d3ifead7e99c9a153d9@mail.gmail.com> -Cc: list, open-axiom-devel@lists.sourceforge.net >Do you know how this is different from the GUARDIAN package (Reduce) >described in this ISSAC'97 paper? @@ -15059,19 +14492,11 @@ I don't know. The comments I made were from my thesis work done prior to this publication. I don't have access to that paper at the moment. If you have a copy perhaps you could summarize the differences. -Tim - - - \start Date: Mon, 12 May 2008 09:20:05 -0400 From: Tim Daly To: list - root on Sun, 11 May 2008 23:06:57 -0400) Subject: Re: Provisos - <206fcf960805111721u194dc5d3ifead7e99c9a153d9@mail.gmail.com> - <200805120306.m4C36vP15626@localhost.localdomain> -Cc: open-axiom-devel@lists.sourceforge.net >>Do you know how this is different from the GUARDIAN package (Reduce) >>described in this ISSAC'97 paper? @@ -15110,18 +14535,11 @@ This loses a lot of information that is carried in the types about how to combine the constraints. Thus they tend to fall back on either matching operations or unification operations. -Tim - - - \start Date: Mon, 12 May 2008 08:51:48 -0500 From: Gabriel Dos Reis To: Tim Daly Subject: Re: Provisos - <206fcf960805111721u194dc5d3ifead7e99c9a153d9@mail.gmail.com> - <200805120306.m4C36vP15626@localhost.localdomain> -Cc: list, open-axiom-devel@lists.sourceforge.net On Sun, May 11, 2008 at 10:06 PM, Tim Daly wrote: > >Do you know how this is different from the GUARDIAN package (Reduce) @@ -15139,17 +14557,12 @@ I've found a freely available `technical report' version of it here http://citeseer.ist.psu.edu/dolzmann97guarded.html --- Gaby - - - \start -From: Tim Daly Date: Tue, 13 May 2008 05:18:22 -0500 +From: Tim Daly To: Gabriel Dos Reis -Cc: Andreas Dolzmann , list, - Thomas Sturm Subject: Provisos +Cc: Andreas Dolzmann, Thomas Sturm Thanks for the reference to the Guarded Expression in Practice paper. @@ -15210,21 +14623,11 @@ But you would expect that kind of architecture decision in Axiom. Major kudos to Dolzmann and Sturm. -Tim - - - - - \start Date: Wed, 14 May 2008 12:45:39 -0400 From: Bill Page -To: Zach - - <95f1acd0805131532g758bafcev6d5191035cddbd80@mail.gmail.com> -Cc: list, axiom-math@nongnu.org -Subject: Re: [Axiom-math] Solving symbolic vector - equations: How do I do this in Axiom? +To: Zach Smith +Subject: Re: [Axiom-math] Solving symbolic vector equations: How do I do this in Axiom? On Tue, May 13, 2008 at 6:32 PM, Zach wrote: >> @@ -15320,17 +14723,10 @@ Yes. Axiom has a fairly high learning curve but (of course!) I think it is worth the effort. If you continue with some activity in Axiom along these lines please feel free to discuss it here. -Regards, -Bill Page. - - - \start Date: Fri, 16 May 2008 00:05:29 -0400 From: Tim Daly To: Alasdair McAndrew - (Alasdair McAndrew) -Cc: list, axiom-mail@nongnu.org Subject: Re: [Axiom-mail] Axiom v. Maxima Alasdair, @@ -15407,10 +14803,6 @@ Some of the features are this will encourage more literate programming. - - - - > 2. Help - Hyperdoc was all very well in its day, but now looks regressive > and old-fashioned. Surely help based on HTML, or even a Windows Help > interface, should be provided? @@ -15537,19 +14929,11 @@ summer. Making a fully documented, easy (well, easier) to use system out of an undocumented research project of this size is a glacial undertaking. -Tim - - - \start -To: Martin Rubey, Ralf.Hemmecke@risc.uni-linz.ac.at -Newsgroups: sci.math.symbolic -From: Martin Rubey Date: 16 May 2008 14:56:22 +0200 -Posted-To: sci.math.symbolic -Cc: -Subject: [ANN] Aldor & Axiom / OpenAxiom / FriCAS Workshop - 2008 +From: Martin Rubey +To: Martin Rubey, Ralf Hemmecke +Subject: [ANN] Aldor & Axiom / OpenAxiom / FriCAS Workshop 2008 The following message is a courtesy copy of an article that has been posted to sci.math.symbolic as well. @@ -15642,20 +15026,12 @@ Organisers ---------- Ralf Hemmecke and Martin Rubey - - - \start Date: Fri, 16 May 2008 11:58:44 -0600 -From: Zach +From: Zach Smith To: Tim Daly - boundary="----=_Part_23070_23561647.1210960724047" - <200805160405.m4G45TO18978@localhost.localdomain> -Cc: list, axiom-mail@nongnu.org Subject: Re: [Axiom-mail] Axiom v. Maxima -------=_Part_23070_23561647.1210960724047 - None of this is meant in a negative way, I just want to add my experiences as a Maxima user coming to Axiom. @@ -15723,51 +15099,13 @@ Tim, please tell me that Firefox will not be the only way to interface with Axiom. It will still be possible to write an Emacs mode for it, something like IMaxima? Also, why only Firefox, why not any browser? -Zach - -------=_Part_23070_23561647.1210960724047 - -None of this is meant in a negative way, I just want to add my experiences as a Maxima user coming to Axiom.

So, I am extremely new to Axiom, in fact I pretty much don't know how to do anything I want with the system, even after reading the introductory materials.  But I just want to say that Alasdair has some good points from my point of view.
-
When I was searching for a free CAS I found Maxima first (around 6 years ago?) and stuck to it.  I was not aware of the existence of Sage and Axiom until 6ish months ago.  This is odd considering as far as I can tell, Axiom's plan for the future might be the best among the options.  Granted, I am from an engineering background, not mathematics.
-
>   3. Maxima seems streets ahead in its involvement with the mathematical
-
>   community.  Currently there are at least two major book writing projects
->   using Maxima: "Maxima by Example" on http://www.csulb.edu/~woollett/ and
->   another on http://www.neng.usu.edu/cee/faculty/gurro/Maxima.html  There
->   are lots of other tutorials and documents (including one by me!) on the
->   Maxima page.  But where are the user-written Axiom books and introduction
->   documents?  The biggest one - in fact the only one available from the Axiom
->   page - seems to be Martin Dunstan's tutorial from 1996!
-
-
This is really big, but perhaps not for the reasons one might think.  I have read some of Prof. Woollett's chapters and they leave something to be desired for anyone not brand spanking new to the system.  In fact, for any advanced usage information, nothing seems to replace the mailing list which is perhaps 10 times as active as axiom-developer and axiom-math put together.  What this does show is that Maxima has a user base that cares about it.  Archaic languages such as C survive because they have a large user base, which creates more development/ease of use/portability/efficiency, which draws more people to the language.  The fact that more people seem (are?) interested in Maxima makes it seem that the project is healthier than Axiom.
-
Perhaps some public relations work would help?

->   5. The various forks: Axiom, FriCAS, OpenAxiom, also must make it hard
->   for the new user - which one to choose, and why?  The many many
->   distributions of Linux make choosing one awfully hard for the beginner -
->   even I, who've been using Linux exclusively for over 15 years, get confused
->   on the rare occasions I have to install a new system.  Axiom has the same
->   problem.

Once again, this seems to point to an overall relative unhealthiness in Axiom as compared to Maxima.  When projects fork, it necessarily applies stress to the users (and I assume developers).  But more importantly, it makes the choice more complicated for new users.  As a newcomer, it looks like rats leaving a sinking ship, but should you trust a rats assessment of the ships status?  As sad as it may be, people, in my experience, do not like choices.  Tell me, is there any bad blood behind the forks?
-
> Future releases will have a primitive Firefox front end to Axiom,
similar in spirit (but not design) to the MMA, Maple, and Sage  notebooks.
> I'm working on various tools in javascript but they are not ready for
- -> release yet. I'm also in design discussions with a graphics designer
-> to try to maximize the user viewpoint. This will take a few release
-> cycles to fully emerge.

Tim, please tell me that Firefox will not be the only way to interface with Axiom.  It will still be possible to write an Emacs mode for it, something like IMaxima?  Also, why only Firefox, why not any browser?
- -
Zach


- -------=_Part_23070_23561647.1210960724047-- - - - \start -To: Zach -Subject: re: [Axiom-mail] Axiom v. Maxima - <200805160405.m4G45TO18978@localhost.localdomain> - <95f1acd0805161058k68b20bf1yd5d4a4bf658faf3e@mail.gmail.com> -From: Martin Rubey Date: 16 May 2008 20:02:13 +0200 -Cc: list, axiom-mail@nongnu.org +From: Martin Rubey +To: Zach Smith +Subject: re: [Axiom-mail] Axiom v. Maxima -Zach writes: +Zach Smith writes: > Tim, please tell me that Firefox will not be the only way to interface with > Axiom. It will still be possible to write an Emacs mode for it, something @@ -15777,20 +15115,11 @@ There is an emacs mode. PLEASE try it and give feedback. You'll find it on mathaction. -Martin - - - - \start Date: Fri, 16 May 2008 20:16:05 +0200 From: Ralf Hemmecke To: Martin Rubey Subject: re: [Axiom-mail] Axiom v. Maxima - <9q4p8y86vu.fsf@aquin.mat.univie.ac.at> -Cc: list, axiom-mail@nongnu.org - -Martin, please learn to make the life easier for others. You know the link. So why not put it in the posting? @@ -15800,7 +15129,7 @@ http://axiom-wiki.newsynthesis.org/AxiomEmacsMode Ralf On 05/16/2008 08:02 PM, Martin Rubey wrote: -> Zach writes: +> Zach Smith writes: > >> Tim, please tell me that Firefox will not be the only way to interface with >> Axiom. It will still be possible to write an Emacs mode for it, something @@ -15812,19 +15141,12 @@ On 05/16/2008 08:02 PM, Martin Rubey wrote: > > Martin - - \start Date: Fri, 16 May 2008 16:21:54 -0400 From: Tim Daly -To: elzacho@gmail.com - (message from Zach on Fri, 16 May 2008 11:58:44 -0600) - <200805160405.m4G45TO18978@localhost.localdomain> - <95f1acd0805161058k68b20bf1yd5d4a4bf658faf3e@mail.gmail.com> -Cc: list, axiom-mail@nongnu.org +To: Zach Smith Subject: Re: [Axiom-mail] Axiom v. Maxima -Zach, >So, I am extremely new to Axiom, in fact I pretty much don't know how to do >anything I want with the system, even after reading the introductory @@ -15994,24 +15316,11 @@ and graphics code. This will significantly improve the ability to port Axiom to other platforms since most of the issues of porting have to do with the "portable" C code. -Tim - - - - - - - \start Date: Fri, 16 May 2008 12:24:06 -0700 From: Arthur Ralfs -Subject: re: [Axiom-mail] Axiom v. Maxima To: list -Message-id: <482DDF56.8020003@shaw.ca> -MIME-version: 1.0 - <200805160405.m4G45TO18978@localhost.localdomain> - <95f1acd0805161058k68b20bf1yd5d4a4bf658faf3e@mail.gmail.com> - recognized. +Subject: re: [Axiom-mail] Axiom v. Maxima Zach wrote: > @@ -16025,83 +15334,48 @@ Zach wrote: > Zach, -In the work I've done my goal has been to make a browser interface based -on completely free and open source software and standards, which I realized -was a possibility when I noticed Firefox supported MathML and SVG. If -another -browser supports these standards then anything I do should be easily -transferable. -I understand that there is a plugin (Mathplayer I think) that enables -MathML in -IE. However IE is not free and open source software so I don't code -specifically -for IE on my volunteer time. I also have heard that Opera has -implemented some +In the work I've done my goal has been to make a browser interface +based on completely free and open source software and standards, which +I realized was a possibility when I noticed Firefox supported MathML +and SVG. If another browser supports these standards then anything I +do should be easily transferable. I understand that there is a plugin +(Mathplayer I think) that enables MathML in IE. However IE is not +free and open source software so I don't code specifically for IE on +my volunteer time. I also have heard that Opera has implemented some sort of MathML support but I haven't looked into it. -Arthur - - - - - - - \start Date: Sat, 17 May 2008 20:00:17 -0400 From: Tim Daly To: list -Cc: Subject: floating point changes The floating point results returned running fedora8 and fedora9 differ in the low order bits (same hardware). Does anyone know what might have changed? Is this a library or C compiler change? -Tim - - - - - \start Date: Sat, 17 May 2008 17:56:19 -0500 From: Gabriel Dos Reis To: Tim Daly Subject: Re: floating point changes -Cc: list On Sat, May 17, 2008 at 7:00 PM, Tim Daly wrote: > The floating point results returned running fedora8 and fedora9 differ > in the low order bits (same hardware). Does anyone know what might > have changed? Is this a library or C compiler change? -If you're running on x86, then your floating point calculations are at the mercy -of how aggressive the compiler is at keeping numbers in registers or other -constants folding. Unless, you use certifying libraries such as MPFR. +If you're running on x86, then your floating point calculations are at +the mercy of how aggressive the compiler is at keeping numbers in +registers or other constants folding. Unless, you use certifying +libraries such as MPFR. This is to a large extent a hardware problem -> -> Tim -> -> -> -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> - - \start Date: Sun, 18 May 2008 15:37:31 -0400 From: Tim Daly -To: asau@inbox.ru - 18 May 2008 19:38:08 +0400) - <877idrpqqn.fsf@inbox.ru> -Cc: list +To: Aleksej Saushev Subject: pkg-src >I'd really like to push Axiom into the world, but I don't @@ -16219,22 +15493,10 @@ journaled in the mailing list archives. Given your suggestion, though, I'll review pkgsrc sometime this week. -Tim - - - - - - \start Date: Sun, 18 May 2008 21:41:08 -0400 From: Tim Daly -To: asau@inbox.ru - 18 May 2008 23:43:34 +0400) - <877idrpqqn.fsf@inbox.ru> - <200805181937.m4IJbVe28724@localhost.localdomain> - <87skwftn2x.fsf@inbox.ru> -Cc: list +To: Aleksej Saushev Subject: Re: pkg-src >> Axiom is currently available as tarballs and binaries. @@ -16254,19 +15516,10 @@ Subject: Re: pkg-src Git maintains a cryptographic hash that gives exact information about the source tree in use. -Tim - - - \start Date: Sun, 18 May 2008 21:42:17 -0400 From: Tim Daly -To: asau@inbox.ru - 18 May 2008 23:43:34 +0400) - <877idrpqqn.fsf@inbox.ru> - <200805181937.m4IJbVe28724@localhost.localdomain> - <87skwftn2x.fsf@inbox.ru> -Cc: list +To: Aleksej Saushev Subject: Re: pkg-src >> I have a copy of the latest OpenSolaris but the build attempt is @@ -16286,19 +15539,10 @@ I don't have access to a standard solaris box. I tried to use the OpenSolaris distro but I failed trying to install tetex. -Tim - - - \start -To: Tim Daly - <877idrpqqn.fsf@inbox.ru> - <200805181937.m4IJbVe28724@localhost.localdomain> -From: Aleksej Saushev Date: Sun, 18 May 2008 23:43:34 +0400 - of "Sun\, 18 May 2008 15\:37\:31 -0400") - recognized. -Cc: list +From: Aleksej Saushev +To: Tim Daly Subject: Re: pkg-src Tim Daly writes: @@ -16438,13 +15682,10 @@ Right, I've seen this list, it doesn't contain any system, which I use. Good luck! If you have any questions, you can ask them on mailing list , or on the IRC #pkgsrc at irc.freenode.net. - - \start -From: Tim Daly Date: Fri, 23 May 2008 05:11:55 -0500 +From: Tim Daly To: list -Cc: Subject: 20080523.01.tpd.patch (MIT integration tests) These are the test cases from the MIT Integration Bee. @@ -17102,13 +16343,10 @@ index 0000000..d17eddb + + - - \start -From: Tim Daly Date: Fri, 23 May 2008 05:33:46 -0500 +From: Tim Daly To: list -Cc: Subject: Lisp Macros I'd encourage you to look at @@ -17145,22 +16383,13 @@ the internals of Axiom's implementation, you need to understand macros. If you haven't tried using macros, I'd encourage you to look at this technology in common lisp. -Tim - - - - \start -To: Aleksej Saushev -Subject: re: pkg-src - <877idrpqqn.fsf@inbox.ru> - <200805181937.m4IJbVe28724@localhost.localdomain> - <87skwftn2x.fsf@inbox.ru> -From: Martin Rubey Date: 24 May 2008 11:11:29 +0200 -Cc: list, fricas-devel < > +From: Martin Rubey +To: Aleksej Saushev +Subject: re: pkg-src -Aleksej Saushev writes: +Aleksej Saushev writes: > > Hmmm, methinks you fall into the philosophy supporting FriCAS. > > Waldek seems to have your goals already achieved. @@ -17187,16 +16416,10 @@ http://sourceforge.net/project/showfiles.php?group_id=200168 Is that what you are looking for? -Martin - - - - \start -From: Tim Daly Date: Mon, 26 May 2008 19:27:45 -0500 +From: Tim Daly To: list -Cc: Subject: May 2008 Release The process of releasing Axiom for May has started. @@ -17236,17 +16459,10 @@ DOCUMENTATION PORTING GCLOPTS-CUSTRELOC disable-locbfd for MACOSXPPC - - - - - - \start -From: Tim Daly Date: Mon, 26 May 2008 20:22:30 -0500 +From: Tim Daly To: list -Cc: Subject: 20080526.01.tpd.patch (add fedora8-64 to Makefile) Handle the fedora8-64 platform. @@ -17321,13 +16537,10 @@ index 673579c..d4404a9 100644 20080524 tpd Makefile opensuse use GCLVERSION=gcl-2.6.8pre2 20080524 tpd Makefile GCLOPTS-CUSTRELOC disable-locbfd for MACOSXPPC - - \start -From: Tim Daly Date: Tue, 27 May 2008 18:03:23 -0500 +From: Tim Daly To: list -Cc: Subject: 20080527.01.tpd.patch (Fedora 9 updates) Changes to build Axiom on the Fedora 9 platform. @@ -17534,15 +16747,10 @@ index ac41077..d9ba9a3 100644 + + - - \start Date: Tue, 27 May 2008 23:13:34 -0400 From: Bill Page -To: open-axiom-devel , - fricas-devel < >, - list -Cc: +To: list Subject: axiom-wiki enhancements Dear Axiom Wiki Users and Contributors: @@ -17626,12 +16834,10 @@ On Mon, Apr 28, 2008 at 2:35 PM, Bill Page wrote: > ... - \start -From: Tim Daly Date: Wed, 28 May 2008 02:54:07 -0500 +From: Tim Daly To: list, axiom-math@axiom-developer.org -Cc: Subject: May 2008 release Axiom is released every two months. @@ -17660,14 +16866,10 @@ The git silver repository at axiom-developer.org The Doyen binary image needs to be rebuilt. The opensuse, macosxppc, and debian binary images are being built. -Tim - - - \start Date: Wed, 28 May 2008 14:45:04 +0200 From: Ralf Hemmecke -To: axiom-dev +To: list Subject: Building axiom on debian etch failed Hello Tim, @@ -17705,14 +16907,11 @@ What should I do here? I know that has been discussed before, but I wonder why Axiom still asks a user to manually adapt the building process. (disappointed) -Ralf - - \start Date: Wed, 28 May 2008 14:54:29 +0200 From: Ralf Hemmecke -To: axiom-dev +To: list Subject: cannot build axiom Is my problem related to @@ -17723,31 +16922,21 @@ http://axiom-wiki.newsynthesis.org/306LibXpmAIsInUsrLibUnderUbuntu Tim, is Axiom still using Mathaction as its issuetracker? -Ralf - - - \start Date: Wed, 28 May 2008 14:56:37 -0400 From: Tim Daly To: Ralf Hemmecke - Wed, 28 May 2008 14:54:29 +0200) Subject: Re: cannot build axiom -Cc: list > Tim, is Axiom still using Mathaction as its issuetracker? no. - - \start Date: Wed, 28 May 2008 14:58:42 -0400 From: Tim Daly To: Ralf Hemmecke - Wed, 28 May 2008 14:54:29 +0200) Subject: Re: cannot build axiom -Cc: list > Is my problem related to > @@ -17755,17 +16944,11 @@ Cc: list Almost certainly. Where does libXpm.a appear in your system? -Tim - - - \start Date: Wed, 28 May 2008 20:01:24 +0200 From: Ralf Hemmecke To: Tim Daly Subject: Re: cannot build axiom - <200805281858.m4SIwgF21480@localhost.localdomain> -Cc: list On 05/28/2008 08:58 PM, root wrote: >> Is my problem related to @@ -17782,19 +16965,11 @@ and I cannot apply that patch. Could you tell me what variable I should set to compile up to the end? -Ralf - - - \start Date: Wed, 28 May 2008 15:34:56 -0400 From: Tim Daly To: Ralf Hemmecke - Wed, 28 May 2008 20:01:24 +0200) Subject: Re: cannot build axiom - <200805281858.m4SIwgF21480@localhost.localdomain> - <483D9DF4.5080308@hemmecke.de> -Cc: list Did you set your AXIOM variable as: export AXIOM=(place)/axiom/mnt/debian @@ -17810,19 +16985,11 @@ LDF=" -L/usr/X11R6/lib -L/usr/lib ${XLIB}/libXpm.a " and make sure that this corresponds to the location of libXpm.a -Tim - - - \start Date: Wed, 28 May 2008 21:15:27 +0200 From: Ralf Hemmecke To: Tim Daly Subject: Re: cannot build axiom - <200805281858.m4SIwgF21480@localhost.localdomain> - <483D9DF4.5080308@hemmecke.de> - <200805281934.m4SJYuv21515@localhost.localdomain> -Cc: list On 05/28/2008 09:34 PM, root wrote: > Did you set your AXIOM variable as: @@ -17885,19 +17052,11 @@ PS: What is actually missing, if I stop here? Currently, I don't need hyperdoc. If that is all that is missing then maybe I don't need to torture myself. (Unfortunately, the axiom script has not yet been built.) - - \start Date: Wed, 28 May 2008 16:46:03 -0400 From: Tim Daly To: Ralf Hemmecke - Wed, 28 May 2008 21:15:27 +0200) Subject: Re: cannot build axiom - <200805281858.m4SIwgF21480@localhost.localdomain> - <483D9DF4.5080308@hemmecke.de> - <200805281934.m4SJYuv21515@localhost.localdomain> - <483DAF4F.9070907@hemmecke.de> -Cc: list >PS: What is actually missing, if I stop here? Currently, I don't need >hyperdoc. If that is all that is missing then maybe I don't need to @@ -17907,21 +17066,11 @@ Well, in your original build all that was missing was the hyperdoc. I'm nearly finished the debian build. If you wait a few hours I'll have it uploaded. -Tim - - - \start Date: Wed, 28 May 2008 16:57:56 -0400 From: Tim Daly To: Ralf Hemmecke - Wed, 28 May 2008 21:15:27 +0200) Subject: Re: cannot build axiom - <200805281858.m4SIwgF21480@localhost.localdomain> - <483D9DF4.5080308@hemmecke.de> - <200805281934.m4SJYuv21515@localhost.localdomain> - <483DAF4F.9070907@hemmecke.de> -Cc: list >> Did you set your AXIOM variable as: >> export AXIOM=(place)/axiom/mnt/debian @@ -17976,24 +17125,11 @@ It is unnecessary anyway. I built the configure script because people insisted that "everybody" types "configure". It just needs to go away. - - - - - - - \start Date: Wed, 28 May 2008 21:54:08 +0200 From: Ralf Hemmecke To: Tim Daly Subject: Re: cannot build axiom - <200805281858.m4SIwgF21480@localhost.localdomain> - <483D9DF4.5080308@hemmecke.de> - <200805281934.m4SJYuv21515@localhost.localdomain> - <483DAF4F.9070907@hemmecke.de> - <200805282057.m4SKvuC21585@localhost.localdomain> -Cc: list > I built the configure script because people insisted that "everybody" > types "configure". @@ -18014,16 +17150,10 @@ that you cannot figure out by a proper configure script automatically? OK. It's your way of dealing with it. - -Ralf - - - \start Date: Wed, 28 May 2008 17:15:07 -0400 From: Tim Daly -To: asau@inbox.ru -Cc: list +To: Aleksej Saushev Subject: pkgsrc >>I'd really like to push Axiom into the world, but I don't @@ -18040,24 +17170,11 @@ Autopackage Why do you prefer pkgsrc? -Tim - - - - \start Date: Wed, 28 May 2008 17:39:22 -0400 From: Tim Daly To: Ralf Hemmecke - Wed, 28 May 2008 21:54:08 +0200) Subject: Re: cannot build axiom - <200805281858.m4SIwgF21480@localhost.localdomain> - <483D9DF4.5080308@hemmecke.de> - <200805281934.m4SJYuv21515@localhost.localdomain> - <483DAF4F.9070907@hemmecke.de> - <200805282057.m4SKvuC21585@localhost.localdomain> - <483DB860.7020402@hemmecke.de> -Cc: list >Anyway, the readme should better explain what exactly I have to do for >my system. I am not a native english speaker. That line @@ -18075,16 +17192,10 @@ Thanks for pointing that out. The debian binary is available at: -Tim - - - - \start -From: Tim Daly Date: Wed, 28 May 2008 17:06:31 -0500 +From: Tim Daly To: list -Cc: Subject: 20080528.01.tpd.patch (configure/readme rewrite) Rewrite the readme and configure files. @@ -18397,15 +17508,11 @@ index 27bb2cf..c4da06b 100644 If this fails check the FAQ for possible problems and their fixes. - - \start Date: Thu, 29 May 2008 00:26:12 +0200 From: Ralf Hemmecke -To: daly@users.sourceforge.net -Cc: axiom-dev -Subject: Re: [Axiom-commit] SF.net SVN: axiom: [885] - trunk/axiom +To: list +Subject: Re: [Axiom-commit] SF.net SVN: axiom: [885] trunk/axiom > +echo SYSNAME ---- SYSTEM > +echo ========================================================= @@ -18435,24 +17542,11 @@ idea to put some burden on the user to set any variable. Anyhow, the readme seems now a bit clearer. -Ralf - - - \start Date: Wed, 28 May 2008 19:57:58 -0400 From: Tim Daly To: Tim Daly - root on Wed, 28 May 2008 17:39:22 -0400) Subject: Re: cannot build axiom - <200805281858.m4SIwgF21480@localhost.localdomain> - <483D9DF4.5080308@hemmecke.de> - <200805281934.m4SJYuv21515@localhost.localdomain> - <483DAF4F.9070907@hemmecke.de> - <200805282057.m4SKvuC21585@localhost.localdomain> - <483DB860.7020402@hemmecke.de> - <200805282139.m4SLdM321631@localhost.localdomain> -Cc: list >So what will you tell them that you cannot figure out by a proper >configure script automatically? @@ -18479,54 +17573,38 @@ Getting Axiom to compile is only the first step. Once the lisp-only rewrite completes there won't be a need for system-specific labels anyway. -Tim - - - - \start +Date: Thu, 29 May 2008 00:52:28 -0400 From: William Sit +To: Tim Daly Subject: Re: cannot build axiom -To: Tim Daly,Tim Daly -Date: Thu, 29 May 2008 00:52:28 -0400 Cc: list On Wed, 28 May 2008 19:57:58 -0400 Tim Daly wrote: ->>So what will you tell them that you cannot figure out by ->>a proper ->>configure script automatically? -> ->I do not know how to automatically and generically figure ->out the ->correct string, e.g. "debian", "macosxppc", "fedora9" ->,etc. It seems ->that this would take an expert in each system to write ->system-specific ->code to probe the configuration for each system. - -I certainly don't know anything about OSes. But it seems -to me that there is a dumb way. If each supported OS -stanza includes the expert system-specific code to verify -(not probing to find what the OS is, but assuming the OS -is the one in the stanza, verify it -- only a yes or no -answer) that the OS is the right one, then by a process of -elimination, a loop going through all the OSes stanzas -until a match is found(or not found) should solve the -problem. - -William +>>So what will you tell them that you cannot figure out by a proper +>>configure script automatically? +>I do not know how to automatically and generically figure out the +>correct string, e.g. "debian", "macosxppc", "fedora9" ,etc. It seems +>that this would take an expert in each system to write +>system-specific code to probe the configuration for each system. +I certainly don't know anything about OSes. But it seems to me that +there is a dumb way. If each supported OS stanza includes the expert +system-specific code to verify (not probing to find what the OS is, +but assuming the OS is the one in the stanza, verify it -- only a yes +or no answer) that the OS is the right one, then by a process of +elimination, a loop going through all the OSes stanzas until a match +is found(or not found) should solve the problem. \start -From: Tim Daly Date: Thu, 29 May 2008 02:15:06 -0500 +From: Tim Daly To: list -Cc: Dan Hatton -Subject: 20080529.01.dxh.patch (fix hyperdoc on - interrupted rebuilds) +Subject: 20080529.01.dxh.patch (fix hyperdoc on interrupted rebuilds) +Cc: Dan Hatton Dan Hatton submitted a fix for the hyperdoc failure on rebuilds. Dan has been added to the credits list. @@ -18541,7 +17619,7 @@ index b3a1125..42a023c 100644 +20080529 tpd setq.lisp add Dan Hatton to credits +20080529 tpd readme add Dan Hatton to credits +20080529 dxh src/hyper/pages/rootpage.ht remove \localinfo -+20080529 dxh Dan Hatton ++20080529 dxh Dan Hatton 20080528 tpd configure rewrite 20080528 tpd readme rewrite 20080527 tpd Makefile add fedora9 stanza @@ -18591,36 +17669,27 @@ index 6d35e34..d451fdf 100644 "Richard Jenks" "Kai Kaminski Grant Keady Tony Kennedy" - - \start Date: Thu, 29 May 2008 04:03:20 -0400 From: Tim Daly To: William Sit Subject: Re: cannot build axiom -Cc: list ->>>So what will you tell them that you cannot figure out by ->>>a proper +>>>So what will you tell them that you cannot figure out by a proper >>>configure script automatically? ->> ->>I do not know how to automatically and generically figure ->>out the ->>correct string, e.g. "debian", "macosxppc", "fedora9" ->>,etc. It seems ->>that this would take an expert in each system to write ->>system-specific ->>code to probe the configuration for each system. -> ->I certainly don't know anything about OSes. But it seems ->to me that there is a dumb way. If each supported OS ->stanza includes the expert system-specific code to verify ->(not probing to find what the OS is, but assuming the OS ->is the one in the stanza, verify it -- only a yes or no ->answer) that the OS is the right one, then by a process of ->elimination, a loop going through all the OSes stanzas ->until a match is found(or not found) should solve the ->problem. + +>>I do not know how to automatically and generically figure out the +>>correct string, e.g. "debian", "macosxppc", "fedora9" ,etc. It seems +>>that this would take an expert in each system to write +>>system-specific code to probe the configuration for each system. + +>I certainly don't know anything about OSes. But it seems to me that +>there is a dumb way. If each supported OS stanza includes the expert +>system-specific code to verify (not probing to find what the OS is, +>but assuming the OS is the one in the stanza, verify it -- only a yes +>or no answer) that the OS is the right one, then by a process of +>elimination, a loop going through all the OSes stanzas until a match +>is found(or not found) should solve the problem. It takes approximately 15 seconds to read the output and type the required export lines. @@ -18660,25 +17729,15 @@ immediate, which is easy. We seem to be ignoring the essential and long term, which is hard. The time has come to focus on the long term, hard tasks. -Tim - - - \start +Date: Thu, 29 May 2008 20:11:59 +0400 +From: Aleksej Saushev To: Martin Rubey Subject: re: pkg-src - <877idrpqqn.fsf@inbox.ru> - <200805181937.m4IJbVe28724@localhost.localdomain> - <87skwftn2x.fsf@inbox.ru> <9qiqx4kqwu.fsf@hilbert.mat.univie.ac.at> -From: Aleksej Saushev - of "24 May 2008 11\:11\:29 +0200") -Date: Thu, 29 May 2008 20:11:59 +0400 - 10.2-10.3) -Cc: list, fricas-devel < > Martin Rubey writes: -> Aleksej Saushev writes: +> Aleksej Saushev writes: > >> and tarball, which I'm waiting for. > @@ -18694,15 +17753,10 @@ times, but supporting that is nearly impossible. I'm waiting for next release, be it minor or major, where reported problems are fixed. - - \start -To: Tim Daly -From: Aleksej Saushev Date: Thu, 29 May 2008 20:15:03 +0400 - of "Wed\, 28 May 2008 17\:15\:07 -0400") - 10.2-10.3) -Cc: list +From: Aleksej Saushev +To: Tim Daly Subject: Re: pkgsrc Tim Daly writes: @@ -18725,21 +17779,10 @@ Because it is standard (comes with operating system), crossplatform (I used it on FreeBSD, several GNU/Linux systems, Windows XP) and, first of all, well-supported. - - \start -To: list -From: Aleksej Saushev Date: Thu, 29 May 2008 21:22:15 +0400 - <200805281858.m4SIwgF21480@localhost.localdomain> - <483D9DF4.5080308@hemmecke.de> - <200805281934.m4SJYuv21515@localhost.localdomain> - <483DAF4F.9070907@hemmecke.de> - <200805282057.m4SKvuC21585@localhost.localdomain> - <483DB860.7020402@hemmecke.de> - <200805282139.m4SLdM321631@localhost.localdomain> - <200805282357.m4SNvwl21739@localhost.localdomain> -Cancel-Lock: sha1:B7H9K7tf14YbFUu6eM/JpRPh6Og= +From: Aleksej Saushev +To: list Subject: Re: cannot build axiom Tim Daly writes: @@ -18766,14 +17809,10 @@ the user or packager, ask the latter about path(es) to their libraries. There is no need either. CFLAGS and LDFLAGS is (generally) enough. - - - \start -From: Tim Daly Date: Fri, 30 May 2008 00:09:36 -0500 +From: Tim Daly To: list -Cc: Subject: 20080530.01.tpd.patch (books creation) Begin literate restructuring of Axiom. @@ -18965,13 +18004,10 @@ Begin literate restructuring of Axiom. 20080529 tpd readme add Dan Hatton to credits 20080529 dxh src/hyper/pages/rootpage.ht remove \localinfo - - \start -From: Tim Daly Date: Fri, 30 May 2008 07:46:43 -0500 +From: Tim Daly To: list -Cc: Subject: 20080531.01.tpd.patch (construct book PDFs) Automatically construct the book PDFs in the final doc directory. @@ -19733,11 +18769,8 @@ index 3581b97..0000000 -\def\nwendquote{\relax\ifhmode\spacefactor=1000 \fi} -{\catcode`\^^M=\active % make CR an active character - \gdef\newlines{\catcode`\^^M=\active % make CR an active character -- \def^^M{\par\startline}}% - \gdef\eatline#1^^M{\relax}% -} --%%% DON'T \gdef^^M{\par\startline}}% in case ^^M appears in a \write --\def\startline{\noindent\hskip\parindent\ignorespaces} -\def\nwnewline{\ifvmode\else\hfil\break\leavevmode\hbox{}\fi} -\def\setupmodname{% - \catcode`\$=3 @@ -20802,15 +19835,10 @@ index 6cbc985..13d39b9 100644 <> <> - - \start Date: Sat, 31 May 2008 18:55:24 +0200 From: Ralf Hemmecke -To: fricas-devel < >, - open-axiom-devel , - axiom-dev -Cc: +To: list Subject: makeAxExportForm src/interp/ax.boot @@ -20842,16 +19870,11 @@ Ralf PS: Why is there a parameter "filename" if it is not used in the function? (Well I don't understand boot, so that may be a stupid question.) - - \start Date: Sat, 31 May 2008 18:35:12 +0100 -From: "Peter Broadbery" +From: Peter Broadbery To: Ralf Hemmecke Subject: Re: makeAxExportForm -Cc: axiom-dev , - fricas-devel < >, - open-axiom-devel On Sat, May 31, 2008 at 5:55 PM, Ralf Hemmecke wrote: > src/interp/ax.boot @@ -20880,9 +19903,9 @@ On Sat, May 31, 2008 at 5:55 PM, Ralf Hemmecke wrote: > Not sure if this a boot question or an aldor one. The output is aldor -abstract syntax - ie. that used in .ap files. -The boot code does look horrible; a lisp equivalent for the last -assignment is something like +abstract syntax - ie. that used in .ap files. The boot code does look +horrible; a lisp equivalent for the last assignment is something like + (setq axform `(Sequence (import () 'AxiomLib) (Import () Boolean) ,axforms)). Filename is unused. The function probably created a file at one @@ -20895,13 +19918,7 @@ Peter > > PS: Why is there a parameter "filename" if it is not used in the function? > (Well I don't understand boot, so that may be a stupid question.) -> -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> + diff --git a/book/2008-06.txt b/book/2008-06.txt index c755a99..6f14f50 100644 --- a/book/2008-06.txt +++ b/book/2008-06.txt @@ -5543,7 +5543,7 @@ Tim \start Date: Tue, 3 Jun 2008 22:52:52 -0400 -From: "Ted Kosan" +From: Ted Kosan To: Tim Daly Subject: Re: APL, J, and Axiom documentation Cc: list, axiom-math@nongnu.org @@ -5574,8 +5574,8 @@ Ted \start Date: Wed, 4 Jun 2008 01:28:28 -0400 From: Tim Daly -To: ted.kosan@gmail.com - (ted.kosan@gmail.com) +To: Ted Kosan + (Ted Kosan) Subject: Re: APL, J, and Axiom documentation <9d9ff120806031952j4dbeace2mf4442096c4a61555@mail.gmail.com> Cc: list, axiom-math@nongnu.org @@ -5664,7 +5664,7 @@ Tim \start Date: Wed, 4 Jun 2008 01:03:52 -0400 -From: "Ted Kosan" +From: Ted Kosan To: Tim Daly Cc: list, axiom-math@nongnu.org Subject: Re: Axiom marketing and funding (was APL, J, @@ -5717,7 +5717,7 @@ Ted \start Date: Wed, 4 Jun 2008 01:33:37 -0400 -From: "Ted Kosan" +From: Ted Kosan To: Tim Daly Subject: Re: APL, J, and Axiom documentation <9d9ff120806031952j4dbeace2mf4442096c4a61555@mail.gmail.com> @@ -7348,8 +7348,8 @@ index 16267c2..1daad5b 100644 \start Date: Wed, 4 Jun 2008 04:43:35 -0400 From: Tim Daly -To: ted.kosan@gmail.com - (ted.kosan@gmail.com) +To: Ted Kosan + (Ted Kosan) Subject: Re: APL, J, and Axiom documentation <9d9ff120806031952j4dbeace2mf4442096c4a61555@mail.gmail.com> <200806040528.m545SSI02178@localhost.localdomain> @@ -20004,7 +20004,7 @@ BF. \start Date: Tue, 10 Jun 2008 16:16:31 -0600 -From: Zach +From: Zach Smith To: Bertfried Fauser Subject: Re: 20080609.02.tpd.patch (remove unused files in src/hyper) @@ -26434,7 +26434,7 @@ index b783c96..5abd176 100644 \start -From: "A.M.Raportirenko" +From: Anatoly Raportirenko To: list Date: Sun, 15 Jun 2008 18:41:46 +0400 charset="us-ascii" @@ -26462,7 +26462,7 @@ Anatoly \start Date: Sun, 15 Jun 2008 13:05:36 -0400 From: Tim Daly -To: ram@sunct1.jinr.ru +To: Anatoly Raportirenko Subject: Re: axiom bookvols Cc: list @@ -26481,7 +26481,7 @@ Excellent idea. Done. --Tim \start Date: Sun, 15 Jun 2008 13:34:47 -0400 From: Tim Daly -To: ram@sunct1.jinr.ru +To: Anatoly Raportirenko Subject: Re: axiom bookvols Cc: list @@ -30208,7 +30208,7 @@ Tim \start Date: Thu, 19 Jun 2008 13:34:42 -0400 From: Tim Daly -To: ram@sunct1.jinr.ru +To: Anatoly Raportirenko Subject: Re: axiom bookvols Cc: list @@ -30233,7 +30233,7 @@ index 3914214..5fa645b 100644 @@ -1,3 +1,6 @@ +20080619 tpd readme add Anatoly Raportirenko +20080619 tpd src/interp/setq.lisp add Anatoly Raportirenko -+20080619 axr Anatoly Raportirenko ++20080619 axr Anatoly Raportirenko Anatoly Raportirenko 20080618 tpd books/ps/CRCp27-2.1.1.ps added 20080618 tpd src/Makefile build sman directory from bookvol6 20080618 tpd src/sman/bookvol6 moved to books directory @@ -30862,7 +30862,7 @@ index 5fa645b..5c6a0b8 100644 +20080619 tpd books/bookvol8 systematically index chunks 20080619 tpd readme add Anatoly Raportirenko 20080619 tpd src/interp/setq.lisp add Anatoly Raportirenko - 20080619 axr Anatoly Raportirenko + 20080619 axr Anatoly Raportirenko Anatoly Raportirenko @@ -31648,7 +31648,7 @@ index 0000000..cc99107 \start Date: Sun, 22 Jun 2008 23:29:27 +0200 From: Ralf Hemmecke -To: Peter Broadbery , aldor-l , +To: Peter Broadbery, aldor-l , fricas-devel < >, axiom-dev , open-axiom-devel @@ -31777,7 +31777,7 @@ index 8d9986d..2c5cacc 100644 \start Date: Mon, 23 Jun 2008 08:20:04 +0100 -From: "Peter Broadbery" +From: Peter Broadbery To: Cc: axiom-dev , open-axiom-devel , diff --git a/book/2008-07.txt b/book/2008-07.txt index 685fa81..9b7d6db 100644 --- a/book/2008-07.txt +++ b/book/2008-07.txt @@ -137,7 +137,7 @@ Bill Page. \start Date: Tue, 8 Jul 2008 17:05:39 +0200 (CEST) -From: "Fabio S." Fabio Stumbo +From: Fabio Stumbo To: list Subject: About axiom.sty @@ -183,7 +183,7 @@ Tim \start Date: Wed, 9 Jul 2008 09:40:30 +0200 (CEST) -From: "Fabio S." Fabio Stumbo +From: Fabio Stumbo To: list Subject: Re: About axiom.sty <200807081935.m68JZpT32348@localhost.localdomain> @@ -204,7 +204,7 @@ Fabio \start Date: Tue, 15 Jul 2008 15:22:07 -0400 From: Bill Page -To: "Gregory Vanuxem" Gregory Vanuxem +To: Gregory Vanuxem <1215710329.3338.24.camel@ellipse> Cc: list, @@ -5672,7 +5672,7 @@ Injection-Info: i76g2000hsf.googlegroups.com; posting-host=72.23.19.139; posting-account=m2ufuQoAAAAnP4mhpj2-bRzndif0-AIg NNTP-Posting-Host: 72.23.19.139 Gecko/2008070208 Firefox/3.0.1,gzip(gfe),gzip(gfe) -From: TimDaly Tim Daly +From: Tim Daly To: list Cc: list Subject: Literate Programming and Reproducible Results @@ -12243,7 +12243,7 @@ index c022143..a595b42 100644 \start Date: Fri, 01 Aug 2008 01:03:20 +0200 From: Ralf Hemmecke -To: Peter Broadbery , +To: Peter Broadbery, fricas-devel < >, axiom-dev , open-axiom-devel diff --git a/book/2008-08.txt b/book/2008-08.txt index 15aba48..2ee7860 100644 --- a/book/2008-08.txt +++ b/book/2008-08.txt @@ -2,7 +2,7 @@ To: Ralf Hemmecke From: Martin Rubey Date: 01 Aug 2008 09:00:48 +0200 -Cc: Peter Broadbery , +Cc: Peter Broadbery, fricas-devel < >, open-axiom-devel , axiom-dev diff --git a/book/2008-09.txt b/book/2008-09.txt index 61db350..57dc9d6 100644 --- a/book/2008-09.txt +++ b/book/2008-09.txt @@ -3400,7 +3400,7 @@ Injection-Info: z66g2000hsc.googlegroups.com; posting-host=72.23.19.139; posting-account=m2ufuQoAAAAnP4mhpj2-bRzndif0-AIg NNTP-Posting-Host: 72.23.19.139 Gecko/2008070208 Firefox/3.0.1,gzip(gfe),gzip(gfe) -From: TimDaly Tim Daly +From: Tim Daly To: list Cc: list Subject: Re: What is a CAS? @@ -4825,8 +4825,8 @@ Tim \start Date: Sun, 7 Sep 2008 02:51:48 -0400 From: Tim Daly -To: ted.kosan@gmail.com - (ted.kosan@gmail.com) +To: Ted Kosan + (Ted Kosan) Subject: Re: Axiom Abbreviated Category and Domain graph <9d9ff120809062150k70bb58cbocb1423400e3f37cf@mail.gmail.com> recognized. diff --git a/book/2008-10.txt b/book/2008-10.txt index 645e832..a2298ea 100644 --- a/book/2008-10.txt +++ b/book/2008-10.txt @@ -7557,7 +7557,7 @@ Tim \start Date: Mon, 6 Oct 2008 02:04:00 -0400 -From: "Ted Kosan" +From: Ted Kosan To: list Subject: re: Some code, if you are interested. <87prmml4h8.fsf@lattice.localdomain> @@ -7585,8 +7585,8 @@ Ted \start Date: Mon, 6 Oct 2008 02:44:07 -0400 From: Tim Daly -To: ted.kosan@gmail.com - (ted.kosan@gmail.com) +To: Ted Kosan + (Ted Kosan) Subject: re: Some code, if you are interested. <87prmml4h8.fsf@lattice.localdomain> <200810060549.m965nta13755@localhost.localdomain> diff --git a/book/2008-11.txt b/book/2008-11.txt index a73a553..4ea27c4 100644 --- a/book/2008-11.txt +++ b/book/2008-11.txt @@ -57,7 +57,7 @@ Martin \start Date: Tue, 4 Nov 2008 18:40:56 -0500 -From: "Ted Kosan" +From: Ted Kosan To: maxima@math.utexas.edu, list Cc: Subject: Mathrider update @@ -3819,7 +3819,7 @@ Chris \start Date: Sat, 15 Nov 2008 18:28:56 -0500 -From: "Ted Kosan" +From: Ted Kosan To: list Subject: Re: User Interface Help @@ -5059,8 +5059,8 @@ index bb73b77..91d26a3 100644 \start Date: Sun, 16 Nov 2008 13:48:21 -0500 From: Tim Daly -To: ted.kosan@gmail.com - (ted.kosan@gmail.com) +To: Ted Kosan + (Ted Kosan) Subject: Re: User Interface Help <9d9ff120811151528q331c7310o3efbd2285703c0d3@mail.gmail.com> recognized. @@ -5106,7 +5106,7 @@ Tim \start Date: Sun, 16 Nov 2008 15:06:41 -0500 -From: "Ted Kosan" +From: Ted Kosan To: Tim Daly Subject: Re: User Interface Help <9d9ff120811151528q331c7310o3efbd2285703c0d3@mail.gmail.com> @@ -5134,8 +5134,8 @@ Ted \start Date: Sun, 16 Nov 2008 19:48:34 -0500 From: Tim Daly -To: ted.kosan@gmail.com - (ted.kosan@gmail.com) +To: Ted Kosan + (Ted Kosan) Subject: Re: User Interface Help <9d9ff120811151528q331c7310o3efbd2285703c0d3@mail.gmail.com> <200811161848.mAGImL621352@localhost.localdomain> @@ -5245,7 +5245,7 @@ index d36a4b9..9e14ccc 100644 \start Date: Tue, 18 Nov 2008 02:00:20 -0500 -From: "Ted Kosan" +From: Ted Kosan To: Tim Daly Subject: Re: User Interface Help <9d9ff120811151528q331c7310o3efbd2285703c0d3@mail.gmail.com> @@ -5354,8 +5354,8 @@ Ted \start Date: Tue, 18 Nov 2008 03:19:05 -0500 From: Tim Daly -To: ted.kosan@gmail.com - (ted.kosan@gmail.com) +To: Ted Kosan + (Ted Kosan) Subject: Re: User Interface Help <9d9ff120811151528q331c7310o3efbd2285703c0d3@mail.gmail.com> <200811161848.mAGImL621352@localhost.localdomain> diff --git a/book/2009-04.txt b/book/2009-04.txt index 42d1123..df566a5 100644 --- a/book/2009-04.txt +++ b/book/2009-04.txt @@ -5764,7 +5764,7 @@ Pjxmb250IHNpemU9MiBmYWNlPSJzYW5zLXNlcmlmIj5JJ20gbmV3IHRvIEF4aW9tLiBJIGhhdmUg \start Date: Thu, 9 Apr 2009 07:59:21 -0700 (PDT) -From: TimDaly Tim Daly +From: Tim Daly To: list Cc: list Subject: Re: OpenAxiom-1.2.1 released @@ -5988,7 +5988,7 @@ index 0d6084e..5b9c3c7 100644 \start To: list -From: Aleksej Saushev +From: Aleksej Saushev Date: Thu, 09 Apr 2009 21:25:01 +0400 <26799440.29052.1238930354483.JavaMail.jakarta@nitrogen.mathforum.org> <1a251e35-dbee-4eef-a210-c285e21565d5@m24g2000vbp.googlegroups.com> @@ -5996,7 +5996,7 @@ Cancel-Lock: sha1:9WMDD7tS5FuO8szW8drD5m8AtPM= seldom 2.4 (older, 4) Subject: Re: OpenAxiom-1.2.1 released -TimDaly Tim Daly writes: +Tim Daly writes: > On Apr 5, 7:18 am, ferrat wrote: >> I installed Axiom but can't graph because at the end there is an error message about something in the /root directory. @@ -7410,7 +7410,7 @@ Tim \start To: list -From: Aleksej Saushev +From: Aleksej Saushev Date: Sat, 11 Apr 2009 15:31:39 +0400 Cancel-Lock: sha1:u393r7EZe49clJASUu1G8h+9fII= seldom 2.4 (older, 4) @@ -7636,11 +7636,11 @@ the pattern matching syntax is really nice. Date: Sat, 11 Apr 2009 09:23:39 -0500 Subject: re: OpenAxiom-1.2.1 released From: Gabriel Dos Reis -To: Aleksej Saushev +To: Aleksej Saushev Cc: list, open-axiom-devel -On Sat, Apr 11, 2009 at 6:31 AM, Aleksej Saushev wrote: +On Sat, Apr 11, 2009 at 6:31 AM, Aleksej Saushev wrote: > And from my user point of view, Axiom should adopt either FriCAS' or > OpenAxiom's build system, whatever is closer, or develop similar one, @@ -7828,7 +7828,7 @@ Tim \start Date: Sat, 11 Apr 2009 15:15:53 -0400 From: Tim Daly -To: asau@inbox.ru +To: Aleksej Saushev 11 Apr 2009 15:31:39 +0400) Subject: re: OpenAxiom-1.2.1 released <87fxgfwhno.fsf@inbox.ru> @@ -7867,7 +7867,7 @@ Tim \start Date: Sat, 11 Apr 2009 15:49:14 -0400 From: Tim Daly -To: asau@inbox.ru +To: Aleksej Saushev 11 Apr 2009 15:31:39 +0400) Subject: re: OpenAxiom-1.2.1 released <87fxgfwhno.fsf@inbox.ru> @@ -7937,7 +7937,7 @@ Tim \start Date: Sat, 11 Apr 2009 15:54:13 -0400 From: Tim Daly -To: asau@inbox.ru +To: Aleksej Saushev 11 Apr 2009 15:31:39 +0400) Subject: re: OpenAxiom-1.2.1 released <87fxgfwhno.fsf@inbox.ru> @@ -8439,7 +8439,7 @@ Tim \start To: list -From: Aleksej Saushev +From: Aleksej Saushev Date: Sun, 12 Apr 2009 10:58:31 +0400 <87fxgfwhno.fsf@inbox.ru> <200904111949.n3BJnEY08320@localhost.localdomain> @@ -8556,7 +8556,7 @@ BECHA... \start Date: Sun, 12 Apr 2009 06:16:47 -0400 From: Tim Daly -To: asau@inbox.ru +To: Aleksej Saushev 12 Apr 2009 10:58:31 +0400) Subject: re: OpenAxiom-1.2.1 released <87fxgfwhno.fsf@inbox.ru> @@ -8688,7 +8688,7 @@ Tim \start To: list -From: Aleksej Saushev +From: Aleksej Saushev Date: Sun, 12 Apr 2009 17:50:18 +0400 <87fxgfwhno.fsf@inbox.ru> <200904111949.n3BJnEY08320@localhost.localdomain> @@ -8846,7 +8846,7 @@ BECHA... \start -To: Aleksej Saushev +To: Aleksej Saushev Subject: re: OpenAxiom-1.2.1 released <87fxgfwhno.fsf@inbox.ru> <200904111949.n3BJnEY08320@localhost.localdomain> @@ -8858,7 +8858,7 @@ Date: 12 Apr 2009 17:10:24 +0200 Antispam-Data: 2009.4.12.145222 Cc: list -Aleksej Saushev writes: +Aleksej Saushev writes: > > Exactly the points you raise are the reason FriCAS exists. @@ -8923,7 +8923,7 @@ Cc: list On Sun, Apr 12, 2009 at 10:10 AM, Martin Rubey wrote: -> Aleksej Saushev writes: +> Aleksej Saushev writes: > It is true however that FriCAS uses LaTeX only for the mathematical > part of the code, i.e., the spad files. diff --git a/book/2009-06.txt b/book/2009-06.txt index a59652e..f97e20c 100644 --- a/book/2009-06.txt +++ b/book/2009-06.txt @@ -1961,7 +1961,7 @@ index 0000000..f60ad7e \start Date: Sun, 7 Jun 2009 11:41:40 -0700 (PDT) Gecko/2008120122 Firefox/3.0.5,gzip(gfe),gzip(gfe) -From: TimDaly Tim Daly +From: Tim Daly To: tpiezas@gmail.com Cc: list Subject: Re: A Collection of Algebraic Identities @@ -1996,7 +1996,7 @@ Tim Daly \start Date: Sun, 7 Jun 2009 17:41:53 -0700 (PDT) Gecko/2008120122 Firefox/3.0.5,gzip(gfe),gzip(gfe) -From: TimDaly Tim Daly +From: Tim Daly To: tpiezas@gmail.com Cc: list Subject: Re: A Collection of Algebraic Identities @@ -2039,7 +2039,7 @@ Tim Daly \start Date: Sun, 7 Jun 2009 19:20:03 -0700 (PDT) Gecko/2008120122 Firefox/3.0.5,gzip(gfe),gzip(gfe) -From: TimDaly Tim Daly +From: Tim Daly To: tpiezas@gmail.com Cc: list Subject: Re: A Collection of Algebraic Identities @@ -2077,7 +2077,7 @@ but you never give a value for z \start Date: Sun, 7 Jun 2009 19:59:45 -0700 (PDT) Gecko/2008120122 Firefox/3.0.5,gzip(gfe),gzip(gfe) -From: TimDaly Tim Daly +From: Tim Daly To: tpiezas@gmail.com Cc: list Subject: Re: A Collection of Algebraic Identities @@ -2122,7 +2122,7 @@ Tim Daly \start Date: Tue, 9 Jun 2009 05:26:13 -0600 From: Tito Piezas -To: TimDaly Tim Daly +To: Tim Daly Cc: list Subject: Re: A Collection of Algebraic Identities @@ -2135,7 +2135,7 @@ out all my stuff. I will get back to your questions in a few days. :-) -Tito -On Sun, Jun 7, 2009 at 8:59 PM, TimDaly Tim Daly wrote: +On Sun, Jun 7, 2009 at 8:59 PM, Tim Daly wrote: > On Jun 4, 12:35 pm, tpie...@gmail.com wrote: > > Hello all, diff --git a/book/2009-10.txt b/book/2009-10.txt index 222483b..ae11367 100644 --- a/book/2009-10.txt +++ b/book/2009-10.txt @@ -782,7 +782,7 @@ Injection-Info: k17g2000yqh.googlegroups.com; posting-host=72.23.235.203; posting-account=m2ufuQoAAAAnP4mhpj2-bRzndif0-AIg NNTP-Posting-Host: 72.23.235.203 Gecko/2008120122 Firefox/3.0.5,gzip(gfe),gzip(gfe) -From: TimDaly Tim Daly +From: Tim Daly To: list Cc: list Subject: Re: Why Did Mathematica Win? diff --git a/book/2009-11.txt b/book/2009-11.txt index 25bae89..c8f22f1 100644 --- a/book/2009-11.txt +++ b/book/2009-11.txt @@ -3622,7 +3622,7 @@ Injection-Info: j19g2000yqk.googlegroups.com; posting-host=72.23.235.203; NNTP-Posting-Host: 72.23.235.203 <4ADCE548.F1ED21D6@freenet.de> Gecko/2008120122 Firefox/3.0.5,gzip(gfe),gzip(gfe) -From: TimDaly Tim Daly +From: Tim Daly To: list Cc: list Subject: Re: Is your CAS no a weakling anymore? @@ -3930,7 +3930,7 @@ NNTP-Posting-Host: 72.23.235.203 <3679cd20-5678-41ac-bda3-4dde5840f7ef@j19g2000yqk.googlegroups.com> <4B01E547.CB60267C@freenet.de> Gecko/2008120122 Firefox/3.0.5,gzip(gfe),gzip(gfe) -From: TimDaly Tim Daly +From: Tim Daly To: list Cc: list Subject: Re: Is your CAS no a weakling anymore? @@ -4699,7 +4699,7 @@ Injection-Info: j9g2000vbp.googlegroups.com; posting-host=72.23.235.203; posting-account=m2ufuQoAAAAnP4mhpj2-bRzndif0-AIg NNTP-Posting-Host: 72.23.235.203 Gecko/2008120122 Firefox/3.0.5,gzip(gfe),gzip(gfe) -From: TimDaly Tim Daly +From: Tim Daly To: list Cc: list Subject: Literate Common Lisp @@ -5225,7 +5225,7 @@ Injection-Info: p33g2000vbn.googlegroups.com; posting-host=72.23.235.203; posting-account=m2ufuQoAAAAnP4mhpj2-bRzndif0-AIg NNTP-Posting-Host: 72.23.235.203 Gecko/2008120122 Firefox/3.0.5,gzip(gfe),gzip(gfe) -From: TimDaly Tim Daly +From: Tim Daly To: list Cc: list Subject: Re: A bit of statistics trivia for Maple and @@ -5296,7 +5296,7 @@ Injection-Info: b2g2000yqi.googlegroups.com; posting-host=72.23.235.203; NNTP-Posting-Host: 72.23.235.203 Gecko/2008120122 Firefox/3.0.5,gzip(gfe),gzip(gfe) -From: TimDaly Tim Daly +From: Tim Daly To: list Cc: list Subject: Re: A bit of statistics trivia for Maple and diff --git a/book/2010-01.txt b/book/2010-01.txt index 9a95905..242a22d 100644 --- a/book/2010-01.txt +++ b/book/2010-01.txt @@ -3177,7 +3177,7 @@ Camm Maguire wrote: \start To: list -From: Aleksej Saushev +From: Aleksej Saushev Date: Wed, 13 Jan 2010 23:27:34 +0300 <20091230055957.GG11463@server.vk2pj.dyndns.org> <5D01990B-6143-4E44-B4E8-380D4EF22209@math.washington.edu> @@ -3371,7 +3371,7 @@ Camm Maguire camm@maguirefamily.org \start -To: Aleksej Saushev +To: Aleksej Saushev Subject: re: Debian ports <20091230055957.GG11463@server.vk2pj.dyndns.org> <5D01990B-6143-4E44-B4E8-380D4EF22209@math.washington.edu> @@ -3396,7 +3396,7 @@ Cc: list, gcl-devel@gnu.org Greetings! -Aleksej Saushev writes: +Aleksej Saushev writes: > Camm Maguire writes: > @@ -3767,7 +3767,7 @@ Camm Maguire wrote: \start Date: Wed, 13 Jan 2010 17:26:42 -0500 From: Tim Daly Tim Daly -To: Aleksej Saushev +To: Aleksej Saushev Subject: re: Debian ports <4B3D8485.2030906@axiom-developer.org> <874oms7gm1.fsf_-_@maguirefamily.org> <4B4B79B2.9060009@axiom-developer.org> <87my0k1jy2.fsf@maguirefamily.org> <4B4D717D.8040009@axiom-developer.org> <87ockxkekb.fsf@maguirefamily.org> <87wrzlrbrd.fsf@inbox.ru> @@ -3935,7 +3935,7 @@ From: Camm Maguire Date: Fri, 15 Jan 2010 21:34:27 -0500 "Wed\, 13 Jan 2010 17\:26\:42 -0500") Cc: list, gcl-devel@gnu.org, - Aleksej Saushev + Aleksej Saushev Hi Tim! @@ -4013,7 +4013,7 @@ Subject: re: Debian ports <87wrzlrbrd.fsf@inbox.ru> <4B4E48A2.1090205@axiom-developer.org> <87iqb2ixqk.fsf@maguirefamily.org> Cc: list, gcl-devel@gnu.org, - Aleksej Saushev + Aleksej Saushev Camm, @@ -4104,7 +4104,7 @@ Subject: re: Debian ports <4B3D8485.2030906@axiom-developer.org> <874oms7gm1.fsf_-_@maguirefamily.org> <4B4B79B2.9060009@axiom-developer.org> <87my0k1jy2.fsf@maguirefamily.org> <4B4D717D.8040009@axiom-developer.org> <87ockxkekb.fsf@maguirefamily.org> <87wrzlrbrd.fsf@inbox.ru> <87y6k1d9tv.fsf@maguirefamily.org> Cc: list, gcl-devel@gnu.org, - Aleksej Saushev + Aleksej Saushev Camm, @@ -4140,7 +4140,7 @@ From: Camm Maguire Date: Tue, 19 Jan 2010 16:26:47 -0500 "Wed\, 13 Jan 2010 17\:26\:42 -0500") Cc: list, gcl-devel@gnu.org, - Aleksej Saushev + Aleksej Saushev Greetings! Tim, is there a machine at your site onto which you would mind giving me access? Perhaps I could set this up for you there. diff --git a/book/2010-02.txt b/book/2010-02.txt index 74b567f..edae8a1 100644 --- a/book/2010-02.txt +++ b/book/2010-02.txt @@ -627,7 +627,7 @@ a lot easier than computational math, though. \start Date: Sat, 27 Feb 2010 14:23:12 -0500 -From: Ted Kosan +From: Ted Kosan To: list Subject: Re: Axiom volunteer work ideas diff --git a/book/2010-03.txt b/book/2010-03.txt index fa8087c..ca7adc8 100644 --- a/book/2010-03.txt +++ b/book/2010-03.txt @@ -207,7 +207,7 @@ Dr. David Kirkby wrote: \start Date: Thu, 4 Mar 2010 16:01:55 -0500 -From: Ted Kosan +From: Ted Kosan To: list Subject: Typo on the download page. @@ -227,7 +227,7 @@ http://mathpiper.org \start Date: Thu, 04 Mar 2010 16:22:05 -0500 From: Tim Daly Tim Daly -To: Ted Kosan +To: Ted Kosan Subject: Re: Typo on the download page. Cc: list @@ -259,7 +259,7 @@ Ted Kosan wrote: \start Date: Thu, 4 Mar 2010 20:20:29 -0500 -From: Ted Kosan +From: Ted Kosan To: list Subject: "Lisp initialization failed." error encountered while building Axiom. @@ -333,7 +333,7 @@ root@tkosan-laptop:/home/tkosan/checkouts/axiom# echo $PATH \start Date: Thu, 04 Mar 2010 21:31:22 -0500 From: Tim Daly Tim Daly -To: Ted Kosan +To: Ted Kosan Subject: Re: "Lisp initialization failed." error encountered while building Axiom. Cc: list @@ -425,7 +425,7 @@ Ted Kosan wrote: Date: Thu, 4 Mar 2010 22:33:44 -0500 Subject: Re: "Lisp initialization failed." error encountered while building Axiom. -From: Ted Kosan +From: Ted Kosan To: list Tim wrote: @@ -463,7 +463,7 @@ Ted \start Date: Sat, 6 Mar 2010 14:45:50 -0500 -From: Ted Kosan +From: Ted Kosan To: list Subject: The make process stops while processing a .pamphlet file. @@ -528,7 +528,7 @@ root@tkosan-laptop:/home/tkosan/checkouts/axiom# \start Date: Sat, 06 Mar 2010 20:23:36 -0500 From: Tim Daly Tim Daly -To: Ted Kosan +To: Ted Kosan Subject: Re: The make process stops while processing a .pamphlet file. Cc: list @@ -608,7 +608,7 @@ Ted Kosan wrote: \start Date: Mon, 8 Mar 2010 01:48:08 -0500 -From: Ted Kosan +From: Ted Kosan To: list Subject: Testing if (72*a^3*b^5)^(1/2) is equivalent to 6*a*b^2*(2*a*b)^(1/2) @@ -640,7 +640,7 @@ Ted \start Date: Mon, 08 Mar 2010 02:31:32 -0500 From: Tim Daly Tim Daly -To: Ted Kosan +To: Ted Kosan Subject: Re: Testing if (72*a^3*b^5)^(1/2) is equivalent to 6*a*b^2*(2*a*b)^(1/2) Cc: list @@ -688,7 +688,7 @@ Ted Kosan wrote: From: William Sit Subject: Re: Testing if (72*a^3*b^5)^(1/2) is equivalent to 6*a*b^2*(2*a*b)^(1/2) -To: Ted Kosan ,Axiom-Developer +To: Ted Kosan,Axiom-Developer Date: Mon, 08 Mar 2010 03:05:10 -0500 seldom 2.4 (older, 4) @@ -721,7 +721,7 @@ degree 4 and not equal to 0. William On Mon, 8 Mar 2010 01:48:08 -0500 - Ted Kosan wrote: + Ted Kosan wrote: >I have been experimenting with Axiom to see how it >compares to other >computer algebra systems. @@ -763,7 +763,7 @@ Home Page: http://scisun.sci.ccny.cuny.edu/~wyscc/ \start -To: Ted Kosan +To: Ted Kosan Subject: Re: Testing if (72*a^3*b^5)^(1/2) is equivalent to 6*a*b^2*(2*a*b)^(1/2) From: Martin Rubey @@ -772,7 +772,7 @@ Date: Mon, 08 Mar 2010 10:18:25 +0100 Antispam-Data: 2010.3.8.90317 Cc: list -Ted Kosan writes: +Ted Kosan writes: > I have been experimenting with Axiom to see how it compares to other > computer algebra systems. @@ -1171,7 +1171,7 @@ Program Committee \start Date: Thu, 11 Mar 2010 12:30:43 -0500 -From: Ted Kosan +From: Ted Kosan To: list Subject: "Object not found" errors on the axiom website. @@ -1190,7 +1190,7 @@ Ted \start Date: Thu, 11 Mar 2010 14:09:19 -0500 From: Tim Daly Tim Daly -To: Ted Kosan +To: Ted Kosan Subject: Re: "Object not found" errors on the axiom website. Cc: list @@ -1387,7 +1387,7 @@ Eugene Surowitz wrote: \start Date: Tue, 23 Mar 2010 01:50:10 -0400 -From: Ted Kosan +From: Ted Kosan To: list Subject: GSoC CAS-neutral test suite project @@ -1462,7 +1462,7 @@ Ted Kosan \start Date: Tue, 23 Mar 2010 02:55:54 -0500 From: Tim Daly Tim Daly -To: Ted Kosan +To: Ted Kosan Subject: Re: GSoC CAS-neutral test suite project Cc: list @@ -1635,7 +1635,7 @@ Martin \start Date: Thu, 25 Mar 2010 18:51:25 -0400 Subject: Re: GSoC CAS-neutral test suite project -From: Ted Kosan +From: Ted Kosan To: list Tim wrote: @@ -1949,7 +1949,7 @@ task it will take several releases. Three people were added to the credits list: John P. Fletcher Nathaniel Daly + Ted Kosan The Axiom website was completely rewritten based on a new style css provided by Nate. This change was also made to axiom-developer.com. diff --git a/book/2010-06.txt b/book/2010-06.txt index 0de01fc..4c3ccfe 100644 --- a/book/2010-06.txt +++ b/book/2010-06.txt @@ -818,7 +818,7 @@ Ralf Hemmecke wrote: \start Date: Tue, 29 Jun 2010 12:06:15 +0200 (CEST) -From: "Fabio S." Fabio Stumbo +From: Fabio Stumbo To: list Subject: Compilation problem @@ -986,7 +986,7 @@ Fabio S. wrote: \start Date: Wed, 30 Jun 2010 10:50:56 +0200 (CEST) -From: "Fabio S." Fabio Stumbo +From: Fabio Stumbo To: list Subject: Re: Compilation problem <4C2A148D.2040604@axiom-developer.org> @@ -1101,7 +1101,7 @@ Ralf \start Date: Wed, 30 Jun 2010 12:43:49 +0200 (CEST) -From: "Fabio S." Fabio Stumbo +From: Fabio Stumbo To: list Subject: Re: Compilation problem <4C2A148D.2040604@axiom-developer.org> @@ -1387,7 +1387,7 @@ Fabio S. wrote: \start Date: Wed, 30 Jun 2010 15:51:00 +0200 (CEST) -From: "Fabio S." Fabio Stumbo +From: Fabio Stumbo To: list Cc: list Subject: Re: Compilation problem @@ -1657,7 +1657,7 @@ Waldek Hebisch \start Date: Wed, 30 Jun 2010 17:22:18 +0200 (CEST) -From: "Fabio S." Fabio Stumbo +From: Fabio Stumbo To: list Subject: Re: Compilation problem <4C2A148D.2040604@axiom-developer.org> @@ -1772,7 +1772,7 @@ Fabio S. wrote: \start Date: Wed, 30 Jun 2010 17:34:21 +0200 (CEST) -From: "Fabio S." Fabio Stumbo +From: Fabio Stumbo To: list Subject: Re: Compilation problem <4C2A148D.2040604@axiom-developer.org> diff --git a/book/2010-07.txt b/book/2010-07.txt index 20ae45c..6c64eee 100644 --- a/book/2010-07.txt +++ b/book/2010-07.txt @@ -1,6 +1,6 @@ \start Date: Thu, 1 Jul 2010 10:23:00 +0200 (CEST) -From: "Fabio S." Fabio Stumbo +From: Fabio Stumbo To: list Subject: Re: Memory limit. @@ -62,7 +62,7 @@ Fabio \start Date: Thu, 1 Jul 2010 10:37:23 +0200 (CEST) -From: "Fabio S." Fabio Stumbo +From: Fabio Stumbo To: list Subject: Re: Compilation problem <4C2A148D.2040604@axiom-developer.org> @@ -201,7 +201,7 @@ v \start Date: Thu, 1 Jul 2010 18:28:30 +0200 (CEST) -From: "Fabio S." Fabio Stumbo +From: Fabio Stumbo To: list Subject: Re: Compilation problem <4C2A148D.2040604@axiom-developer.org> @@ -269,7 +269,7 @@ Fabio S. wrote: \start Date: Thu, 1 Jul 2010 18:44:46 +0200 (CEST) -From: "Fabio S." Fabio Stumbo +From: Fabio Stumbo To: list Subject: Re: Compilation problem <4C2A148D.2040604@axiom-developer.org> @@ -345,7 +345,7 @@ This as user. As root it is the same. \start Date: Thu, 1 Jul 2010 18:50:59 +0200 (CEST) -From: "Fabio S." Fabio Stumbo +From: Fabio Stumbo To: list Subject: Re: Compilation problem <4C2A148D.2040604@axiom-developer.org> @@ -377,7 +377,7 @@ Fabio \start Date: Fri, 2 Jul 2010 12:34:25 +0200 (CEST) -From: "Fabio S." Fabio Stumbo +From: Fabio Stumbo To: list Subject: Re: Compilation problem <4C2A148D.2040604@axiom-developer.org> @@ -630,7 +630,7 @@ NNTP-Posting-Host: 72.23.235.203 <4C3B6DB7.9020008@cs.berkeley.edu> Gecko/2008120122 Firefox/3.0.5,gzip(gfe) -From: TimDaly Tim Daly +From: Tim Daly To: list Cc: list Subject: Re: Rule-based integration @@ -1613,7 +1613,7 @@ Dr. Peter Thomas-Stutte Date: Thu, 29 Jul 2010 06:21:31 -0700 From: Richard Fateman Newsgroups: sci.math.symbolic -To: TimDaly Tim Daly +To: Tim Daly <4C1E381F.5CA504A5@freenet.de> <8875d8FmluU1@mid.individual.net> diff --git a/book/2010-10.txt b/book/2010-10.txt index 122a06e..72e88d4 100644 --- a/book/2010-10.txt +++ b/book/2010-10.txt @@ -143,7 +143,7 @@ On 10/1/2010 12:11 PM, Matt Kaufmann wrote: \start Date: Sat, 2 Oct 2010 03:29:59 -0500 -From: J Strother Moore +From: J Moore To: Tim Daly Cc: list, acl2@utlists.utexas.edu Subject: ACL2 and Axiom @@ -173,7 +173,7 @@ J Date: Sat, 02 Oct 2010 11:56:02 -0400 From: Tim Daly Tim Daly rv:1.9.2.9) Gecko/20100825 Thunderbird/3.1.3 -To: J Strother Moore +To: J Moore Cc: list, acl2@utlists.utexas.edu Subject: Re: ACL2 and Axiom @@ -221,7 +221,7 @@ From: Matt Kaufmann To: Tim Daly Sat, 02 Oct 2010 11:56:02 -0400) <4CA75612.6060908@axiom-developer.org> -Cc: moore@cs.utexas.edu, list, acl2@utlists.utexas.edu +Cc: J Moore, list, acl2@utlists.utexas.edu Subject: Re: ACL2 and Axiom Hi, Tim -- @@ -322,7 +322,7 @@ From: Tim Daly Tim Daly To: acl2@utlists.utexas.edu <4CA75612.6060908@axiom-developer.org> <201010021347.o92DlxLU003014@lhug-8.cs.utexas.edu> -Cc: J Strother Moore , +Cc: J Moore, list, Matt Kaufmann Subject: Re: ACL2 and Axiom diff --git a/book/2011-11.txt b/book/2011-11.txt index 7477c2e..6d743be 100644 --- a/book/2011-11.txt +++ b/book/2011-11.txt @@ -2119,7 +2119,7 @@ Subject: Re: Literate Programming example On Sat, 2011-11-19 at 14:35 +0100, Laurent PETIT wrote: > Hello, > -> 2011/11/19 TimDaly Tim Daly +> 2011/11/19 Tim Daly > On Fri, 2011-11-18 at 20:02 -0800, Daniel Jomphe wrote: > > On Friday, November 18, 2011 7:17:08 AM UTC-5, TimDaly > wrote: diff --git a/changelog b/changelog index 00af191..27cff67 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20140605 tpd src/axiom-website/patches.html 20140605.01.tpd.patch +20140605 tpd book/*.txt email cleanup 20140604 tpd src/axiom-website/patches.html 20140604.01.tpd.patch 20140604 tpd books/dvipdfm.def added to fix missing file in latex builds 20140604 tpd Makefile copy books/dvipdfm to ${MNT}/${SYS}/doc diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index 45d2f1d..498937a 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -4378,6 +4378,8 @@ books/bookvolbib fix typo in Rain14 reference from 20 to 30 book/*.txt email cleanup 20140604.01.tpd.patch books/dvipdfm.def added to fix missing file in latex builds +20140605.01.tpd.patch +book/*.txt email cleanup