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
--R (2) 3 + +---+ + +----+ + +---+ + +----+ + +---+ + +---+ + +---+
-
\start
-From: Tim Daly
Date: Tue, 25 Mar 2008 11:59:41 -0600
+From: Tim Daly
To: list
-Cc:
Subject: 20080325.02.tpd.patch
The display command now generates examples when displaying operations.
@@ -16068,14 +15551,11 @@ index 016d485..85867b2 100644
BOOT::|writedb| BOOT::|getFirstWord| BOOT::|f07aefSolve,fp|
-
\start
-From: Tim Daly
Date: Tue, 25 Mar 2008 12:06:42 -0600
+From: Tim Daly
To: list
-Cc:
-Subject: 20080325.03.tpd.patch (handle firefox operations
- page requests)
+Subject: 20080325.03.tpd.patch (handle firefox operations page requests)
Axiom Firefox needs to look up operations information and format the pages
for display. This is the first step in that process.
@@ -16292,14 +15772,11 @@ index 6862900..84f72f8 100644
@
\subsection{readTheFile}
-
-
\start
-Subject: Re: java.lang.ClassCastException
-To: lsanchez
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>
-