diff --git a/book/2010-01.txt b/book/2010-01.txt index 9f50b9e..6131af6 100644 --- a/book/2010-01.txt +++ b/book/2010-01.txt @@ -1,23 +1,8 @@ \start Date: Fri, 01 Jan 2010 00:13:41 -0500 From: Tim Daly -To: sage-devel@googlegroups.com, daly Tim Daly, - "list >> Axiom-Developer" - - <20091230055957.GG11463@server.vk2pj.dyndns.org> - <5D01990B-6143-4E44-B4E8-380D4EF22209@math.washington.edu> - <4B3B8489.4010504@onetel.net> - <49F9DA71-333C-4F62-9A20-A74D04494C55@math.washington.edu> - <4B3BF299.3060000@onetel.net> - - <4B3C9990.70600@onetel.net> - <48b5ecbd-ba0d-44d0-94a4-89567d15ebf8@s3g2000yqs.googlegroups.com> - <4B3CF851.4000706@onetel.net> - <7fc76877-a7b7-4712-b134-7c228942a8f1@u7g2000yqm.googlegroups.com> - <4B3D787F.3090907@onetel.net> -Cc: -Subject: Re: [sage-devel] Re: doctest failures due to - rounding errors on Solaris. +To: list +Subject: Re: [sage-devel] Re: doctest failures due to rounding errors on Solaris. Dr. David Kirkby wrote: > rjf wrote: @@ -75,38 +60,22 @@ Dr. David Kirkby wrote: > > If there is a reason for testing the IEEE 754 representation as first choice, > then you have yet to convince me of it. -> -> -> Dave -> -> -> + Dave, Axiom has the same issues. -My take on this is that what you check depends on the reason you are -checking. -If you are generating the output for human use (e.g. a table) then you -want decimal. -If you are generating the output for regression testing (e.g. checking -the answers on -multiple hardware) then you probably want Fateman's solution. - -Tim - - - - +My take on this is that what you check depends on the reason you are +checking. If you are generating the output for human use (e.g. a +table) then you want decimal. If you are generating the output for +regression testing (e.g. checking the answers on multiple hardware) +then you probably want Fateman's solution. \start Date: Thu, 31 Dec 2009 21:16:43 -0800 From: William Stein -To: sage-devel -Cc: "list >> Axiom-Developer" - -Subject: Re: [sage-devel] Re: doctest failures due to - rounding errors on Solaris. +To: list +Subject: Re: doctest failures due to rounding errors on Solaris. On Thu, Dec 31, 2009 at 9:13 PM, Tim Daly wrote: > Dr. David Kirkby wrote: @@ -131,12 +100,12 @@ age prints >>> >>> It exactly dictates the bits in an IEEE double-float, and does not >>> require any conversion from binary ->>> to decimal. It does not need rounding. =A0This kind of representation ->>> does not have any hidden unprinted digits. =A0It does not ever need to +>>> to decimal. It does not need rounding. This kind of representation +>>> does not have any hidden unprinted digits. It does not ever need to >>> be longer because of delicate edge conditions of certain numbers. >>> >>> It happens to evaluate to ->>> APPROXIMATELY =A0 2.718281828459045 +>>> APPROXIMATELY 2.718281828459045 >>> >> >> Sure, Sage could print that. It would also be worth printing the sign bi= @@ -206,28 +175,11 @@ This is something a user will look at when reading the documentation for some function. It illustrates what happens when they convert the symbolic constant e to float. -William - - - \start Date: Fri, 01 Jan 2010 01:09:06 -0500 From: Tim Daly -To: sage-devel@googlegroups.com - <49F9DA71-333C-4F62-9A20-A74D04494C55@math.washington.edu> - <4B3BF299.3060000@onetel.net> - - <4B3C9990.70600@onetel.net> - <48b5ecbd-ba0d-44d0-94a4-89567d15ebf8@s3g2000yqs.googlegroups.com> - <4B3CF851.4000706@onetel.net> - <7fc76877-a7b7-4712-b134-7c228942a8f1@u7g2000yqm.googlegroups.com> - <4B3D787F.3090907@onetel.net> - <4B3D8485.2030906@axiom-developer.org> - <85e81ba30912312116nd6fb787nbc6f6b2771bf7c44@mail.gmail.com> -Cc: "list >> Axiom-Developer" - -Subject: Re: [sage-devel] Re: doctest failures due to - rounding errors on Solaris. +To: list +Subject: Re: doctest failures due to rounding errors on Solaris. William Stein wrote: > On Thu, Dec 31, 2009 at 9:13 PM, Tim Daly wrote: @@ -238,17 +190,9 @@ William Stein wrote: >>> >>> >>>> On Dec 31, 11:15 am, "Dr. David Kirkby" ->>>> wrote: ->>>> ->>>> ->>>> >>>>>> RJF ->>>>>> >>>>>> ->>>>> The point you are missing is that we want to compare the output what Sage prints ->>>>> to a human. ->>>>> ->>>>> +>>>>> The point you are missing is that we want to compare the output what Sage prints to a human. >>>>> >>>> The point you are missing is that the following item, which presumably >>>> could be printed by Sage, @@ -282,36 +226,26 @@ William Stein wrote: >>> I would think in an almost ideal world, the test would be done at a higher >>> level, using hardware/software which checked what the monitor actually >>> displayed. That's not quite as easy to do though. ->>> ->>> Even better would be some way to scan the brain of the user to see what he/she ->>> believes Sage is showing. Perhaps we use a font that is not very good, so ->>> despite being displayed properly, it misunderstood. ->>> ->>> Given most of time people want to see a base 10 representation of a number, and ->>> not a base 2, base 16 or IEE 754 representation, I believe most testing should ->>> be done at the base 10 level. ->>> + +>>> Even better would be some way to scan the brain of the user to see +>>> what he/she believes Sage is showing. Perhaps we use a font that +>>> is not very good, so despite being displayed properly, it +>>> misunderstood. Given most of time people want to see a base 10 +>>> representation of a number, and not a base 2, base 16 or IEE 754 +>>> representation, I believe most testing should be done at the base +>>> 10 level. + >>> If there is a reason for testing the IEEE 754 representation as first choice, >>> then you have yet to convince me of it. ->>> ->>> ->>> Dave ->>> ->>> ->>> ->>> ->> Dave, >> >> Axiom has the same issues. ->> ->> My take on this is that what you check depends on the reason you are ->> checking. ->> If you are generating the output for human use (e.g. a table) then you ->> want decimal. ->> If you are generating the output for regression testing (e.g. checking ->> the answers on + +>> My take on this is that what you check depends on the reason you +>> are checking. If you are generating the output for human use +>> (e.g. a table) then you want decimal. If you are generating the +>> output for regression testing (e.g. checking the answers on >> multiple hardware) then you probably want Fateman's solution. ->> + >> Tim >> > @@ -324,26 +258,18 @@ William Stein wrote: > This is something a user will look at when reading the documentation > for some function. It illustrates what happens when they convert the > symbolic constant e to float. -> -> William -> -> -And therein lies the problem. We use a regression that does a comparison -of the -printed representation of the output of the run with a stored copy of -the output. - -All of our regression tests were passing until I installed another, -unrelated program. -Suddenly about 30 regression tests started failing. It turns out that -the unrelated -program upgraded one of the system libraries. The net effect of that -change was -to cause the last digit in the output to "wobble" so that some of the -table values -differ in the nth place (20th, 30th, or thereabouts digit). This caused -the regression -comparisons to fail. + +And therein lies the problem. We use a regression that does a +comparison of the printed representation of the output of the run with +a stored copy of the output. + +All of our regression tests were passing until I installed another, +unrelated program. Suddenly about 30 regression tests started +failing. It turns out that the unrelated program upgraded one of the +system libraries. The net effect of that change was to cause the last +digit in the output to "wobble" so that some of the table values +differ in the nth place (20th, 30th, or thereabouts digit). This +caused the regression comparisons to fail. Common lisp will give you the exact bit pattern of the float and this value does not wobble so the text comparison succeeds with both the old and @@ -356,39 +282,25 @@ Our solution to the human vs regression problem is to include the stable bit values in the actual compare and keep the human values in a latex table. This is easy to do with literate input. -Tim - - - - - - - - - - \start Date: Thu, 31 Dec 2009 23:00:11 -0800 From: William Stein -To: sage-devel -Cc: "list >> Axiom-Developer" - -Subject: Re: [sage-devel] Re: doctest failures due to - rounding errors on Solaris. +To: list +Subject: Re: doctest failures due to rounding errors on Solaris. On Thu, Dec 31, 2009 at 10:09 PM, Tim Daly wrote= : > William Stein wrote: >> On Thu, Dec 31, 2009 at 9:13 PM, Tim Daly wro= te: ->> The output is used both for human use and for regression testing. =A0Its +>> The output is used both for human use and for regression testing. Its >> primary use is human -- it's an example in the Sage reference manual: >> ->> =A0 =A0sage: float(e) ->> =A0 =A02.7182818284590451 +>> sage: float(e) +>> 2.7182818284590451 >> >> This is something a user will look at when reading the documentation ->> for some function. =A0It illustrates what happens when they convert the +>> for some function. It illustrates what happens when they convert the >> symbolic constant e to float. >> >> William @@ -471,81 +383,45 @@ over 80% of the functions in Sage). > table. This is easy to do with literate input. > > Tim -> -> -> -> -> -> -> -> -- -> To post to this group, send an email to sage-devel@googlegroups.com -> To unsubscribe from this group, send an email to sage-devel+unsubscribe@g= -ooglegroups.com -> For more options, visit this group at http://groups.google.com/group/sage= --devel -> URL: http://www.sagemath.org -> - - - ---=20 -William Stein -Associate Professor of Mathematics -University of Washington -http://wstein.org - - \start Date: Thu, 31 Dec 2009 23:00:27 -0800 From: William Stein -To: sage-devel -Cc: "list >> Axiom-Developer" - -Subject: Re: [sage-devel] Re: doctest failures due to - rounding errors on Solaris. +To: list +Subject: Re: doctest failures due to rounding errors on Solaris. -On Thu, Dec 31, 2009 at 10:09 PM, Tim Daly wrote= -: +On Thu, Dec 31, 2009 at 10:09 PM, Tim Daly wrote: > William Stein wrote: ->> On Thu, Dec 31, 2009 at 9:13 PM, Tim Daly wro= -te: ->> The output is used both for human use and for regression testing. =A0Its +>> On Thu, Dec 31, 2009 at 9:13 PM, Tim Daly wrote: +>> The output is used both for human use and for regression testing. Its >> primary use is human -- it's an example in the Sage reference manual: >> ->> =A0 =A0sage: float(e) ->> =A0 =A02.7182818284590451 +>> sage: float(e) +>> 2.7182818284590451 >> >> This is something a user will look at when reading the documentation ->> for some function. =A0It illustrates what happens when they convert the +>> for some function. It illustrates what happens when they convert the >> symbolic constant e to float. >> >> William >> ->> -> And therein lies the problem. We use a regression that does a comparison -> of the -> printed representation of the output of the run with a stored copy of -> the output. -> + +> And therein lies the problem. We use a regression that does a +> comparison of the printed representation of the output of the run +> with a stored copy of the output. + > All of our regression tests were passing until I installed another, -> unrelated program. -> Suddenly about 30 regression tests started failing. It turns out that -> the unrelated -> program upgraded one of the system libraries. The net effect of that -> change was -> to cause the last digit in the output to "wobble" so that some of the -> table values -> differ in the nth place (20th, 30th, or thereabouts digit). This caused -> the regression -> comparisons to fail. -> -> Common lisp will give you the exact bit pattern of the float and this val= -ue +> unrelated program. Suddenly about 30 regression tests started +> failing. It turns out that the unrelated program upgraded one of the +> system libraries. The net effect of that change was to cause the +> last digit in the output to "wobble" so that some of the table +> values differ in the nth place (20th, 30th, or thereabouts +> digit). This caused the regression comparisons to fail. + +> Common lisp will give you the exact bit pattern of the float and this value > does not wobble so the text comparison succeeds with both the old and > the new libraries against the bit pattern. -> + > So I can tell you from experience that what you would like to do is not > going to succeed. @@ -593,146 +469,24 @@ exactly this approach in all of the Sage example docstests, which now total over 110,000 lines of input, testing over 19,000 functions (or 80.9% of the functions in Sage). - -- William - -> > Our solution to the human vs regression problem is to include the stable > bit values in the actual compare and keep the human values in a latex > table. This is easy to do with literate input. -> -> Tim -> -> -> -> -> -> -> -> -- -> To post to this group, send an email to sage-devel@googlegroups.com -> To unsubscribe from this group, send an email to sage-devel+unsubscribe@g= -ooglegroups.com -> For more options, visit this group at http://groups.google.com/group/sage= --devel -> URL: http://www.sagemath.org -> - - - ---=20 -William Stein -Associate Professor of Mathematics -University of Washington -http://wstein.org - - \start -From: "Krivanek" -To: Date: Fri, 1 Jan 2010 13:19:32 -0700 - boundary="----=_NextPart_000_0001_01CA8AE5.0EF03E90" -Thread-Index: AcqLFmES1rCoY8QVQL+zc52UUViC0Q== - recognized. +From: Krivanek +To: list Subject: error Message -This is a multi-part message in MIME format. - -------=_NextPart_000_0001_01CA8AE5.0EF03E90 - charset="us-ascii" - While using Real Axiom 5.0025 version I got an error message at mile 10, "Axis minimum value must be equal to or less then maximum" - -------=_NextPart_000_0001_01CA8AE5.0EF03E90 - charset="us-ascii" - - - - - - - - - - - - -
- -

While using Real Axiom 5.0025 version I got an = -error message -at mile 10, “Axis minimum value must be equal to or less then = -maximum”

- -
- - - - - -------=_NextPart_000_0001_01CA8AE5.0EF03E90-- - - - - - - - \start Date: Tue, 5 Jan 2010 00:27:09 +0800 From: Lee Duhem To: list -Subject: [PATCH] More fixs about typos and formatting in - books. - ---00504502cb1f6d2360047c5931cb +Subject: [PATCH] More fixs about typos and formatting in books. Hi, @@ -987,20 +741,11 @@ eGlvbVR5cGV7Q29tcGxleH0sIFxheGlvbVR5cGV7RXhwcmVzc2lvbn0sIGFuZCBzbyBvbi4KIAog XGVuZHNjcm9sbAo= --00504502cb1f6d2360047c5931cb-- - - \start +Date: Thu, 7 Jan 2010 16:17:13 +0000 From: Martin Baker To: Tim Daly Subject: Re: GrassmannAlgebra domain -Date: Thu, 7 Jan 2010 16:17:13 +0000 - <200912101812.30988.Martin Baker> - <4B215416.70703@axiom-developer.org> - charset="iso-8859-1" - YQkDb0hq+E9ilO2B6C2K2ZIy/qxmLkk2L7upG0QC+jhqvyqJ3p - Hv5M4FsGTSwFYzZh/2JgA== - recognized. -Cc: list On Thursday 10 Dec 2009 20:03:34 Tim Daly wrote: > Well Axiom is all about organizing the algebra into hierarchical @@ -1179,108 +924,43 @@ In the case of Clifford algebras these functions would be implemented to operate purely on the bilinear form, in the case of other algebras they would be implemented to operate on what determines that algebra. -Martin Baker - - - \start +Date: Thu, 7 Jan 2010 16:35:51 +0000 From: Martin Baker To: list Subject: Re: GrassmannAlgebra domain -Date: Thu, 7 Jan 2010 16:35:51 +0000 - <4B215416.70703@axiom-developer.org> - <201001071617.13522.Martin Baker> - charset="iso-8859-1" - TM4I/xGLjI5dDXgOAnnSvioJvTDFZc++g33tlSABzVhrmF7uCb - WPZydYJXjFYqQhmMmUDHQ== - recognized. correction - the link in my last message should have been: http://www.euclideanspace.com/maths/standards/program/clifford/ - - \start -To: Tim Daly -From: Camm Maguire Date: Mon, 11 Jan 2010 11:26:14 -0500 - "Fri\, 01 Jan 2010 00\:13\:41 -0500") - <20091230055957.GG11463@server.vk2pj.dyndns.org> - <5D01990B-6143-4E44-B4E8-380D4EF22209@math.washington.edu> - <4B3B8489.4010504@onetel.net> - <49F9DA71-333C-4F62-9A20-A74D04494C55@math.washington.edu> - <4B3BF299.3060000@onetel.net> - - <4B3C9990.70600@onetel.net> - <48b5ecbd-ba0d-44d0-94a4-89567d15ebf8@s3g2000yqs.googlegroups.com> - <4B3CF851.4000706@onetel.net> - <7fc76877-a7b7-4712-b134-7c228942a8f1@u7g2000yqm.googlegroups.com> - <4B3D787F.3090907@onetel.net> <4B3D8485.2030906@axiom-developer.org> -Cc: "list >> Axiom-Developer" - +From: Camm Maguire +To: Tim Daly Subject: Debian ports Hi Tim! Is there a reason that makeint.lisp needs to load bookvol5 twice? -Take care, --- -Camm Maguire Camm Maguire -========================================================================== -"The earth is but one country, and mankind its citizens." -- Baha'u'llah - - - \start Date: Mon, 11 Jan 2010 14:19:14 -0500 From: Tim Daly To: Camm Maguire - <4B3D8485.2030906@axiom-developer.org> - <874oms7gm1.fsf_-_@maguirefamily.org> -Cc: "list >> Axiom-Developer" - Subject: Re: Debian ports Camm Maguire wrote: > Hi Tim! Is there a reason that makeint.lisp needs to load bookvol5 > twice? -> -> Take care, -> -Camm, I have been away on a business trip for the last week. I will look at this shortly. -Tim - - - - \start -To: Tim Daly - <20091230055957.GG11463@server.vk2pj.dyndns.org> - <5D01990B-6143-4E44-B4E8-380D4EF22209@math.washington.edu> - <4B3B8489.4010504@onetel.net> - <49F9DA71-333C-4F62-9A20-A74D04494C55@math.washington.edu> - <4B3BF299.3060000@onetel.net> - - <4B3C9990.70600@onetel.net> - <48b5ecbd-ba0d-44d0-94a4-89567d15ebf8@s3g2000yqs.googlegroups.com> - <4B3CF851.4000706@onetel.net> - <7fc76877-a7b7-4712-b134-7c228942a8f1@u7g2000yqm.googlegroups.com> - <4B3D787F.3090907@onetel.net> <4B3D8485.2030906@axiom-developer.org> - <874oms7gm1.fsf_-_@maguirefamily.org> - <4B4B79B2.9060009@axiom-developer.org> -From: Camm Maguire Date: Mon, 11 Jan 2010 15:10:45 -0500 - "Mon\, 11 Jan 2010 14\:19\:14 -0500") -Cc: "list >> Axiom-Developer" - +From: Camm Maguire +To: Tim Daly Subject: Re: Debian ports -Greetings! - Tim Daly writes: > Camm Maguire wrote: @@ -1462,39 +1142,15 @@ Note I'm turning off sgc for now, but this should not be permanent. @ ============================================================================= -Take care, - -> -> -> -> -> - --- -Camm Maguire Camm Maguire -========================================================================== -"The earth is but one country, and mankind its citizens." -- Baha'u'llah - - - \start +Date: Tue, 12 Jan 2010 00:23:07 +0100 From: Michael Becker To: list -Date: Tue, 12 Jan 2010 00:23:07 +0100 - FILETIME=[08AF8F80:01CA9315] - seldom 2.4 (older, 4) Subject: sum(binomial(t+i,i),i=0..k) - - Hi, - - - can someone explain the following answer of axiom? - - (12) -> sum(binomial(t+i,i),i=0..k) t + k t - 1 @@ -1503,64 +1159,19 @@ Subject: sum(binomial(t+i,i),i=0..k) (12) ----------------------------- t + 1 Type: Expression(Integer) -(13) -> - - - - M.Becker - - - - - - - - ------------------------------------------------------------------------------------- -Diese Nachricht könnte vertrauliche und/oder rechtlich -geschützte Informationen enthalten. Wenn Sie nicht der -Adressat dieser Email sind oder nicht autorisiert sind, diese -für den Adressaten entgegenzunehmen, so ist es untersagt, -diese Nachricht oder in ihr enthaltene Informationen zu nutzen, -zu kopieren, offen zu legen oder anderweitig weiterzuverarbeiten. -Sollten Sie diese Nachricht fälschlicherweise erhalten haben, -verständigen Sie den Absender bitte unverzüglich per Antwort auf -diese Mail und löschen sie diese anschließend. -Vielen Dank für Ihre Kooperation. ------------------------------------------------------------------------------------- -This message may contain confidential and/or privileged -information. If you are not the addressee or authorized -to receive this for the addressee, you must not use, copy, -disclose or take any action based on this message or any -information herein. If you have received this message in -error, please advise the sender immediately by reply e-mail -and delete this message. Thank you for your co-operation. ------------------------------------------------------------------------------------- -We make your business move. - - - - +(13) -> \start +Date: Tue, 12 Jan 2010 06:51:21 +0100 +From: Martin Rubey To: Michael Becker Subject: Re: sum(binomial(t+i,i),i=0..k) -From: Martin Rubey -Date: Tue, 12 Jan 2010 06:51:21 +0100 - message of "Tue\, 12 Jan 2010 00\:23\:07 +0100") - Antispam-Data: 2010.1.12.54221 -Cc: list Michael Becker writes: > Hi, -> -> -> > can someone explain the following answer of axiom? > -> -> > (12) -> sum(binomial(t+i,i),i=0..k) > > t + k t - 1 @@ -1573,212 +1184,119 @@ Michael Becker writes: What do want to know? It's entirely correct. The second binomial should be interpreted as always zero, that's all. -Martin - - - \start Date: Tue, 12 Jan 2010 03:10:44 -0500 -Subject: Fwd: sum(binomial(t+i,i),i=0..k) From: Bill Page To: list - seldom 2.4 (older, 4) +Subject: Fwd: sum(binomial(t+i,i),i=0..k) ---------- Forwarded message ---------- -From: Michael Becker -Date: Mon, Jan 11, 2010 at 10:18 PM -Subject: Re: sum(binomial(t+i,i),i=3D0..k) -To: Bill Page - Am Dienstag, 12. Januar 2010 00:46 schrieb Bill Page: > What in particular do you think requires explanation? It looks ok to me. > E.g. > -> (1) -> ex1:=3Dsum(binomial(t+i,i),i=3D0..k) +> (1) -> ex1:=sum(binomial(t+i,i),i=0..k) > -> =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 t + k =A0 =A0 =A0t - 1 -> =A0 =A0 =A0 =A0 (t + k + 1)( =A0 =A0 ) - t( =A0 =A0 ) -> =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 k =A0 =A0 =A0 =A0 - 1 -> =A0 =A0(1) =A0----------------------------- -> =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 t + 1 -> =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 = -=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0Type: Expression - - - - - -a) =A0 =A0i do not understand the meaning of binomial(t-1,-1): - - -=A0(2) -> kernels(ex1).2 - -=A0 =A0 =A0 =A0 t - 1 -=A0 (2) =A0( =A0 =A0 ) -=A0 =A0 =A0 =A0 =A0- 1 - - - - -b) =A0i did =A0expect: =A0 binomial(t+k+1, t+1) - - - -=A0 (3) -> =A0eval(binomial(t+k+1, t+1),[t=3D10,k=3D31]) - -=A0 =A0 =A0(3) =A04280561376 +> t + k t - 1 +> (t + k + 1)( ) - t( ) +> k - 1 +> (1) ----------------------------- +> t + 1 +> Type: Expression +a) i do not understand the meaning of binomial(t-1,-1): +(2) -> kernels(ex1).2 -c) =A0axiom does not like =A0binomial(t-1,-1) + t - 1 + (2) ( ) + - 1 +b) i did expect: binomial(t+k+1, t+1) -=A0 (4) -> normalize (ex1 - binomial(t+k+1, t+1)) + (3) -> eval(binomial(t+k+1, t+1),[t=10,k=31]) -=A0 =A0 >> Error detected within library code: -=A0 =A0 factorial not defined for negative integers + (3) 4280561376 +c) axiom does not like binomial(t-1,-1) + (4) -> normalize (ex1 - binomial(t+k+1, t+1)) + >> Error detected within library code: + factorial not defined for negative integers -d) =A0t*binomial(t-1,-1) =A0is really =3D 0 =A0in ex1 : +d) t*binomial(t-1,-1) is really = 0 in ex1 : - -=A0 =A0(4) -> normalize ( (t+k+1)*binomial(t+k,k)/ (t+1) - binomial(t+k+1, = + (4) -> normalize ( (t+k+1)*binomial(t+k,k)/ (t+1) - binomial(t+k+1, = t+1)) -=A0 =A0 (4) =A00 - - - - - - - + (4) 0 - -> Integer (2) -> eval(ex1,[t=3D10,k=3D31]) +> Integer (2) -> eval(ex1,[t=10,k=31]) > -> =A0 =A0(2) =A04280561376 -> =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 = -=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0Type: Expression +> (2) 4280561376 +> = + Type: Expression > Integer (3) -> [binomial(10+i,i) for i in 0..31] > -> =A0 =A0(3) -> =A0 =A0[1, 11, 66, 286, 1001, 3003, 8008, 19448, 43758, 92378, 184756, 35= +> (3) +> [1, 11, 66, 286, 1001, 3003, 8008, 19448, 43758, 92378, 184756, 35= 2716, -> =A0 =A0 646646, 1144066, 1961256, 3268760, 5311735, 8436285, 13123110, +> 646646, 1144066, 1961256, 3268760, 5311735, 8436285, 13123110, > 20030010, 30045015, 44352165, 64512240, 92561040, 131128140, 183579396, > 254186856, 348330136, 472733756, 635745396, 847660528, 1121099408] -> =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 = -=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0Type: List +> = + Type: List > Integer (4) -> reduce(+,%) > -> =A0 =A0(4) =A04280561376 -> =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 = -=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 Type: +> (4) 4280561376 +> = + Type: > PositiveInteger > > 2010/1/11 Michael Becker: -> > =A0 =A0 can someone explain =A0the following answer of axiom? +> > can someone explain the following answer of axiom? > > -> > (12) -> sum(binomial(t+i,i),i=3D0..k) +> > (12) -> sum(binomial(t+i,i),i=0..k) > > -> > =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 t + k =A0 =A0 =A0t - 1 -> > =A0 =A0 =A0 =A0 (t + k + 1)( =A0 =A0 ) - t( =A0 =A0 ) -> > =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 k =A0 =A0 =A0 =A0 - 1 -> > =A0 (12) =A0----------------------------- -> > =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 t + 1 -> > =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0= - =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0Type: +> > t + k t - 1 +> > (t + k + 1)( ) - t( ) +> > k - 1 +> > (12) ----------------------------- +> > t + 1 +> > = + Type: > > Expression(Integer) - - ----------------------------------------------------------------------------= ---------- -Diese Nachricht k=F6nnte vertrauliche und/oder rechtlich -gesch=FCtzte Informationen enthalten. Wenn Sie nicht der -Adressat dieser Email sind oder nicht autorisiert sind, diese -f=FCr den Adressaten entgegenzunehmen, so ist es untersagt, -diese Nachricht oder in ihr enthaltene Informationen zu nutzen, -zu kopieren, offen zu legen oder anderweitig weiterzuverarbeiten. -Sollten Sie diese Nachricht f=E4lschlicherweise erhalten haben, -verst=E4ndigen Sie den Absender bitte unverz=FCglich per Antwort auf -diese Mail und l=F6schen sie diese anschlie=DFend. -Vielen Dank f=FCr Ihre Kooperation. ----------------------------------------------------------------------------= ---------- -This message may contain confidential and/or privileged -information. If you are not the addressee or authorized -to receive this for the addressee, you must not use, copy, -disclose or take any action based on this message or any -information herein. If you have received this message in -error, please advise the sender immediately by reply e-mail -and delete this message. Thank you for your co-operation. ----------------------------------------------------------------------------= ---------- -We make your business move. - - - \start Date: Tue, 12 Jan 2010 09:34:25 -0500 From: Tim Daly To: Lee Duhem -Subject: Re: [PATCH] More fixs about typos and formatting - in books. -Cc: list +Subject: Re: [PATCH] More fixs about typos and formatting in books. Lee Duhem wrote: > Hi, > > I have found more typos and formatting problems in books, > here is the fixes, you may want take a look. -> -> lee -> -> ------------------------------------------------------------------------ -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> -Lee, Your patches have been applied. Thank you. -Tim - - - - \start +Date: Wed, 13 Jan 2010 05:14:32 +0100 From: Michael Becker To: Martin Rubey Subject: Re: sum(binomial(t+i,i),i=0..k) -Date: Wed, 13 Jan 2010 05:14:32 +0100 - - FILETIME=[E9415CD0:01CA9406] - seldom 2.4 (older, 4) -Cc: list Am Dienstag, 12. Januar 2010 06:51 schrieb Martin Rubey: - > .... > What do want to know? It's entirely correct. > The second binomial should be interpreted as always zero, - - - Axion does not believe that binomial(t-1,-1) is zero: - - (1) -> sum(binomial(t+i,i),i=0..k) @@ -1793,50 +1311,10 @@ Am Dienstag, 12. Januar 2010 06:51 schrieb Martin Rubey: >> Error detected within library code: factorial not defined for negative integers - - - - - ->that's all. -> -> Martin - - - ------------------------------------------------------------------------------------- -Diese Nachricht könnte vertrauliche und/oder rechtlich -geschützte Informationen enthalten. Wenn Sie nicht der -Adressat dieser Email sind oder nicht autorisiert sind, diese -für den Adressaten entgegenzunehmen, so ist es untersagt, -diese Nachricht oder in ihr enthaltene Informationen zu nutzen, -zu kopieren, offen zu legen oder anderweitig weiterzuverarbeiten. -Sollten Sie diese Nachricht fälschlicherweise erhalten haben, -verständigen Sie den Absender bitte unverzüglich per Antwort auf -diese Mail und löschen sie diese anschließend. -Vielen Dank für Ihre Kooperation. ------------------------------------------------------------------------------------- -This message may contain confidential and/or privileged -information. If you are not the addressee or authorized -to receive this for the addressee, you must not use, copy, -disclose or take any action based on this message or any -information herein. If you have received this message in -error, please advise the sender immediately by reply e-mail -and delete this message. Thank you for your co-operation. ------------------------------------------------------------------------------------- -We make your business move. - - - - - \start Date: Wed, 13 Jan 2010 02:08:45 -0500 From: Tim Daly To: Camm Maguire - <4B3D8485.2030906@axiom-developer.org> <874oms7gm1.fsf_-_@maguirefamily.org> <4B4B79B2.9060009@axiom-developer.org> - <87my0k1jy2.fsf@maguirefamily.org> -Cc: list Subject: Re: Debian ports Camm, @@ -1922,46 +1400,20 @@ have not. > > Note I'm turning off sgc for now, but this should not be permanent. > -> -I have not used the compiler::link patch because I didn't understand it -and could not get -it to work.. I will rewrite the makefile to use your changes and see if -I can get it to work. - -Do you know if GCL will build on a MAC? I used to have a MAC port -working but -something broke and I cannot figure out what. - -Tim - +I have not used the compiler::link patch because I didn't understand +it and could not get it to work.. I will rewrite the makefile to use +your changes and see if I can get it to work. +Do you know if GCL will build on a MAC? I used to have a MAC port +working but something broke and I cannot figure out what. \start -To: Tim Daly - <20091230055957.GG11463@server.vk2pj.dyndns.org> - <5D01990B-6143-4E44-B4E8-380D4EF22209@math.washington.edu> - <4B3B8489.4010504@onetel.net> - <49F9DA71-333C-4F62-9A20-A74D04494C55@math.washington.edu> - <4B3BF299.3060000@onetel.net> - - <4B3C9990.70600@onetel.net> - <48b5ecbd-ba0d-44d0-94a4-89567d15ebf8@s3g2000yqs.googlegroups.com> - <4B3CF851.4000706@onetel.net> - <7fc76877-a7b7-4712-b134-7c228942a8f1@u7g2000yqm.googlegroups.com> - <4B3D787F.3090907@onetel.net> <4B3D8485.2030906@axiom-developer.org> - <874oms7gm1.fsf_-_@maguirefamily.org> - <4B4B79B2.9060009@axiom-developer.org> - <87my0k1jy2.fsf@maguirefamily.org> - <4B4D717D.8040009@axiom-developer.org> -From: Camm Maguire Date: Wed, 13 Jan 2010 14:08:52 -0500 - "Wed\, 13 Jan 2010 02\:08\:45 -0500") -Cc: list, gcl-devel@gnu.org +From: Camm Maguire +To: Tim Daly Subject: Re: Debian ports -Greetings! - Tim Daly writes: > Camm, @@ -2669,29 +2121,10 @@ It should, but our chief developer on this platform has disappeared, and I have not tested here in quite a while. It would be very good to refresh this. -Take care, - -> Tim -> -> -> -> -> - --- -Camm Maguire Camm Maguire -========================================================================== -"The earth is but one country, and mankind its citizens." -- Baha'u'llah - - - \start Date: Wed, 13 Jan 2010 14:23:54 -0500 From: Tim Daly To: Camm Maguire - <4B3D8485.2030906@axiom-developer.org> <874oms7gm1.fsf_-_@maguirefamily.org> <4B4B79B2.9060009@axiom-developer.org> <87my0k1jy2.fsf@maguirefamily.org> <4B4D717D.8040009@axiom-developer.org> - <87ockxkekb.fsf@maguirefamily.org> -Cc: list, gcl-devel@gnu.org Subject: Re: Debian ports Camm, the URL shown below is partially specific to your system @@ -2711,13 +2144,6 @@ http://127.0.0.1:8085/home/camm/mnt/fedora10/doc/hypertex/rootpage.xhtml That is, you have to specify the complete path to the file rootpage.xhtml (which will naturally have the $AXIOM prefix you used). -Tim - - - - - - >From the top level you type ")browse" and Axiom will now function as a web server on the port (8085). At the moment you need to give a full path to the @@ -2731,11 +2157,6 @@ You should see the result of the computation pasted inline in the webpage. This should be easier and automatic but I have to write that code and I have not. - - - -Thanks! - Alas my browser is hanging on the above url, so something needs fixing. I don't even get to read-char-no-hang: @@ -2749,18 +2170,10 @@ listening on port 8085 Debugging suggestions? - - - - - \start Date: Wed, 13 Jan 2010 14:30:55 -0500 From: Tim Daly To: Camm Maguire - <4B3D8485.2030906@axiom-developer.org> <874oms7gm1.fsf_-_@maguirefamily.org> <4B4B79B2.9060009@axiom-developer.org> <87my0k1jy2.fsf@maguirefamily.org> <4B4D717D.8040009@axiom-developer.org> - <87ockxkekb.fsf@maguirefamily.org> -Cc: list, gcl-devel@gnu.org Subject: Re: Debian ports Camm, @@ -2790,39 +2203,12 @@ Error: Binary module load error: Can you help here? Can I use the same trick to load the first two instances in .lsp form? - - - - - - - - \start -To: Tim Daly - <20091230055957.GG11463@server.vk2pj.dyndns.org> - <5D01990B-6143-4E44-B4E8-380D4EF22209@math.washington.edu> - <4B3B8489.4010504@onetel.net> - <49F9DA71-333C-4F62-9A20-A74D04494C55@math.washington.edu> - <4B3BF299.3060000@onetel.net> - - <4B3C9990.70600@onetel.net> - <48b5ecbd-ba0d-44d0-94a4-89567d15ebf8@s3g2000yqs.googlegroups.com> - <4B3CF851.4000706@onetel.net> - <7fc76877-a7b7-4712-b134-7c228942a8f1@u7g2000yqm.googlegroups.com> - <4B3D787F.3090907@onetel.net> <4B3D8485.2030906@axiom-developer.org> - <874oms7gm1.fsf_-_@maguirefamily.org> - <4B4B79B2.9060009@axiom-developer.org> - <87my0k1jy2.fsf@maguirefamily.org> - <4B4D717D.8040009@axiom-developer.org> -From: Camm Maguire Date: Wed, 13 Jan 2010 14:48:46 -0500 - "Wed\, 13 Jan 2010 02\:08\:45 -0500") -Cc: list +From: Camm Maguire +To: Tim Daly Subject: Re: Debian ports -Greetings! - Odd thing is, if I go into int/interp, fireup ../../obj/linux/bin/lisp, and execute @@ -2956,45 +2342,12 @@ Tim Daly writes: > Do you know if GCL will build on a MAC? I used to have a MAC port > working but > something broke and I cannot figure out what. -> -> Tim -> -> -> -> -> - --- -Camm Maguire Camm Maguire -========================================================================== -"The earth is but one country, and mankind its citizens." -- Baha'u'llah - - \start +Date: Wed, 13 Jan 2010 14:58:42 -0500 +From: Camm Maguire To: Tim Daly Subject: re: Debian ports - <20091230055957.GG11463@server.vk2pj.dyndns.org> - <5D01990B-6143-4E44-B4E8-380D4EF22209@math.washington.edu> - <4B3B8489.4010504@onetel.net> - <49F9DA71-333C-4F62-9A20-A74D04494C55@math.washington.edu> - <4B3BF299.3060000@onetel.net> - - <4B3C9990.70600@onetel.net> - <48b5ecbd-ba0d-44d0-94a4-89567d15ebf8@s3g2000yqs.googlegroups.com> - <4B3CF851.4000706@onetel.net> - <7fc76877-a7b7-4712-b134-7c228942a8f1@u7g2000yqm.googlegroups.com> - <4B3D787F.3090907@onetel.net> <4B3D8485.2030906@axiom-developer.org> - <874oms7gm1.fsf_-_@maguirefamily.org> - <4B4B79B2.9060009@axiom-developer.org> - <87my0k1jy2.fsf@maguirefamily.org> - <4B4D717D.8040009@axiom-developer.org> - <87ockxkekb.fsf@maguirefamily.org> - <4B4E1DCA.9090304@axiom-developer.org> -From: Camm Maguire -Date: Wed, 13 Jan 2010 14:58:42 -0500 - "Wed\, 13 Jan 2010 14\:23\:54 -0500") -Cc: list, gcl-devel@gnu.org Thanks Tim! But it still hangs just as before. What else can I trace to see where I'm stuck? @@ -3019,13 +2372,7 @@ Tim Daly writes: > > That is, you have to specify the complete path to the file rootpage.xhtml > (which will naturally have the $AXIOM prefix you used). -> -> Tim -> -> -> -> -> + > >>From the top level you type ")browse" and Axiom will now function as a > web server on @@ -3057,41 +2404,17 @@ Tim Daly writes: > ..... > > Debugging suggestions? -> -> -> -> -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> -> -> -> - --- -Camm Maguire Camm Maguire -========================================================================== -"The earth is but one country, and mankind its citizens." -- Baha'u'llah - - \start Date: Wed, 13 Jan 2010 15:17:12 -0500 From: Tim Daly To: Camm Maguire Subject: re: Debian ports - <4B3D8485.2030906@axiom-developer.org> <874oms7gm1.fsf_-_@maguirefamily.org> <4B4B79B2.9060009@axiom-developer.org> <87my0k1jy2.fsf@maguirefamily.org> <4B4D717D.8040009@axiom-developer.org> <87ockxkekb.fsf@maguirefamily.org> <4B4E1DCA.9090304@axiom-developer.org> - <87my0hixot.fsf@maguirefamily.org> -Cc: list, gcl-devel@gnu.org Does the URL file:///home/camm/mnt/fedora10/doc/hypertex/rootpage.xhtml work? - Camm Maguire wrote: > Thanks Tim! But it still hangs just as before. What else can I > trace to see where I'm stuck? @@ -3118,13 +2441,6 @@ Camm Maguire wrote: >> That is, you have to specify the complete path to the file rootpage.xhtml >> (which will naturally have the $AXIOM prefix you used). >> ->> Tim ->> ->> ->> ->> ->> ->> >> >From the top level you type ")browse" and Axiom will now function as a >> web server on >> the port (8085). At the moment you need to give a full path to the @@ -3155,48 +2471,11 @@ Camm Maguire wrote: >> ..... >> >> Debugging suggestions? ->> ->> ->> ->> ->> ->> _______________________________________________ ->> Axiom-developer mailing list ->> list ->> http://lists.nongnu.org/mailman/listinfo/axiom-developer ->> ->> ->> ->> ->> -> -> - - - \start -To: list -From: Aleksej Saushev Date: Wed, 13 Jan 2010 23:27:34 +0300 - <20091230055957.GG11463@server.vk2pj.dyndns.org> - <5D01990B-6143-4E44-B4E8-380D4EF22209@math.washington.edu> - <4B3B8489.4010504@onetel.net> - <49F9DA71-333C-4F62-9A20-A74D04494C55@math.washington.edu> - <4B3BF299.3060000@onetel.net> - - <4B3C9990.70600@onetel.net> - <48b5ecbd-ba0d-44d0-94a4-89567d15ebf8@s3g2000yqs.googlegroups.com> - <4B3CF851.4000706@onetel.net> - <7fc76877-a7b7-4712-b134-7c228942a8f1@u7g2000yqm.googlegroups.com> - <4B3D787F.3090907@onetel.net> <4B3D8485.2030906@axiom-developer.org> - <874oms7gm1.fsf_-_@maguirefamily.org> - <4B4B79B2.9060009@axiom-developer.org> - <87my0k1jy2.fsf@maguirefamily.org> - <4B4D717D.8040009@axiom-developer.org> - <87ockxkekb.fsf@maguirefamily.org> -Cancel-Lock: sha1:m3Xgtn7hhIuIj5d/FN7MOZwRrO4= -Cc: gcl-devel@gnu.org +From: Aleksej Saushev +To: list Subject: Re: Debian ports Camm Maguire writes: @@ -3220,41 +2499,11 @@ customizations. It is hard to tell for sure, most likely you've broken FreeBSD support, and Tim boasted that he supports FreeBSD. - --- -HE CE3OH... - - - - \start +Date: Wed, 13 Jan 2010 15:29:48 -0500 +From: Camm Maguire To: Tim Daly Subject: re: Debian ports - <20091230055957.GG11463@server.vk2pj.dyndns.org> - <5D01990B-6143-4E44-B4E8-380D4EF22209@math.washington.edu> - <4B3B8489.4010504@onetel.net> - <49F9DA71-333C-4F62-9A20-A74D04494C55@math.washington.edu> - <4B3BF299.3060000@onetel.net> - - <4B3C9990.70600@onetel.net> - <48b5ecbd-ba0d-44d0-94a4-89567d15ebf8@s3g2000yqs.googlegroups.com> - <4B3CF851.4000706@onetel.net> - <7fc76877-a7b7-4712-b134-7c228942a8f1@u7g2000yqm.googlegroups.com> - <4B3D787F.3090907@onetel.net> <4B3D8485.2030906@axiom-developer.org> - <874oms7gm1.fsf_-_@maguirefamily.org> - <4B4B79B2.9060009@axiom-developer.org> - <87my0k1jy2.fsf@maguirefamily.org> - <4B4D717D.8040009@axiom-developer.org> - <87ockxkekb.fsf@maguirefamily.org> - <4B4E1DCA.9090304@axiom-developer.org> - <87my0hixot.fsf@maguirefamily.org> - <4B4E2A48.60904@axiom-developer.org> -From: Camm Maguire -Date: Wed, 13 Jan 2010 15:29:48 -0500 - 13 Jan 2010 15\:17\:12 -0500") -Cc: list, gcl-devel@gnu.org - -Greetings! Tim Daly writes: @@ -3298,13 +2547,6 @@ Take care, >>> That is, you have to specify the complete path to the file rootpage.xhtml >>> (which will naturally have the $AXIOM prefix you used). >>> ->>> Tim ->>> ->>> ->>> ->>> ->>> ->>> >>> >From the top level you type ")browse" and Axiom will now function as a >>> web server on >>> the port (8085). At the moment you need to give a full path to the @@ -3318,11 +2560,6 @@ Take care, >>> This should be easier and automatic but I have to write that code and >>> I have not. >>> ->>> ->>> ->>> ->>> Thanks! ->>> >>> Alas my browser is hanging on the above url, so something needs >>> fixing. I don't even get to read-char-no-hang: >>> @@ -3335,66 +2572,12 @@ Take care, >>> ..... >>> >>> Debugging suggestions? ->>> ->>> ->>> ->>> ->>> ->>> _______________________________________________ ->>> Axiom-developer mailing list ->>> list ->>> http://lists.nongnu.org/mailman/listinfo/axiom-developer ->>> ->>> ->>> ->>> ->>> ->> ->> -> -> -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> -> -> -> - --- -Camm Maguire Camm Maguire -========================================================================== -"The earth is but one country, and mankind its citizens." -- Baha'u'llah - - \start +Date: Wed, 13 Jan 2010 15:33:00 -0500 +From: Camm Maguire To: Aleksej Saushev Subject: re: Debian ports - <20091230055957.GG11463@server.vk2pj.dyndns.org> - <5D01990B-6143-4E44-B4E8-380D4EF22209@math.washington.edu> - <4B3B8489.4010504@onetel.net> - <49F9DA71-333C-4F62-9A20-A74D04494C55@math.washington.edu> - <4B3BF299.3060000@onetel.net> - - <4B3C9990.70600@onetel.net> - <48b5ecbd-ba0d-44d0-94a4-89567d15ebf8@s3g2000yqs.googlegroups.com> - <4B3CF851.4000706@onetel.net> - <7fc76877-a7b7-4712-b134-7c228942a8f1@u7g2000yqm.googlegroups.com> - <4B3D787F.3090907@onetel.net> <4B3D8485.2030906@axiom-developer.org> - <874oms7gm1.fsf_-_@maguirefamily.org> - <4B4B79B2.9060009@axiom-developer.org> - <87my0k1jy2.fsf@maguirefamily.org> - <4B4D717D.8040009@axiom-developer.org> - <87ockxkekb.fsf@maguirefamily.org> <87wrzlrbrd.fsf@inbox.ru> -From: Camm Maguire -Date: Wed, 13 Jan 2010 15:33:00 -0500 - 13 Jan 2010 23\:27\:34 +0300") -Cc: list, gcl-devel@gnu.org - -Greetings! Aleksej Saushev writes: @@ -3429,55 +2612,11 @@ Agreed. This is a Debian only patch, so no worries. -Take care, - -> -> -- -> HE CE3OH... -> -> -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> -> -> - --- -Camm Maguire Camm Maguire -========================================================================== -"The earth is but one country, and mankind its citizens." -- Baha'u'llah - - - \start +Date: Wed, 13 Jan 2010 16:06:59 -0500 +From: Camm Maguire To: Tim Daly Subject: re: Debian ports - <20091230055957.GG11463@server.vk2pj.dyndns.org> - <5D01990B-6143-4E44-B4E8-380D4EF22209@math.washington.edu> - <4B3B8489.4010504@onetel.net> - <49F9DA71-333C-4F62-9A20-A74D04494C55@math.washington.edu> - <4B3BF299.3060000@onetel.net> - - <4B3C9990.70600@onetel.net> - <48b5ecbd-ba0d-44d0-94a4-89567d15ebf8@s3g2000yqs.googlegroups.com> - <4B3CF851.4000706@onetel.net> - <7fc76877-a7b7-4712-b134-7c228942a8f1@u7g2000yqm.googlegroups.com> - <4B3D787F.3090907@onetel.net> <4B3D8485.2030906@axiom-developer.org> - <874oms7gm1.fsf_-_@maguirefamily.org> - <4B4B79B2.9060009@axiom-developer.org> - <87my0k1jy2.fsf@maguirefamily.org> - <4B4D717D.8040009@axiom-developer.org> - <87ockxkekb.fsf@maguirefamily.org> - <4B4E1DCA.9090304@axiom-developer.org> - <87my0hixot.fsf@maguirefamily.org> - <4B4E2A48.60904@axiom-developer.org> -From: Camm Maguire -Date: Wed, 13 Jan 2010 16:06:59 -0500 - 13 Jan 2010 15\:17\:12 -0500") -Cc: list, gcl-devel@gnu.org Greetings! Regarding the compiler link issue, this seems to be working so far. I don't know how to stop the autoloader, so I move @@ -3618,23 +2757,12 @@ the file out of the way and link it in by hand: @ cp -pr ${INT}/algebra/*.daase ${MNT}/${SYS}/algebra @ -============================================================================= - --- -Camm Maguire Camm Maguire -========================================================================== -"The earth is but one country, and mankind its citizens." -- Baha'u'llah - - \start Date: Wed, 13 Jan 2010 17:21:55 -0500 From: Tim Daly To: Camm Maguire Subject: re: Debian ports - <4B3D8485.2030906@axiom-developer.org> <874oms7gm1.fsf_-_@maguirefamily.org> <4B4B79B2.9060009@axiom-developer.org> <87my0k1jy2.fsf@maguirefamily.org> <4B4D717D.8040009@axiom-developer.org> <87ockxkekb.fsf@maguirefamily.org> <4B4E1DCA.9090304@axiom-developer.org> <87my0hixot.fsf@maguirefamily.org> <4B4E2A48.60904@axiom-developer.org> - <87wrzleojn.fsf@maguirefamily.org> -Cc: list, gcl-devel@gnu.org hmm... @@ -3642,9 +2770,6 @@ In the zips directory there is a copy of GCL that builds cleanly. Does this connect? Is there any change in the socket code between the gcl tgz in the zips directory and your latest version? -Tim - - Camm Maguire wrote: > Greetings! > @@ -3714,11 +2839,6 @@ Camm Maguire wrote: >>>> This should be easier and automatic but I have to write that code and >>>> I have not. >>>> ->>>> ->>>> ->>>> ->>>> Thanks! ->>>> >>>> Alas my browser is hanging on the above url, so something needs >>>> fixing. I don't even get to read-char-no-hang: >>>> @@ -3731,54 +2851,16 @@ Camm Maguire wrote: >>>> ..... >>>> >>>> Debugging suggestions? ->>>> ->>>> ->>>> ->>>> ->>>> ->>>> _______________________________________________ ->>>> Axiom-developer mailing list ->>>> list ->>>> http://lists.nongnu.org/mailman/listinfo/axiom-developer ->>>> ->>>> ->>>> ->>>> ->>>> ->>>> ->>> ->>> ->> ->> _______________________________________________ ->> Axiom-developer mailing list ->> list ->> http://lists.nongnu.org/mailman/listinfo/axiom-developer ->> ->> ->> ->> ->> -> -> - - - \start Date: Wed, 13 Jan 2010 17:26:42 -0500 From: Tim Daly To: Aleksej Saushev Subject: re: Debian ports - <4B3D8485.2030906@axiom-developer.org> <874oms7gm1.fsf_-_@maguirefamily.org> <4B4B79B2.9060009@axiom-developer.org> <87my0k1jy2.fsf@maguirefamily.org> <4B4D717D.8040009@axiom-developer.org> <87ockxkekb.fsf@maguirefamily.org> - <87wrzlrbrd.fsf@inbox.ru> -Cc: list, gcl-devel@gnu.org Please post a patch file that does what you suggest. I was unable to build successfully using dynamic loading. -Tim - - Aleksej Saushev wrote: > Camm Maguire writes: > @@ -3802,20 +2884,12 @@ Aleksej Saushev wrote: > > It is hard to tell for sure, most likely you've broken FreeBSD support, > and Tim boasted that he supports FreeBSD. -> -> -> - - - \start Date: Wed, 13 Jan 2010 18:56:31 -0200 (BRST) +From: Paulo Andrade +To: Camm Maguire Subject: Re: [Gcl-devel] re: Debian ports -From: Paulo =?iso-8859-1?Q?C=E9sar_Pereira_de_Andrade?= -To: "Camm Maguire" Camm Maguire - seldom 2.4 (older, 4) -Cc: list, gcl-devel@gnu.org Camm Maguire wrote: @@ -3848,12 +2922,12 @@ option 'sage -notebook' >> Camm, the URL shown below is partially specific to your system >> If you build axiom with the shell variable >> ->> $AXIOM=3D/home/axiom/mnt/ubuntu +>> $AXIOM=/home/axiom/mnt/ubuntu >> >> then the URL will work as shown (assuming you build on ubuntu). >> If you build on, say, a fedora10 system with the shell variable >> ->> $AXIOM=3D/home/camm/mnt/fedora10 +>> $AXIOM=/home/camm/mnt/fedora10 >> >> the URL would be: >> @@ -3879,7 +2953,7 @@ ml >> http://127.0.0.1:8085/home/axiom/mnt/ubuntu/doc/hypertex/rootpage.xhtm= l >> ->> Try Topics -> Numbers -> Integers -> x:=3Dfactorial(200) as an example= +>> Try Topics -> Numbers -> Integers -> x:=factorial(200) as an example= . >> You should see the result of the computation pasted inline in the >> webpage. @@ -3898,46 +2972,19 @@ l >> (1) -> )lisp (trace read-char-no-hang) >> >> Warning: READ-CHAR-NO-HANG is being redefined. ->> Value =3D (READ-CHAR-NO-HANG) +>> Value = (READ-CHAR-NO-HANG) >> (1) -> )browse >> listening on port 8085 >> ..... >> >> Debugging suggestions? -Thanks, -Paulo - - - - \start +Date: Fri, 15 Jan 2010 21:34:27 -0500 +From: Camm Maguire To: Tim Daly Subject: re: Debian ports - <20091230055957.GG11463@server.vk2pj.dyndns.org> - <5D01990B-6143-4E44-B4E8-380D4EF22209@math.washington.edu> - <4B3B8489.4010504@onetel.net> - <49F9DA71-333C-4F62-9A20-A74D04494C55@math.washington.edu> - <4B3BF299.3060000@onetel.net> - - <4B3C9990.70600@onetel.net> - <48b5ecbd-ba0d-44d0-94a4-89567d15ebf8@s3g2000yqs.googlegroups.com> - <4B3CF851.4000706@onetel.net> - <7fc76877-a7b7-4712-b134-7c228942a8f1@u7g2000yqm.googlegroups.com> - <4B3D787F.3090907@onetel.net> <4B3D8485.2030906@axiom-developer.org> - <874oms7gm1.fsf_-_@maguirefamily.org> - <4B4B79B2.9060009@axiom-developer.org> - <87my0k1jy2.fsf@maguirefamily.org> - <4B4D717D.8040009@axiom-developer.org> - <87ockxkekb.fsf@maguirefamily.org> <87wrzlrbrd.fsf@inbox.ru> - <4B4E48A2.1090205@axiom-developer.org> -From: Camm Maguire -Date: Fri, 15 Jan 2010 21:34:27 -0500 - "Wed\, 13 Jan 2010 17\:26\:42 -0500") -Cc: list, gcl-devel@gnu.org, - Aleksej Saushev - -Hi Tim! +Cc: Aleksej Saushev One other issue is coming up. You are resetting si::*system-directory* in your restart function. This is used in gcl @@ -3982,40 +3029,13 @@ Tim Daly writes: >> >> It is hard to tell for sure, most likely you've broken FreeBSD support, >> and Tim boasted that he supports FreeBSD. ->> ->> ->> -> -> -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> -> -> -> - --- -Camm Maguire Camm Maguire -========================================================================== -"The earth is but one country, and mankind its citizens." -- Baha'u'llah - - \start Date: Fri, 15 Jan 2010 23:46:05 -0500 From: Tim Daly To: Camm Maguire Subject: re: Debian ports - <4B3D8485.2030906@axiom-developer.org> <874oms7gm1.fsf_-_@maguirefamily.org> <4B4B79B2.9060009@axiom-developer.org> <87my0k1jy2.fsf@maguirefamily.org> <4B4D717D.8040009@axiom-developer.org> <87ockxkekb.fsf@maguirefamily.org> - <87wrzlrbrd.fsf@inbox.ru> <4B4E48A2.1090205@axiom-developer.org> - <87iqb2ixqk.fsf@maguirefamily.org> -Cc: list, gcl-devel@gnu.org, - Aleksej Saushev - -Camm, +Cc: Aleksej Saushev I removed the line from restart and rebuilt/retested the system. I can find no difference in behavior so Axiom will no longer set @@ -4023,10 +3043,6 @@ si::*system-directory* This is available in the lastest patch. 20100115.03.tpd.patch (git commit 509e5b024a) -Tim - - - Camm Maguire wrote: > Hi Tim! > @@ -4076,71 +3092,23 @@ Camm Maguire wrote: >>> >>> It is hard to tell for sure, most likely you've broken FreeBSD support, >>> and Tim boasted that he supports FreeBSD. ->>> ->>> ->>> ->>> ->> ->> _______________________________________________ ->> Axiom-developer mailing list ->> list ->> http://lists.nongnu.org/mailman/listinfo/axiom-developer ->> ->> ->> ->> ->> -> -> - - - \start Date: Sat, 16 Jan 2010 15:06:35 -0500 From: Tim Daly To: Camm Maguire Subject: re: Debian ports - <4B3D8485.2030906@axiom-developer.org> <874oms7gm1.fsf_-_@maguirefamily.org> <4B4B79B2.9060009@axiom-developer.org> <87my0k1jy2.fsf@maguirefamily.org> <4B4D717D.8040009@axiom-developer.org> <87ockxkekb.fsf@maguirefamily.org> - <87wrzlrbrd.fsf@inbox.ru> <87y6k1d9tv.fsf@maguirefamily.org> -Cc: list, gcl-devel@gnu.org, - Aleksej Saushev - -Camm, +Cc: Aleksej Saushev The latest patch removes the file exposed.lsp so it no longer needs to be loaded at all. -Tim - - - - \start +Date: Tue, 19 Jan 2010 16:26:47 -0500 +From: Camm Maguire To: Tim Daly Subject: re: Debian ports - <20091230055957.GG11463@server.vk2pj.dyndns.org> - <5D01990B-6143-4E44-B4E8-380D4EF22209@math.washington.edu> - <4B3B8489.4010504@onetel.net> - <49F9DA71-333C-4F62-9A20-A74D04494C55@math.washington.edu> - <4B3BF299.3060000@onetel.net> - - <4B3C9990.70600@onetel.net> - <48b5ecbd-ba0d-44d0-94a4-89567d15ebf8@s3g2000yqs.googlegroups.com> - <4B3CF851.4000706@onetel.net> - <7fc76877-a7b7-4712-b134-7c228942a8f1@u7g2000yqm.googlegroups.com> - <4B3D787F.3090907@onetel.net> <4B3D8485.2030906@axiom-developer.org> - <874oms7gm1.fsf_-_@maguirefamily.org> - <4B4B79B2.9060009@axiom-developer.org> - <87my0k1jy2.fsf@maguirefamily.org> - <4B4D717D.8040009@axiom-developer.org> - <87ockxkekb.fsf@maguirefamily.org> <87wrzlrbrd.fsf@inbox.ru> - <4B4E48A2.1090205@axiom-developer.org> -From: Camm Maguire -Date: Tue, 19 Jan 2010 16:26:47 -0500 - "Wed\, 13 Jan 2010 17\:26\:42 -0500") -Cc: list, gcl-devel@gnu.org, - Aleksej Saushev +Cc: Aleksej Saushev Greetings! Tim, is there a machine at your site onto which you would mind giving me access? Perhaps I could set this up for you there. @@ -4178,27 +3146,6 @@ Tim Daly writes: >> >> It is hard to tell for sure, most likely you've broken FreeBSD support, >> and Tim boasted that he supports FreeBSD. ->> ->> ->> -> -> -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> -> -> -> - --- -Camm Maguire Camm Maguire -========================================================================== -"The earth is but one country, and mankind its citizens." -- Baha'u'llah - - \start Date: Sat, 23 Jan 2010 12:52:57 -0500 @@ -4219,19 +3166,11 @@ git://axiom.git.sourceforge.net/gitroot/axiom/axiom| Binaries will become available as time permits at: http://axiom-developer.org/axiom-website/download.html -Tim - - - \start +Date: Fri, 29 Jan 2010 20:49:50 -0500 +From: Camm Maguire To: Tim Daly Subject: Re: Axiom January 2010 released -From: Camm Maguire -Date: Fri, 29 Jan 2010 20:49:50 -0500 - "Sat\, 23 Jan 2010 12\:52\:57 -0500") -Cc: list - -Congratulations, Tim! Separate question -- I notice there are many regression failures in the build log. Do you have any mechanism to identify "expected" @@ -4256,36 +3195,11 @@ Tim Daly writes: > > Binaries will become available as time permits at: > http://axiom-developer.org/axiom-website/download.html -> -> Tim -> -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> -> -> -> - --- -Camm Maguire Camm Maguire -========================================================================== -"The earth is but one country, and mankind its citizens." -- Baha'u'llah - - \start +Date: Sat, 30 Jan 2010 10:12:21 +0000 From: Martin Baker To: list -Date: Sat, 30 Jan 2010 10:12:21 +0000 - <87k4v0icox.fsf@maguirefamily.org> - charset="iso-8859-1" - jhuazD4Lxr4q2Hic7oqOTtCPDhAivObrXE+SUfu1NMYQSYY5dC - f8bTLKtMZLluARUdzUdeg== - recognized. - seldom 2.4 (older, 4) Subject: html formatter I have created a html formatter: html.spad.pamphlet @@ -4299,17 +3213,11 @@ http://www.euclideanspace.com/maths/standards/program/output/ If you think it is useful to others you are most welcome to add it to the codebase. -Martin Baker - - - \start Date: Sat, 30 Jan 2010 08:36:16 -0500 From: Tim Daly To: Camm Maguire Subject: Re: Axiom January 2010 released - <87k4v0icox.fsf@maguirefamily.org> -Cc: list There are failures in the build log but they are mostly expected failures. They are designed to test deliberately failing cases. @@ -4412,45 +3320,21 @@ Camm Maguire wrote: >> >> Binaries will become available as time permits at: >> http://axiom-developer.org/axiom-website/download.html ->> ->> Tim ->> ->> ->> _______________________________________________ ->> Axiom-developer mailing list ->> list ->> http://lists.nongnu.org/mailman/listinfo/axiom-developer ->> ->> ->> ->> ->> -> -> - - \start Date: Sat, 30 Jan 2010 08:37:16 -0500 From: Tim Daly CC: list - <87k4v0icox.fsf@maguirefamily.org> Subject: Axiom January 2010 binaries are available - The binaries are available at: http://axiom-developer.org/axiom-website/download.html - - - \start Date: Sat, 30 Jan 2010 08:41:09 -0500 From: Tim Daly To: Martin Baker Subject: Re: html formatter - <201001301012.21284.Martin Baker> -Cc: list Very nice. I'll look into this further. @@ -4472,28 +3356,12 @@ Martin Baker wrote: > codebase. > > Martin Baker -> -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> -> - - \start +Date: Sat, 30 Jan 2010 09:47:39 -0500 +From: Camm Maguire To: Tim Daly Subject: Re: Axiom January 2010 released - <87k4v0icox.fsf@maguirefamily.org> - <4B6435D0.20309@axiom-developer.org> -From: Camm Maguire -Date: Sat, 30 Jan 2010 09:47:39 -0500 - 30 Jan 2010 08\:36\:16 -0500") -Cc: list, gcl-devel@gnu.org - -Greetings, and thanks! Tim Daly writes: @@ -4569,43 +3437,12 @@ Take care, >>> Axiom-developer mailing list >>> list >>> http://lists.nongnu.org/mailman/listinfo/axiom-developer ->>> ->>> ->>> ->>> ->>> ->> ->> -> -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> -> -> -> - --- -Camm Maguire Camm Maguire -========================================================================== -"The earth is but one country, and mankind its citizens." -- Baha'u'llah - - \start +Date: Sat, 30 Jan 2010 16:18:50 +0000 From: Martin Baker To: Tim Daly Subject: Re: html formatter -Date: Sat, 30 Jan 2010 16:18:50 +0000 - <201001301012.21284.Martin Baker> - <4B6436F5.3060201@axiom-developer.org> - charset="iso-8859-1" - gCssXfRu/TzMkXnmreQQOGZVJ38y9wvFMBGGcbWVf9usuHgCoM - YrZhhUtWVtZiFp2pwDbmg== - recognized. -Cc: list On Saturday 30 Jan 2010 13:41:09 Tim Daly wrote: > Are you aware of the work in Axiom Volume 11: The Axiom Browser? @@ -4632,18 +3469,11 @@ be a way to overcome the cons, for instance: allowing the user to enter mathematical symbols such as the Greek alphabet directly into the formula using buttons on the web page? -Martin Baker - - - - \start Date: Sat, 30 Jan 2010 19:16:41 -0500 From: Tim Daly To: Camm Maguire Subject: Re: Axiom January 2010 released - <87iqajd4z8.fsf@maguirefamily.org> -Cc: list, gcl-devel@gnu.org Some of the algorithms are purely random so the result has nothing to do with GCL. @@ -4744,47 +3574,12 @@ Camm Maguire wrote: >>>> >>>> Binaries will become available as time permits at: >>>> http://axiom-developer.org/axiom-website/download.html ->>>> ->>>> Tim ->>>> ->>>> ->>>> _______________________________________________ ->>>> Axiom-developer mailing list ->>>> list ->>>> http://lists.nongnu.org/mailman/listinfo/axiom-developer ->>>> ->>>> ->>>> ->>>> ->>>> ->>>> ->>> ->>> ->> _______________________________________________ ->> Axiom-developer mailing list ->> list ->> http://lists.nongnu.org/mailman/listinfo/axiom-developer ->> ->> ->> ->> ->> -> -> - - \start Date: Sat, 30 Jan 2010 19:36:23 -0500 From: Tim Daly To: Martin Baker Subject: Re: html formatter - <201001301012.21284.Martin Baker> - <4B6436F5.3060201@axiom-developer.org> - <201001301618.50345.Martin Baker> -Cc: list - - Martin Baker wrote: > On Saturday 30 Jan 2010 13:41:09 Tim Daly wrote: diff --git a/book/2010-02.txt b/book/2010-02.txt index d07ca69..9aaf7ab 100644 --- a/book/2010-02.txt +++ b/book/2010-02.txt @@ -1,9 +1,7 @@ \start -From: "sergio.iovacchini@evosist.org" -To: list Date: Mon, 22 Feb 2010 12:09:29 +0100 -Message-id: <4b8265e9.1da.2f0a.1725906491@webmaildh5.ad.aruba.it> - seldom 2.4 (older, 4) +From: Sergio Iovacchini +To: list Subject: can not configure for Apple Mac OS X 10.4 powerpc Pls, can You help me on how to modify configure shell so I @@ -11,18 +9,11 @@ can buil Axiom on a Mac OS X system? I don't need /dev/pty.. for HyperDoc. TIA -Sergio Iovacchini - - - - \start Date: Tue, 23 Feb 2010 12:40:43 -0500 From: Tim Daly -To: "sergio.iovacchini@evosist.org" -Subject: Re: can not configure for Apple Mac OS X 10.4 - powerpc -Cc: list +To: Sergio Iovacchini +Subject: Re: can not configure for Apple Mac OS X 10.4 powerpc The last supported version of Axiom on the 10.4 is listed here: http://axiom-developer.org/axiom-website/download.html @@ -34,30 +25,16 @@ http://axiom-developer.org/axiom-website/download.html 5) export PATH=$AXIOM/bin:$PATH 6) axiom -nox (runs axiom with no X support) -sergio.iovacchini@evosist.org wrote: +Sergio Iovacchini wrote: > Pls, can You help me on how to modify configure shell so I > can buil Axiom on a Mac OS X system? > I don't need /dev/pty.. for HyperDoc. > TIA -> -> Sergio Iovacchini -> -> -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> -> - - \start Date: Wed, 24 Feb 2010 17:47:21 -0500 From: Tim Daly -To: list, joel@joelonsoftware.com -Cc: +To: Joel Spolsky Subject: Software editor I'm just about to cross 11,000 changes in the Axiom changelog file. @@ -68,13 +45,12 @@ trying to get Axiom to run at all. At the present time I'm reorganizing all of the software into books. http://en.wikipedia.org/wiki/Axiom_computer_algebra_system -The idea is literate programming, ala Knuth and the model for -the ultimate goal is "Lisp In Small Pieces" by Christian Queinnec. -The goal is to be able to read Axiom like a book and understand the -result. If that -can be achieved then new generations of programmers can continue to -maintain, -modify, and expand the system. Axiom will be "living software". +The idea is literate programming, ala Knuth and the model for the +ultimate goal is "Lisp In Small Pieces" by Christian Queinnec. The +goal is to be able to read Axiom like a book and understand the +result. If that can be achieved then new generations of programmers +can continue to maintain, modify, and expand the system. Axiom will be +"living software". Having attempted to write 2 "real" books I had much interaction with publishing houses. My contact with the publisher started @@ -99,12 +75,6 @@ literate programming. If we use literate programming we need to learn lessons from the field of literature. One of these lessons is the need for a "Software Editor". -Tim Daly -Axiom "Editor-in-Chief" - - - - \start Date: Thu, 25 Feb 2010 20:08:39 -0500 From: Tim Daly @@ -118,19 +88,10 @@ choose one from the thousands of pre-configured machines or you can custom create a machine. If you let me know the "AMI" setup I can build and host the images in the future. -Tim - - - - \start Date: Sat, 27 Feb 2010 03:36:37 -0500 From: Tim Daly -To: Rupinder Singh , - list - <4B87F7F6.4020105@axiom-developer.org> - <19cf289a1002262043x40302c23h8b3a72f2f1ff9d59@mail.gmail.com> -Cc: +To: Rupinder Singh Subject: Axiom volunteer work ideas (Note that I have copied the axiom-developer.org mailing list) @@ -338,34 +299,15 @@ Demonstrate a parser that returns compiled, executable lisp code. Note that the last item is pure research, a small piece of my proviso research effort. - - - I could go on but it is 3am here. Feel free to ask questions. -Tim - - - - - - - \start Date: Sat, 27 Feb 2010 04:04:34 -0500 From: Edward Borasky To: Tim Daly Subject: Re: Axiom volunteer work ideas - <4B87F7F6.4020105@axiom-developer.org> - <19cf289a1002262043x40302c23h8b3a72f2f1ff9d59@mail.gmail.com> - <4B88D995.7030802@axiom-developer.org> - charset=ISO-8859-1; - DelSp="Yes"; - format="flowed" - recognized. -Cc: list, - Rupinder Singh +Cc: Rupinder Singh Quoting Tim Daly: @@ -382,11 +324,11 @@ nside.html > Volume 1, Chapter 10 it shows how to draw 3D objects. > Demonstrate an Axiom 3D graph being used interactively in a pdf. -PDFs with embedded 3D objects are extremely cool - there's a piece of =20 -magic called "U3D" involved. Adobe has proprietary tools that do this =20 -magic, but I'm not sure there's a fully open-source tool set with a =20 -reasonable work flow. I remember downloading some stuff a couple of =20 -years ago and giving up on it. A quad core and 8 GB of RAM might be a =20 +PDFs with embedded 3D objects are extremely cool - there's a piece of +magic called "U3D" involved. Adobe has proprietary tools that do this +magic, but I'm not sure there's a fully open-source tool set with a +reasonable work flow. I remember downloading some stuff a couple of +years ago and giving up on it. A quad core and 8 GB of RAM might be a big help. ;-) > Fortran Library work @@ -401,12 +343,12 @@ big help. ;-) > to fit "under the covers" (Axiom is written in Lisp). > Demonstrate the lisp or fortran routine being used from Axiom. -How much of this number crunching is already in GSL? Does it *have* to =20 -be FORTRAN? Why not C? The C compilers may have sucked wet dog fur =20 -when NAG was selling FORTRAN libraries, but they're fine now. Now that =20 -I think about it, I'd love to be able to simply "shell out to R" from =20 -Axiom. The closest thing to that is to run R and use Ryacas to talk to =20 -a Yacas server for the symbolic stuff. I'd rather work in a symbolic =20 +How much of this number crunching is already in GSL? Does it *have* to +be FORTRAN? Why not C? The C compilers may have sucked wet dog fur +when NAG was selling FORTRAN libraries, but they're fine now. Now that +I think about it, I'd love to be able to simply "shell out to R" from +Axiom. The closest thing to that is to run R and use Ryacas to talk to +a Yacas server for the symbolic stuff. I'd rather work in a symbolic language and use a *numerical* server. > FORTRAN/Python @@ -416,7 +358,7 @@ language and use a *numerical* server. > I want to be able to do )set output python on > Demonstrate automatically constructing a python program from Axiom -How about Ruby? Rationals and Matrices thereof are a "standard =20 +How about Ruby? Rationals and Matrices thereof are a "standard library" in Ruby. How about R or Octave code? > Fast Fourier Transform @@ -425,28 +367,15 @@ library" in Ruby. How about R or Octave code? > http://www.fftw.org/ > Demonstrate an FFTW in Axiom called from the command line -I've seen FFTs in Lisp, although I can't remember where. There's =20 +I've seen FFTs in Lisp, although I can't remember where. There's probably a Scheme macro to do it, too. ;-) ---=20 -Ed Borasky -borasky-research.net/m-edward-ed-borasky/ - -"A mathematician is a device for turning coffee into theorems." ~ Paul Erdos - - - - \start Date: Sat, 27 Feb 2010 04:38:47 -0500 From: Tim Daly To: Edward Borasky Subject: Re: Axiom volunteer work ideas - <20100227040434.44y4g8nsgsk8o084-mazro@webmail.spamcop.net> -Cc: list, - Rupinder Singh - -Ed, +Cc: Rupinder Singh These are just ideas (well, mostly) at this point. I've done some simple experiments with some of them @@ -555,34 +484,13 @@ Ed Borasky wrote: > > I've seen FFTs in Lisp, although I can't remember where. There's > probably a Scheme macro to do it, too. ;-) -> - - \start Date: Sat, 27 Feb 2010 05:04:09 -0500 From: Edward Borasky To: Tim Daly Subject: Re: Axiom volunteer work ideas - <4B87F7F6.4020105@axiom-developer.org> - <19cf289a1002262043x40302c23h8b3a72f2f1ff9d59@mail.gmail.com> - <4B88D995.7030802@axiom-developer.org> - <20100227040434.44y4g8nsgsk8o084-mazro@webmail.spamcop.net> - <4B88E827.1000908@axiom-developer.org> - charset=ISO-8859-1; - DelSp="Yes"; - format="flowed" - recognized. -Cc: list, - Rupinder Singh - - ---=20 -Ed Borasky -borasky-research.net/m-edward-ed-borasky/ - -"A mathematician is a device for turning coffee into theorems." ~ Paul Erd?s - +Cc: Rupinder Singh Quoting Tim Daly: @@ -593,13 +501,13 @@ Quoting Tim Daly: > somewhere although how well it would work on BLAS is unclear. > But it would be easy to embed a C version directly into GCL. -FORTRAN-C conversion is ancient technology, as are the BLAS. Allow me =20 +FORTRAN-C conversion is ancient technology, as are the BLAS. Allow me to introduce you to ATLAS http://math-atlas.sourceforge.net/ -I'm not sure how current non-x86_64 versions are, but the x86_64 =20 -version gets tweaked more or less constantly. ATLAS is in C, with =20 +I'm not sure how current non-x86_64 versions are, but the x86_64 +version gets tweaked more or less constantly. ATLAS is in C, with assembler kernels in many places where it makes sense to have them. @@ -620,11 +528,9 @@ Python's a *lot* more efficient than Ruby for number crunching. > > Time, time, time.... sigh. -Yeah - I need to seriously pick up algorithmic composition again. It's =20 +Yeah - I need to seriously pick up algorithmic composition again. It's a lot easier than computational math, though. - - \start Date: Sat, 27 Feb 2010 14:23:12 -0500 From: Ted Kosan diff --git a/book/2010-03.txt b/book/2010-03.txt index 1606161..10a6901 100644 --- a/book/2010-03.txt +++ b/book/2010-03.txt @@ -1,12 +1,8 @@ \start Date: Wed, 03 Mar 2010 09:40:36 -0500 From: Tim Daly -To: sage-devel@googlegroups.com - <5ca0d0c51003022354s68f2f8f8y13c8f84422cbc750@mail.gmail.com> - <4B8E63AC.4080809@onetel.net> -Cc: -Subject: Re: [sage-devel] Randomised testing against - Mathematica +To: list +Subject: Re: [sage-devel] Randomised testing against Mathematica There are two test suites with validated results at http://axiom-developer.org/axiom-website/CATS/ @@ -189,21 +185,6 @@ Dr. David Kirkby wrote: >>> You could at the same also compare the time taken to execute the >>> operation to find areas where Sage is much faster or slower than >>> Mathematica. ->>> ->>> Dave ->>> ->>> -- ->>> To post to this group, send an email to sage-devel@googlegroups.com ->>> To unsubscribe from this group, send an email to ->>> sage-devel+unsubscribe@googlegroups.com ->>> For more options, visit this group at ->>> http://groups.google.com/group/sage-devel ->>> URL: http://www.sagemath.org ->>> ->> -> - - \start Date: Thu, 4 Mar 2010 16:01:55 -0500 @@ -217,19 +198,11 @@ http://www.axiom-developer.org/axiom-website/download.html I think that git-clone should be git clone. -Thanks, - -Ted -http://mathpiper.org - - - \start Date: Thu, 04 Mar 2010 16:22:05 -0500 From: Tim Daly To: Ted Kosan Subject: Re: Typo on the download page. -Cc: list Fixed. Thanks. I was an early adoption case for git and they used to have @@ -241,28 +214,12 @@ Ted Kosan wrote: > http://www.axiom-developer.org/axiom-website/download.html > > I think that git-clone should be git clone. -> -> Thanks, -> -> Ted -> http://mathpiper.org -> -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> -> - - \start Date: Thu, 4 Mar 2010 20:20:29 -0500 From: Ted Kosan To: list -Subject: "Lisp initialization failed." error encountered - while building Axiom. +Subject: "Lisp initialization failed." error encountered while building Axiom. I have obtained the latest version of Axiom from the git repository and I am in the process of building it on Ubuntu 9.10. I am following @@ -273,11 +230,6 @@ included below. Any thoughts on what the problem is? -Thanks, - -Ted - - <...> gcc -o raw_pre_gcl /home/tkosan/checkouts/axiom/obj/ubuntu/lib/cfuns-c.o @@ -328,15 +280,11 @@ root@tkosan-laptop:/home/tkosan/checkouts/axiom# echo $AXIOM root@tkosan-laptop:/home/tkosan/checkouts/axiom# echo $PATH /home/tkosan/checkouts/axiom/mnt/ubuntu/bin:/home/tkosan/checkouts/PFC/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin - - \start Date: Thu, 04 Mar 2010 21:31:22 -0500 From: Tim Daly To: Ted Kosan -Subject: Re: "Lisp initialization failed." error encountered - while building Axiom. -Cc: list +Subject: Re: "Lisp initialization failed." error encountered while building Axiom. You probably have not turned off address randomization during build. (faq 36,37): Try (as root): @@ -410,23 +358,12 @@ Ted Kosan wrote: > > root@tkosan-laptop:/home/tkosan/checkouts/axiom# echo $PATH > /home/tkosan/checkouts/axiom/mnt/ubuntu/bin:/home/tkosan/checkouts/PFC/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin -> -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> -> - - \start Date: Thu, 4 Mar 2010 22:33:44 -0500 -Subject: Re: "Lisp initialization failed." error encountered - while building Axiom. From: Ted Kosan To: list +Subject: Re: "Lisp initialization failed." error encountered while building Axiom. Tim wrote: @@ -454,19 +391,11 @@ However, I was using just make instead of when I used these, the build proceeded past the point where the error was encountered with no problems. - -Thanks, - -Ted - - - \start Date: Sat, 6 Mar 2010 14:45:50 -0500 From: Ted Kosan To: list -Subject: The make process stops while processing a - .pamphlet file. +Subject: The make process stops while processing a .pamphlet file. I am building Axiom from axiom-jan2010-src.tgz on an x86 system running Ubuntu 9.10. The make process is stopping while processing a @@ -523,15 +452,11 @@ Transcript written on zlindep.input.log. make[1]: Leaving directory `/home/tkosan/checkouts/axiom' root@tkosan-laptop:/home/tkosan/checkouts/axiom# - - \start Date: Sat, 06 Mar 2010 20:23:36 -0500 From: Tim Daly To: Ted Kosan -Subject: Re: The make process stops while processing - a .pamphlet file. -Cc: list +Subject: Re: The make process stops while processing a .pamphlet file. Ted, @@ -595,23 +520,12 @@ Ted Kosan wrote: > Transcript written on zlindep.input.log. > make[1]: Leaving directory `/home/tkosan/checkouts/axiom' > root@tkosan-laptop:/home/tkosan/checkouts/axiom# -> -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> -> - - \start Date: Mon, 8 Mar 2010 01:48:08 -0500 From: Ted Kosan To: list -Subject: Testing if (72*a^3*b^5)^(1/2) is equivalent to - 6*a*b^2*(2*a*b)^(1/2) +Subject: Testing if (72*a^3*b^5)^(1/2) is equivalent to 6*a*b^2*(2*a*b)^(1/2) I have been experimenting with Axiom to see how it compares to other computer algebra systems. @@ -631,26 +545,15 @@ When I entered this expression into Wolfram Alpha, it returned 0 as a result. Is Axiom capable of determining if (72*a^3*b^5)^(1/2) is equivalent to 6*a*b^2*(2*a*b)^(1/2) ? -Thanks, - -Ted - - - \start Date: Mon, 08 Mar 2010 02:31:32 -0500 From: Tim Daly To: Ted Kosan -Subject: Re: Testing if (72*a^3*b^5)^(1/2) is equivalent - to 6*a*b^2*(2*a*b)^(1/2) -Cc: list +Subject: Re: Testing if (72*a^3*b^5)^(1/2) is equivalent to 6*a*b^2*(2*a*b)^(1/2) Probably not. See: http://www.apmaths.uwo.ca/~djeffrey/Offprints/AMAI.pdf -Tim - - Ted Kosan wrote: > I have been experimenting with Axiom to see how it compares to other > computer algebra systems. @@ -669,30 +572,12 @@ Ted Kosan wrote: > > Is Axiom capable of determining if (72*a^3*b^5)^(1/2) is equivalent to > 6*a*b^2*(2*a*b)^(1/2) ? -> -> Thanks, -> -> Ted -> -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> -> - - \start -From: William Sit -Subject: Re: Testing if (72*a^3*b^5)^(1/2) is - equivalent to 6*a*b^2*(2*a*b)^(1/2) -To: Ted Kosan,Axiom-Developer - Date: Mon, 08 Mar 2010 03:05:10 -0500 - seldom 2.4 (older, 4) -Cc: +From: William Sit +To: Ted Kosan +Subject: Re: Testing if (72*a^3*b^5)^(1/2) is equivalent to 6*a*b^2*(2*a*b)^(1/2) Every "number" has two square roots. The expression may be zero and may not be zero, depending on which of the four @@ -744,35 +629,12 @@ On Mon, 8 Mar 2010 01:48:08 -0500 >Is Axiom capable of determining if (72*a^3*b^5)^(1/2) is >equivalent to >6*a*b^2*(2*a*b)^(1/2) ? -> ->Thanks, -> ->Ted -> -> ->_______________________________________________ ->Axiom-developer mailing list ->list ->http://lists.nongnu.org/mailman/listinfo/axiom-developer - -William Sit, Professor Emeritus -Mathematics, City College of New York -Office: R6/202C Tel: 212-650-5179 -Home Page: http://scisun.sci.ccny.cuny.edu/~wyscc/ - - \start -To: Ted Kosan -Subject: Re: Testing if (72*a^3*b^5)^(1/2) is equivalent to - 6*a*b^2*(2*a*b)^(1/2) -From: Martin Rubey Date: Mon, 08 Mar 2010 10:18:25 +0100 - Kosan's message of "Mon\, 8 Mar 2010 01\:48\:08 -0500") - Antispam-Data: 2010.3.8.90317 -Cc: list - -Ted Kosan writes: +From: Martin Rubey +To: Ted Kosan +Subject: Re: Testing if (72*a^3*b^5)^(1/2) is equivalent to 6*a*b^2*(2*a*b)^(1/2) > I have been experimenting with Axiom to see how it compares to other > computer algebra systems. @@ -808,18 +670,10 @@ It should be. At least FriCAS is: Of course, you have to be careful interpreting this result, see William's answer! -Martin - - - \start Date: Mon, 08 Mar 2010 12:37:25 +0100 -From: Daniel de Angelis Cordeiro - rv:1.9.1.8) Gecko/20100227 Thunderbird/3.0.3 +From: Daniel Cordeiro To: list - (rominette.imag.fr [129.88.30.17]); - Mon, 08 Mar 2010 12:34:25 +0100 (CET) -MailScanner-NULL-Check: 1268652866.68324@EIQEGKNzyd3bsYcvR4G93A Subject: PASCO 2010: News and 2nd Call for Papers (Please accept our apologies if you receive this message multiple times) @@ -988,12 +842,9 @@ Links: \start -Message-id: <4B95330B.6000304@attglobal.net> Date: Mon, 08 Mar 2010 12:25:31 -0500 From: Eugene Surowitz -MIME-version: 1.0 -To: list, gcl-devel@gnu.org -Cc: +To: list Subject: GCL sidebar entry for AXIOM The sibebar entry for AXIOM at @@ -1012,19 +863,12 @@ which is as it should be. Who maintains the page www.gnu.org/software/gcl/gcl.html ? -Cheers, Eugene Surowitz - - - - \start -To: list -From: Gabriel Dos Reis - Engineering Date: Thu, 11 Mar 2010 09:08:14 -0600 +From: Gabriel Dos Reis +To: list Subject: PLMMS 2010: Last Call for Papers - [Apologies for possible multiple postings.] ------------------------------------------------------------------- @@ -1165,10 +1009,6 @@ Program Committee * Makarius Wenzel (ITU Munich, Germany) * Freek Wiedijk (Radboud University Nijmegen, Netherlands) - - - - \start Date: Thu, 11 Mar 2010 12:30:43 -0500 From: Ted Kosan @@ -1181,51 +1021,26 @@ http://axiom-developer.org/axiom-website/ The links have been dead since at least yesterday. -Thanks, - -Ted - - - \start Date: Thu, 11 Mar 2010 14:09:19 -0500 From: Tim Daly To: Ted Kosan Subject: Re: "Object not found" errors on the axiom website. -Cc: list visit http://axiom-developer.org not http://axiom-developer.org/axiom-website - - Ted Kosan wrote: > The links on the axiom website are producing "Object not found" errors: > > http://axiom-developer.org/axiom-website/ > > The links have been dead since at least yesterday. -> -> Thanks, -> -> Ted -> -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> -> - - \start Date: Thu, 11 Mar 2010 14:48:49 -0500 From: Eugene Surowitz -MIME-version: 1.0 -To: list, gcl-devel@gnu.org -Cc: +To: list Subject: CLiki GCL page http://www.cliki.net/GCL @@ -1234,19 +1049,12 @@ also has a problem with pointing to Axiom in the line: "GCL is closely associated with the Maxima, ACL, ACL2, and axiom projects." -Cheers, Eugene Surowitz - - - \start -From: joop renes -To: list Date: Mon, 15 Mar 2010 08:12:52 +0100 +From: Joop Renes +To: list Subject: failing make on ubuntu9.10 - ---=-DaVc8FmOg4IU8I5XJNRR - hi, attached is the response to make on my box, what am i doing wrong? TIA joop @@ -1276,15 +1084,10 @@ make: *** [all] Error 2 --=-DaVc8FmOg4IU8I5XJNRR-- - - - \start Date: Wed, 17 Mar 2010 12:30:34 -0400 From: Eugene Surowitz -MIME-version: 1.0 To: Eugene Surowitz -Cc: list, gcl-devel@gnu.org Subject: Re: [Gcl-devel] CLiki GCL page The CLiki reference to Axiom has been corrected on the GCL page. @@ -1296,25 +1099,12 @@ Eugene Surowitz wrote: > also has a problem with pointing to Axiom in the line: > > "GCL is closely associated with the Maxima, ACL, ACL2, and axiom projects." -> -> Cheers, Eugene Surowitz -> -> -> _______________________________________________ -> Gcl-devel mailing list -> Gcl-devel@gnu.org -> http://lists.gnu.org/mailman/listinfo/gcl-devel -> -> - - \start Date: Wed, 17 Mar 2010 21:52:33 -0500 From: Tim Daly -To: joop renes +To: Joop Renes Subject: Re: failing make on ubuntu9.10 -Cc: list I have no idea what might be failing. Did you set your PATH variable correctly? @@ -1335,22 +1125,12 @@ joop renes wrote: > hi, attached is the response to make on my box, what am i doing wrong? > TIA > joop -> -> ------------------------------------------------------------------------ -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer - - \start Date: Wed, 17 Mar 2010 21:53:38 -0500 From: Tim Daly To: Eugene Surowitz Subject: re: [Gcl-devel] CLiki GCL page -Cc: list, gcl-devel@gnu.org Thank you. -- Tim @@ -1365,25 +1145,6 @@ Eugene Surowitz wrote: >> >> "GCL is closely associated with the Maxima, ACL, ACL2, and axiom >> projects." ->> ->> Cheers, Eugene Surowitz ->> ->> ->> _______________________________________________ ->> Gcl-devel mailing list ->> Gcl-devel@gnu.org ->> http://lists.gnu.org/mailman/listinfo/gcl-devel ->> ->> -> -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> - - \start Date: Tue, 23 Mar 2010 01:50:10 -0400 @@ -1455,20 +1216,14 @@ Would you be interested in helping to locate and mentor a GSoC student to work on a CAS-neutral test suite which is based on the ideas you discussed in the above email? -Ted Kosan - - - \start Date: Tue, 23 Mar 2010 02:55:54 -0500 From: Tim Daly To: Ted Kosan Subject: Re: GSoC CAS-neutral test suite project -Cc: list Yes. - A trigonometry test suite would be interesting. I'm a member of the Numerical Mathematics Consortium (http://www.nmconsortium.org/index.aspx) @@ -1572,28 +1327,12 @@ Ted Kosan wrote: > Would you be interested in helping to locate and mentor a GSoC student > to work on a CAS-neutral test suite which is based on the ideas you > discussed in the above email? -> -> Ted Kosan -> -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> -> - - \start +Date: Tue, 23 Mar 2010 09:22:11 +0100 +From: Martin Rubey To: Tim Daly Subject: Re: GSoC CAS-neutral test suite project - <4BA8740A.60305@axiom-developer.org> -From: Martin Rubey -Date: Tue, 23 Mar 2010 09:22:11 +0100 - 23 Mar 2010 02\:55\:54 -0500") - Antispam-Data: 2010.3.23.80331 -Cc: list Tim Daly writes: @@ -1627,16 +1366,11 @@ http://fricas.svn.sourceforge.net/viewvc/fricas/trunk/src/input/elemnum.input.pa This was done using the fricas testing framework, but I'm sure it won't be difficult to translate to any other framework. - -Martin - - - \start Date: Thu, 25 Mar 2010 18:51:25 -0400 -Subject: Re: GSoC CAS-neutral test suite project From: Ted Kosan To: list +Subject: Re: GSoC CAS-neutral test suite project Tim wrote: @@ -1741,17 +1475,10 @@ participating in this project that I can contact. Anyway, these are my current thoughts on the project. Feel free to modify them as you see fit. -Ted - - - \start Date: Mon, 29 Mar 2010 14:20:23 +0200 -From: Daniel de Angelis Cordeiro +From: Daniel Cordeiro To: list - (rominette.imag.fr [129.88.30.17]); - Mon, 29 Mar 2010 14:16:20 +0200 (CEST) -MailScanner-NULL-Check: 1270469780.6341@MWhcud1M2djdCLkSe865og Subject: PASCO 2010: Extended submission deadline (Please accept our apologies if you receive this message multiple times) @@ -1916,8 +1643,6 @@ Links: Submission http://www.easychair.org/conferences/?conf=pasco2010 - - \start Date: Mon, 29 Mar 2010 18:53:23 -0500 From: Tim Daly @@ -2043,15 +1768,10 @@ src/interp zips utf-8-demo.txt added to demo utf-8 I/O - - - \start Date: Tue, 30 Mar 2010 15:07:09 -0500 From: Tim Daly -To: cr-support@mines.edu - o2UK9M8a001299 -Cc: +To: list Subject: Re: axiom source link Ouch. My mistake. Sorry. @@ -2064,7 +1784,7 @@ St=E8ve Tol=E9qu=E9 wrote: > > The March 2010 link incorrectly point to the March 2009 archive. > Thank you for your work. -> =20 +> diff --git a/book/2010-04.txt b/book/2010-04.txt index c12a307..5a7dad8 100644 --- a/book/2010-04.txt +++ b/book/2010-04.txt @@ -1,6 +1,6 @@ \start Date: Wed, 31 Mar 2010 00:39:02 +0200 -From: =?ISO-8859-15?Q?Bernd_P=E4tzel?= +From: Bernd Paetzel To: list Subject: start-problems with axiom-opensuse-jan2010-bin.tgz @@ -15,11 +15,8 @@ me? Thank you. \start Date: Thu, 01 Apr 2010 11:30:09 -0500 From: Tim Daly -To: =?ISO-8859-15?Q?Bernd_P=E4tzel?= +To: Bernd Paetzel Subject: Re: start-problems with - axiom-opensuse-jan2010-bin.tgz - o31GWF8a005192 -Cc: list See the page http://axiom-developer.org/axiom-website/download.html @@ -38,47 +35,25 @@ Bernd P=E4tzel wrote: > axiom/mnt/opensuse/bin-directory does not work, I just get the the=20 > message "directory pwd/mnt/opensuse does not exist". Can somebody help=20 > me? Thank you. -> -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> - - \start Date: Sun, 04 Apr 2010 11:21:29 -0400 From: Tim Daly -To: undisclosed-recipients:; +To: list Subject: Axiom March 2010 release binaries available The Axiom March 2010 binaries are now available at: http://axiom-developer.org/axiom-website/download.html -Tim - - - - \start -To: list -From: Camm Maguire Date: Tue, 06 Apr 2010 12:17:23 -0400 +From: Camm Maguire +To: list Subject: Re: GCL fails on fedora11/fedora12 Greetings! Just a heads up Tim -- I replied to your email yesterday at Tim Daly. -Take care, --- -Camm Maguire Camm Maguire -========================================================================== -"The earth is but one country, and mankind its citizens." -- Baha'u'llah - - - \start Date: Mon, 12 Apr 2010 11:34:07 -0400 From: Tim Daly @@ -199,23 +174,10 @@ If it all compiles down to lisp S-expressions its all mutable. Ultimately, its all "just lisp", right? -Tim - - - - - \start Date: Thu, 15 Apr 2010 18:38:24 -0400 From: Eugene Surowitz -MIME-version: 1.0 -To: Demitri Muna , Tim Daly, - list - <4BC61EE0.8030607@attglobal.net> - <761AE0DF-423B-400D-A3FE-6E3AA40A56F7@nyu.edu> - <4BC7079F.9060903@attglobal.net> - <9AE8587E-B15A-4F32-AF0F-061DA78119D1@nyu.edu> -Cc: +To: Demitri Muna Subject: Re: Request for help from Windows + Linux users. Depends on the kind of Mac you are talking about. @@ -283,52 +245,13 @@ Demitri Muna wrote: >>>>> - etc. >>>>> While I have some ideas of what is available (e.g. Eclispe), I don't really know how to use these tools on non-Mac platforms and would like someone who is familiar with them and uses them regularly. >>>>> Of course, a valid question is whether one should bother with Windows in scientific research, so if anyone actually does day to day data analysis in Windows I'd be curious to hear from you even if you don't have the time to help. ->>>>> Cheers, ->>>>> Demitri ->>>>> _________________________________________ ->>>>> Demitri Muna ->>>>> Center for Cosmology and Particle Physics ->>>>> New York University ->>>>> 4 Washington Place ->>>>> New York, NY 10003 ->>>>> (212) 992-7453 ->>> _________________________________________ ->>> Demitri Muna ->>> Center for Cosmology and Particle Physics ->>> New York University ->>> 4 Washington Place ->>> New York, NY 10003 ->>> (212) 992-7453 ->> -> -> _________________________________________ -> Demitri Muna -> -> Center for Cosmology and Particle Physics -> New York University -> 4 Washington Place -> New York, NY 10003 -> -> (212) 992-7453 -> -> -> - - - \start Date: Thu, 15 Apr 2010 18:59:52 -0400 From: Tim Daly To: Eugene Surowitz - <4BC61EE0.8030607@attglobal.net> - <761AE0DF-423B-400D-A3FE-6E3AA40A56F7@nyu.edu> - <4BC7079F.9060903@attglobal.net> - <9AE8587E-B15A-4F32-AF0F-061DA78119D1@nyu.edu> - <4BC79560.5060505@attglobal.net> -Cc: list, - Demitri Muna Subject: Re: Request for help from Windows + Linux users. +Cc: Demitri Muna See: http://www.virtualbox.org/wiki/Downloads which will allow you to run anything on anything else. @@ -420,45 +343,11 @@ Eugene Surowitz wrote: >>>>>> Windows in scientific research, so if anyone actually does day to >>>>>> day data analysis in Windows I'd be curious to hear from you even >>>>>> if you don't have the time to help. ->>>>>> Cheers, ->>>>>> Demitri ->>>>>> _________________________________________ ->>>>>> Demitri Muna ->>>>>> Center for Cosmology and Particle Physics ->>>>>> New York University ->>>>>> 4 Washington Place ->>>>>> New York, NY 10003 ->>>>>> (212) 992-7453 ->>>> _________________________________________ ->>>> Demitri Muna ->>>> Center for Cosmology and Particle Physics ->>>> New York University ->>>> 4 Washington Place ->>>> New York, NY 10003 ->>>> (212) 992-7453 ->>> ->> ->> _________________________________________ ->> Demitri Muna ->> ->> Center for Cosmology and Particle Physics ->> New York University ->> 4 Washington Place ->> New York, NY 10003 ->> ->> (212) 992-7453 ->> ->> ->> -> - - \start Date: Sat, 17 Apr 2010 01:19:41 -0400 From: Tim Daly -To: sage-devel@googlegroups.com -Cc: +To: list Subject: Re: [sage-devel] Sage and Amazon EC2? I haven't used Sage on EC2 but I have done Axiom builds there @@ -497,30 +386,13 @@ Dan Drake wrote: > > Has anyone experimented with using EC2 and Sage? It seems like an > interesting possibility. -> -> Dan -> -> -- -> --- Dan Drake -> ----- http://mathsci.kaist.ac.kr/~drake -> ------- -> - - \start +Date: Wed, 21 Apr 2010 21:21:14 -0400 +From: Camm Maguire To: Eugene Surowitz Subject: re: Request for help from Windows + Linux users. - <4BC61EE0.8030607@attglobal.net>d be - <761AE0DF-423B-400D-A3FE-6E3AA40A56F7@nyu.edu> - <4BC7079F.9060903@attglobal.net> - <9AE8587E-B15A-4F32-AF0F-061DA78119D1@nyu.edu> - <4BC79560.5060505@attglobal.net> -From: Camm Maguire -Date: Wed, 21 Apr 2010 21:21:14 -0400 - "Thu\, 15 Apr 2010 18\:38\:24 -0400") -Cc: list, - Demitri Muna +Cc: Demitri Muna Greetings! diff --git a/book/2010-05.txt b/book/2010-05.txt index dcfe1d1..ee2a26b 100644 --- a/book/2010-05.txt +++ b/book/2010-05.txt @@ -1,9 +1,7 @@ \start -To: Tim Daly -From: Camm Maguire Date: Mon, 03 May 2010 09:41:42 -0400 - "Sat\, 23 Jan 2010 12\:52\:57 -0500") -Cc: list +From: Camm Maguire +To: Tim Daly Subject: axiom 20091101 in Debian testing (!) Hi Tim! Just to let you know, we now have a new axiom in Debian @@ -18,24 +16,12 @@ but cannot really parse this. Can you give me any feeling for what constitutes a "significant" release in terms of what the end user will see? -Take care, --- -Camm Maguire Camm Maguire -========================================================================== -"The earth is but one country, and mankind its citizens." -- Baha'u'llah - - - \start Date: Thu, 06 May 2010 03:27:22 -0400 From: Tim Daly To: Camm Maguire - <87sk69m7ah.fsf@maguirefamily.org> -Cc: list Subject: Re: axiom 20091101 in Debian testing (!) -Camm, - Actually Axiom is released every 2 months and I don't expect Debian to keep up to date. The release notes are on the website: http://axiom-developer.org/axiom-website/releasenotes.html @@ -96,25 +82,11 @@ Camm Maguire wrote: > but cannot really parse this. Can you give me any feeling for what > constitutes a "significant" release in terms of what the end user will > see? -> -> Take care, -> - - \start Date: Mon, 10 May 2010 13:04:05 -0400 -From: "Timothy Philip Carson" +From: Timothy Carson To: list - Antispam-Data: 2010.4.9.4220 - BODY_SIZE_1000_LESS 0, BODY_SIZE_2000_LESS 0, BODY_SIZE_5000_LESS 0, - BODY_SIZE_600_699 0, BODY_SIZE_7000_LESS 0, FROM_EDU_TLD 0, - TO_NO_NAME 0, WEBMAIL_SOURCE 0, WEBMAIL_USER_AGENT 0, __CT 0, - __CTE 0, __CT_TEXT_PLAIN 0, __HAS_MSGID 0, __MIME_TEXT_ONLY 0, - __MIME_VERSION 0, __PHISH_SPEAR_HTTP_RECEIVED 0, - __PHISH_SPEAR_STRUCTURE_1 0, __PHISH_SPEAR_STRUCTURE_2 0, - __SANE_MSGID 0, __TO_MALFORMED_2 0, __USER_AGENT 0) - 4) Subject: draw function system error Hi, @@ -137,17 +109,11 @@ tpc@timcomp:/usr/lib/axiom$ export AXIOM=`pwd`/mnt/ubuntu tpc@timcomp:/usr/lib/axiom$ export PATH=$AXIOM/bin:$PATH tpc@timcomp:/usr/lib/axiom$ axiom --Tim - - - - \start Date: Tue, 11 May 2010 19:36:17 -0400 From: Tim Daly -To: tpc@cmu.edu +To: Timothy Carson Subject: Re: draw function system error -Cc: list I'm not sure but I believe that the draw command is trying to write a temporary file. After you set the AXIOM shell @@ -156,9 +122,6 @@ where you can write (e.g. your home directory). Let me know if that fails. -Tim - - Timothy Philip Carson wrote: > Hi, > @@ -179,27 +142,13 @@ Timothy Philip Carson wrote: > tpc@timcomp:/usr/lib/axiom$ export AXIOM=`pwd`/mnt/ubuntu > tpc@timcomp:/usr/lib/axiom$ export PATH=$AXIOM/bin:$PATH > tpc@timcomp:/usr/lib/axiom$ axiom -> -> -Tim -> -> -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> -> - \start -From: Klaus Causemann -To: list Date: Fri, 14 May 2010 21:51:41 +0200 +From: Klaus Causemann +To: list Subject: Axiom / Aldor -Hello everybody, - just having installed Axiom under Ubuntu 10.4 I tried to compile my first Axiom Source trueromnum.as ( more or less a copy of romnum.as ). The compilation @@ -222,24 +171,9 @@ there must be "a new system compiler" somewhere. I would like to know which compiler is up to date where I can find it. - -Regards -Klaus Causemann - - - - - - - - - - - \start Date: Mon, 17 May 2010 15:14:37 +0200 From: Ralf Hemmecke - rv:1.9.1.9) Gecko/20100317 Lightning/1.0b1 Thunderbird/3.0.4 To: list Subject: Re: Axiom / Aldor @@ -283,22 +217,14 @@ On 05/14/2010 09:51 PM, Klaus Causemann wrote: > > I would like to know which compiler is up to date > where I can find it. -> -> -> Regards -> Klaus Causemann - \start -To: Klaus Causemann -Subject: Re: Axiom / Aldor -From: Martin Rubey Date: Mon, 17 May 2010 15:41:00 +0200 - of "Fri\, 14 May 2010 21\:51\:41 +0200") - Antispam-Data: 2010.5.17.132715 -Cc: list +From: Martin Rubey +To: Klaus Causemann +Subject: Re: Axiom / Aldor -Klaus Causemann writes: +Klaus Causemann writes: > Hello everybody, > @@ -329,18 +255,11 @@ compiler... Spad is more or less a subset of aldor. -Martin - - \start +Date: Thu, 20 May 2010 12:50:33 -0400 +From: Camm Maguire To: Tim Daly Subject: re: axiom 20091101 in Debian testing (!) - <87sk69m7ah.fsf@maguirefamily.org> - <4BE26F5A.7010801@axiom-developer.org> -From: Camm Maguire -Date: Thu, 20 May 2010 12:50:33 -0400 - "Thu\, 06 May 2010 03\:27\:22 -0400") -Cc: list Greetings! 20100301 about to go in Debian. @@ -377,21 +296,11 @@ I suppose this one should be left open, though I am unable to generate "memory corruption" gcl messages anymore. There was a race I closed some time ago that seems to be working here. -Take care, --- -Camm Maguire Camm Maguire -========================================================================== -"The earth is but one country, and mankind its citizens." -- Baha'u'llah - - \start Date: Thu, 20 May 2010 23:38:55 -0400 From: Tim Daly To: Camm Maguire Subject: re: axiom 20091101 in Debian testing (!) - <87eih6zfdy.fsf@maguirefamily.org> -Cc: list - Camm Maguire wrote: > Greetings! 20100301 about to go in Debian. @@ -501,24 +410,12 @@ I cannot reproduce this bug. I consider it closed. > I suppose this one should be left open, though I am unable to generate > "memory corruption" gcl messages anymore. There was a race I closed > some time ago that seems to be working here. -> -> Take care, -> - \start Date: Thu, 27 May 2010 09:47:58 -0400 From: Tim Daly To: clojure@googlegroups.com - <20100523210412.23e1cb06@bhuda.mired.org> - <4BFA476D.5060901@axiom-developer.org> - - <20100525100439.3469ab08@bhuda.mired.org> - - <4c0616a1-9b14-403e-abeb-c1a02b8b4a48@32g2000prq.googlegroups.com> -Cc: -Subject: Re: do clojure and la(tex) have something in - common ? +Subject: Re: do clojure and la(tex) have something in common ? The hope is that since Clojure is all about breaking away from the past, we would consider breaking away @@ -613,11 +510,6 @@ ka wrote: > Very recently I started to get interested in code formalism (i.e. > mathematically proving programs), although literate programming is not > geared in this direction, it might play its part. -> -> - Thanks -> -> - \start Date: Fri, 28 May 2010 09:37:44 -0400 @@ -798,29 +690,17 @@ src/axiom-website/download.html add march 2010 ubuntu update available binary list - - - \start Date: Thu, 27 May 2010 16:39:49 -0500 -From: Raymond Rogers +From: Raymond Rogers To: list -Subject: Re: do clojure and la(tex) have something in common - ? - boundary="------------020208010002030405030302" - -This is a multi-part message in MIME format. ---------------020208010002030405030302 +Subject: Re: do clojure and la(tex) have something in common? This sounds very similar to the items mentioned in: FIPS PUB 105 www.itl.nist.gov/*fips*pubs/*fips*105.pdf Section 2.7.1 The documentation requirements depend upon the size and type of the audience; and the expected lifetime of the software. -Ray - - - The hope is that since Clojure is all about breaking away from the past, we would consider breaking away diff --git a/book/2010-06.txt b/book/2010-06.txt index 1852b19..68be53b 100644 --- a/book/2010-06.txt +++ b/book/2010-06.txt @@ -1,31 +1,17 @@ \start +Date: Tue, 01 Jun 2010 12:01:27 -0400 +From: Camm Maguire To: Tim Daly Subject: Re: Axiom May 2010 release -From: Camm Maguire -Date: Tue, 01 Jun 2010 12:01:27 -0400 - "Fri\, 28 May 2010 09\:37\:44 -0400") -Cc: list, gcl-devel@gnu.org Greetings! Tim, do you have a publicly accessible intel mac osx machine I can use for gcl porting? -Thanks! --- -Camm Maguire Camm Maguire -========================================================================== -"The earth is but one country, and mankind its citizens." -- Baha'u'llah - - \start Date: Fri, 04 Jun 2010 11:14:38 +0200 From: Ralf Hemmecke - rv:1.9.1.9) Gecko/20100317 Lightning/1.0b1 Thunderbird/3.0.4 -To: -Cc: axiom-dev -Subject: Re: [fricas-devel] how do I draw 3D image to a - standard 3D file format - -Hi Martin, +To: list +Subject: Re: [fricas-devel] how do I draw 3D image to a standard 3D file format In response to http://groups.google.com/group/fricas-devel/browse_thread/thread/4b341750a4e9301d?hl=en @@ -47,16 +33,10 @@ formats. Maybe Tim knows a bit more about the history. Your conversion would certainly be of interest for all the panAxiom systems. -Ralf - - \start Date: 7 Jun 2010 15:18:18 +0200 -From: Daniel de Angelis Cordeiro -To: - (shiva.imag.fr [129.88.30.5]); - Mon, 07 Jun 2010 15:18:24 +0200 (CEST) -Cc: +From: Daniel Cordeiro +To: list Subject: PASCO 2010: Call for Participation ------------------------------------------------------------------------ @@ -127,16 +107,9 @@ Moreover, a programming contest will take place during the conference. \start -From: Martin Baker -To: , - "axiom-dev" Date: Mon, 14 Jun 2010 15:37:45 +0100 - <4C08C3FE.1040004@hemmecke.de> - charset="iso-8859-1" - WiKgnY1zULvti3mR5EUol8wgtCfWpuN2GKgSJ+YzC5KUpY9/BR - GkAKeXuSchE82T5szr1Vg== - recognized. -Cc: +From: Martin Baker +To: list Subject: exporting plots and other geometry information I don't know if anyone is interested but I have written code to write the @@ -180,16 +153,11 @@ implement Open Inventor (IVNodeCategory, RenderTools, IVSimpleInnerNode, IVSeparator, IVGroup, IVCoordinate3, IVQuadMesh, IVIndexedLineSet, IVUtilities). Would it be feasible to adapt this to support X3D? -Martin Baker - - \start Date: Mon, 14 Jun 2010 13:10:56 -0400 From: Tim Daly To: Martin Baker Subject: Re: exporting plots and other geometry information - <201006141537.45904.Martin Baker> -Cc: , axiom-dev Excellent. I'll try to incorporate it and test it. If all goes well it'll make the next release. @@ -237,28 +205,12 @@ Martin Baker wrote: > implement Open Inventor (IVNodeCategory, RenderTools, IVSimpleInnerNode, > IVSeparator, IVGroup, IVCoordinate3, IVQuadMesh, IVIndexedLineSet, > IVUtilities). Would it be feasible to adapt this to support X3D? -> -> Martin Baker -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> -> - \start +Date: Tue, 15 Jun 2010 08:02:44 +0100 From: Martin Baker -To: "axiom-dev" +To: list Subject: Re: exporting plots and other geometry information -Date: Tue, 15 Jun 2010 08:02:44 +0100 - <201006141537.45904.Martin Baker> - <4C1662A0.7050707@axiom-developer.org> - charset="iso-8859-1" - RSezY6AnhlxEQ5rZzo93pyvoRT/uwb0bQSro8QHqcCmyYwGrhW - 4fVMDH+fZvNmlI+wFNmpg== - recognized. On Monday 14 Jun 2010 18:10:56 Tim Daly wrote: > Excellent. I'll try to incorporate it and test it. @@ -279,21 +231,10 @@ http://www.euclideanspace.com/maths/standards/program/mycode/output/ I mentioned it some time ago, did you have any thoughts about its usefulness or otherwise? -Thanks, - -Martin Baker - - - \start -From: Martin Baker -To: "axiom-dev" Date: Wed, 16 Jun 2010 15:46:15 +0100 - <4C08C3FE.1040004@hemmecke.de> - charset="iso-8859-1" - V0rfKd8NO21Hxgnbv9L/F0UVDAJiWVq3xHzQAma0S4v4zvn3dJ - 0pJaJ5TYDvpRuZYpeTpHQ== - recognized. +From: Martin Baker +To: list Subject: new release and SuSE Linux Tim, @@ -323,17 +264,11 @@ Mandriva, etc. Unfortunately I don't have any skills or knowledge in doing this otherwise I would offer to help. -Martin Baker - - - \start Date: Wed, 16 Jun 2010 15:08:42 -0400 From: Tim Daly To: Martin Baker Subject: Re: new release and SuSE Linux - <201006161546.15674.Martin Baker> -Cc: axiom-dev I looked at the build farm wiki but it is confusing. I don't have the "skills and knowledge" to do this either :-) @@ -408,32 +343,12 @@ Martin Baker wrote: > > Unfortunately I don't have any skills or knowledge in doing this otherwise I > would offer to help. -> -> Martin Baker -> -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> -> - \start +Date: Thu, 17 Jun 2010 07:56:29 +0100 From: Martin Baker To: Tim Daly Subject: Re: new release and SuSE Linux -Date: Thu, 17 Jun 2010 07:56:29 +0100 - <201006161546.15674.Martin Baker> - <4C19213A.4040201@axiom-developer.org> - charset="iso-8859-1" - jgqIW0VsZ5bX8gzSFXj+qisQA5HL+g1EQITKLIT7kAeWyl2AWl - ZKQjPwLOz/5YTS73Zl+0Q== - recognized. -Cc: axiom-dev - -Tim, OK, looks like you have things well in hand and you are obviously very busy with all this so it probably best if I don't take up any more of your time @@ -536,26 +451,12 @@ On Wednesday 16 Jun 2010 20:08:42 Tim Daly wrote: > > > > Unfortunately I don't have any skills or knowledge in doing this > > otherwise I would offer to help. -> > -> > Martin Baker -> > -> > -> > _______________________________________________ -> > Axiom-developer mailing list -> > list -> > http://lists.nongnu.org/mailman/listinfo/axiom-developer -> - \start Date: Thu, 17 Jun 2010 04:08:05 -0400 From: Tim Daly To: Martin Baker Subject: Re: new release and SuSE Linux - <201006161546.15674.Martin Baker> - <4C19213A.4040201@axiom-developer.org> - <201006170756.29699.Martin Baker> -Cc: axiom-dev Great. The testing feedback is always welcome. @@ -680,40 +581,13 @@ Martin Baker wrote: >>> >>> Unfortunately I don't have any skills or knowledge in doing this >>> otherwise I would offer to help. ->>> ->>> Martin Baker ->>> ->>> ->>> _______________________________________________ ->>> Axiom-developer mailing list ->>> list ->>> http://lists.nongnu.org/mailman/listinfo/axiom-developer ->>> -> -> - \start Date: Tue, 22 Jun 2010 21:22:00 -0400 From: Tim Daly -To: Dave Parnas - <8E269E6C-F8AB-4B2D-9E47-B32C23D6F32B@mcmaster.ca> - <4C051CEB.1090901@axiom-developer.org> - <618CFCF6-4EF4-4422-9A1D-C3E9D9F9FCF5@mcmaster.ca> - <4C054F5D.3030300@axiom-developer.org> - <9F67A4E1-B727-4FEC-A095-585153AA3C83@mcmaster.ca> - <4C0557AC.1090609@axiom-developer.org> - <5B4C8ADE-A8FD-4115-BE46-5BAF9909D247@mcmaster.ca> - <4C0A5689.6040207@axiom-developer.org> - - <4C0E5BEF.3040509@axiom-developer.org> - - <4C0E8627.9030104@axiom-developer.org> - <906D73B0-7036-4E92-BAF8-0C08FF33105D@mcmaster.ca> - <4C1ADB7C.1060706@axiom-developer.org> - -Cc: "Albert D. Rich" +To: Dave Parnas Subject: Re: Common ground +Cc: Albert Rich Rich, Dave, @@ -776,24 +650,15 @@ There are 5 sections per integrand, I'll start the analysis of the other files shortly. -Tim - - - \start Date: Wed, 23 Jun 2010 14:25:57 -0400 From: Tim Daly To: Ralf Hemmecke -Cc: Subject: Re: Documentation bug -Ralf, - fixed in bookvol0 and the xhtml version. writing mathml by hand is tedious. -Tim - Ralf Hemmecke wrote: > Hi Tim, Bill, Waldek. > @@ -812,9 +677,6 @@ Ralf Hemmecke wrote: > > PS: Tim, I actually wanted to send a patch, but since I have switched on > highlighting in my emacs, bookvol0.pamphlet hung my emacs. -> -> - \start Date: Tue, 29 Jun 2010 12:06:15 +0200 (CEST) @@ -822,15 +684,9 @@ From: Fabio Stumbo To: list Subject: Compilation problem - This message is in MIME format. The first part should be readable text, - while the remaining parts are likely unreadable without MIME-aware tools. - ---8323329-925878367-1277805977=:1912 - - Sorry to annoy, but I can't succeed in compiling axiom. -I am trying to do it on an ubuntu64 10.04 system. I followed all=20 +I am trying to do it on an ubuntu64 10.04 system. I followed all instructions on the download page, namely: echo 0 >/proc/sys/kernel/randomize_va_space @@ -838,11 +694,11 @@ apt-get install m4 libxpm-dev libxt-dev x-dev libx11-dev apt-get install libxext-dev gettext git-core texlive gawk git-core git clone git://axiom.git.sourceforge.net/gitroot/axiom/axiom cd axiom -export AXIOM=3D`pwd`/mnt/ubuntu -export PATH=3D$AXIOM/bin:$PATH +export AXIOM=`pwd`/mnt/ubuntu +export PATH=$AXIOM/bin:$PATH make -It starts compiling and, after about 10 minutes, it stops with the=20 +It starts compiling and, after about 10 minutes, it stops with the following error: =2E... @@ -850,15 +706,15 @@ compiling UPOLYC-.lsp to UPOLYC-.o compiling URAGG.lsp to URAGG.o compiling URAGG-.lsp to URAGG-.o compiling VECTOR.lsp to VECTOR.o -=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 algebra bootstrap complete =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 +========================== +============ +=== algebra bootstrap complete ====== +========================== +============ compiling AHYP.spad to AHYP.nrlib copying AHYP.nrlib to AHYP.o -cp: impossibile fare stat di=20 -`/home/stumbo/aaa/axiom/int/algebra/AHYP.nrlib/code.o': Nessun file o=20 +cp: impossibile fare stat di +`/home/stumbo/aaa/axiom/int/algebra/AHYP.nrlib/code.o': Nessun file o directory make[3]: *** [/home/stumbo/aaa/axiom/mnt/ubuntu/algebra/AHYP.o] Errore 1 make[3]: uscita dalla directory =AB/home/stumbo/aaa/axiom/src/algebra=BB @@ -870,7 +726,7 @@ make: *** [all] Errore 2 What am I missing? -I saw on the archive of the list that this could be related to GCL: I am=20 +I saw on the archive of the list that this could be related to GCL: I am using the pre-configure version, that is GCL (GNU Common Lisp) 2.6.7 CLtL1 Feb 15 2010 17:57:54 @@ -882,41 +738,29 @@ I would like that axiom uses most of it. Say, 7 Gb. What should I change in the source to acheive this? Moreover, is there a variable to set to force a binary version of axiom to= -=20 -use all that RAM? - -Thanks - -Fabio ---8323329-925878367-1277805977=:1912-- +use all that RAM? \start Date: Tue, 29 Jun 2010 11:43:09 -0400 From: Tim Daly To: list Subject: Re: Compilation problem - o5TFfX8a007337 - -Fabio, I have seen this before. The problem occurs earlier in the build. I don't have a 64 bit system available at the moment so I cannot test it here. Type: - make NOISE=3D + make NOISE= and send me the output. -Tim - - Fabio S. wrote: > > Sorry to annoy, but I can't succeed in compiling axiom. > -> I am trying to do it on an ubuntu64 10.04 system. I followed all=20 +> I am trying to do it on an ubuntu64 10.04 system. I followed all > instructions on the download page, namely: > > echo 0 >/proc/sys/kernel/randomize_va_space @@ -924,11 +768,11 @@ Fabio S. wrote: > apt-get install libxext-dev gettext git-core texlive gawk git-core > git clone git://axiom.git.sourceforge.net/gitroot/axiom/axiom > cd axiom -> export AXIOM=3D`pwd`/mnt/ubuntu -> export PATH=3D$AXIOM/bin:$PATH +> export AXIOM=`pwd`/mnt/ubuntu +> export PATH=$AXIOM/bin:$PATH > make > -> It starts compiling and, after about 10 minutes, it stops with the=20 +> It starts compiling and, after about 10 minutes, it stops with the > following error: > > .... @@ -936,15 +780,15 @@ Fabio S. wrote: > compiling URAGG.lsp to URAGG.o > compiling URAGG-.lsp to URAGG-.o > compiling VECTOR.lsp to VECTOR.o -> =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 algebra bootstrap complete =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 +> ========================= +============= +> === algebra bootstrap complete ====== +> ========================= +============= > compiling AHYP.spad to AHYP.nrlib > copying AHYP.nrlib to AHYP.o -> cp: impossibile fare stat di=20 -> `/home/stumbo/aaa/axiom/int/algebra/AHYP.nrlib/code.o': Nessun file o=20 +> cp: impossibile fare stat di +> `/home/stumbo/aaa/axiom/int/algebra/AHYP.nrlib/code.o': Nessun file o > directory > make[3]: *** [/home/stumbo/aaa/axiom/mnt/ubuntu/algebra/AHYP.o] Errore = 1 @@ -957,7 +801,7 @@ Fabio S. wrote: > > What am I missing? > -> I saw on the archive of the list that this could be related to GCL: I=20 +> I saw on the archive of the list that this could be related to GCL: I > am using the pre-configure version, that is > > GCL (GNU Common Lisp) 2.6.7 CLtL1 Feb 15 2010 17:57:54 @@ -968,40 +812,20 @@ Fabio S. wrote: > I would like that axiom uses most of it. Say, 7 Gb. > What should I change in the source to acheive this? > -> Moreover, is there a variable to set to force a binary version of=20 +> Moreover, is there a variable to set to force a binary version of > axiom to use all that RAM? -> -> Thanks -> -> Fabio -> -----------------------------------------------------------------------= -- -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> =20 - \start Date: Wed, 30 Jun 2010 10:50:56 +0200 (CEST) From: Fabio Stumbo To: list Subject: Re: Compilation problem - <4C2A148D.2040604@axiom-developer.org> - - This message is in MIME format. The first part should be readable text, - while the remaining parts are likely unreadable without MIME-aware tools. - ---8323329-2003704368-1277887860=:1906 - Tim, the output of -make NOISE=3D +make NOISE= is quite long, of course. The last part in the screen is: @@ -1031,7 +855,7 @@ make[1]: uscita dalla directory =AB/home/stumbo/download/axiom/books=BB What about the RAM? Is it a trivial question? -If I am not wrong, axiom uses only up to 1Gb of RAM: on modern systems=20 +If I am not wrong, axiom uses only up to 1Gb of RAM: on modern systems this can be a limit. Fabio @@ -1044,34 +868,26 @@ Fabio > I don't have a 64 bit system available at the moment > so I cannot test it here. Type: > -> make NOISE=3D +> make NOISE= > > and send me the output. > > Tim > ->>=20 +>> >> Another question: I have 8 Gb of RAM. >> I would like that axiom uses most of it. Say, 7 Gb. >> What should I change in the source to acheive this? ->>=20 +>> >> Moreover, is there a variable to set to force a binary version of axiom = -to=20 +to >> use all that RAM? ->>=20 ->> Thanks ->>=20 ->> Fabio ---8323329-2003704368-1277887860=:1906-- - \start Date: Wed, 30 Jun 2010 11:28:37 +0200 From: Ralf Hemmecke - rv:1.9.2.4) Gecko/20100608 Thunderbird/3.1 To: list Subject: Re: Compilation problem - > make NOISE= @@ -1096,17 +912,11 @@ compiling AHYP.spad to AHYP.nrlib Maybe Tim has changed the case, but usually it was .NRLIB with capital letters. -Ralf - - \start Date: Wed, 30 Jun 2010 12:43:49 +0200 (CEST) From: Fabio Stumbo To: list Subject: Re: Compilation problem - <4C2A148D.2040604@axiom-developer.org> - - <4C2B0E45.9040501@hemmecke.de> >> make NOISE= > @@ -1134,18 +944,11 @@ http://dl.dropbox.com/u/7972796/make-noise.log is the result of "make NOISE=" - - -Fabio - - \start Date: Wed, 30 Jun 2010 08:22:46 -0400 From: Tim Daly To: Ralf Hemmecke Subject: Re: Compilation problem - <4C2B0E45.9040501@hemmecke.de> -Cc: list All file names in Axiom are lowercase everywhere except the algebra files which are guaranteed to @@ -1175,23 +978,12 @@ Ralf Hemmecke wrote: > > Maybe Tim has changed the case, but usually it was .NRLIB with capital > letters. -> -> Ralf -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> - \start Date: Wed, 30 Jun 2010 08:23:46 -0400 From: Tim Daly To: list Subject: Re: Compilation problem - - o5UCPb8a002449 No, the problem isn't ram. I have seen this problem before but it is my memory that is failing. I'll look @@ -1203,7 +995,7 @@ Fabio S. wrote: > > the output of > -> make NOISE=3D +> make NOISE= > > is quite long, of course. The last part in the screen is: > @@ -1233,7 +1025,7 @@ Fabio S. wrote: > > > What about the RAM? Is it a trivial question? -> If I am not wrong, axiom uses only up to 1Gb of RAM: on modern systems=20 +> If I am not wrong, axiom uses only up to 1Gb of RAM: on modern systems > this can be a limit. > > Fabio @@ -1246,7 +1038,7 @@ Fabio S. wrote: >> I don't have a 64 bit system available at the moment >> so I cannot test it here. Type: >> ->> make NOISE=3D +>> make NOISE= >> >> and send me the output. >> @@ -1257,30 +1049,14 @@ Fabio S. wrote: >>> I would like that axiom uses most of it. Say, 7 Gb. >>> What should I change in the source to acheive this? >>> ->>> Moreover, is there a variable to set to force a binary version of=20 +>>> Moreover, is there a variable to set to force a binary version of >>> axiom to use all that RAM? ->>> ->>> Thanks ->>> ->>> Fabio -> -----------------------------------------------------------------------= -- -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> =20 - \start Date: Wed, 30 Jun 2010 08:59:07 -0400 From: Tim Daly To: list Subject: Re: Compilation problem - - -Fabio, type echo $AXIOM @@ -1325,24 +1101,12 @@ Fabio S. wrote: > http://dl.dropbox.com/u/7972796/make-noise.log > > is the result of "make NOISE=" -> -> -> -> Fabio -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> - \start Date: Wed, 30 Jun 2010 09:42:09 -0400 From: Tim Daly To: list Subject: Re: Compilation problem - Where did you get your sources? I'll get the same sources, build a new machine and check them. @@ -1373,46 +1137,25 @@ Fabio S. wrote: > http://dl.dropbox.com/u/7972796/make-noise.log > > is the result of "make NOISE=" -> -> -> -> Fabio -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> - \start Date: Wed, 30 Jun 2010 15:51:00 +0200 (CEST) From: Fabio Stumbo To: list -Cc: list Subject: Re: Compilation problem - <4C2A148D.2040604@axiom-developer.org> - - <4C2B3752.3060103@axiom-developer.org> - This message is in MIME format. The first part should be readable text, - while the remaining parts are likely unreadable without MIME-aware tools. - ---8323329-263033050-1277905502=:2643 - - -Well, maybe I have not been correct, since I asked in the same message=20 +Well, maybe I have not been correct, since I asked in the same message about two _different_ problems. -I am not suggesting that the ram could be the reason for the=20 +I am not suggesting that the ram could be the reason for the compilation problem. Using all the ram is another problem: should I post it in a new, different= -=20 + thread? Concerning compilation, I will check for the environment variable as soon= -=20 + as I am back in the office (later or tomorrow morning). Fabio @@ -1422,28 +1165,28 @@ Fabio > at it shortly. > > Fabio S. wrote: ->>=20 +>> >> Tim, ->>=20 +>> >> the output of ->>=20 ->> make NOISE=3D ->>=20 +>> +>> make NOISE= +>> >> is quite long, of course. The last part in the screen is: ->>=20 +>> >> ------------------------------------------------------------------- ->>=20 ->>=20 +>> +>> >> Overfull \hbox (4.50002pt too wide) detected at line 8232 >> \OT1/cmr/m/n/10 1183 ->>=20 +>> >> Overfull \hbox (4.50002pt too wide) detected at line 8233 >> \OT1/cmr/m/n/10 1184 ->>=20 +>> >> Overfull \hbox (4.50002pt too wide) detected at line 8234 >> \OT1/cmr/m/n/10 1191 >> [193] [194]) [195] (./toc.aux) ->>=20 +>> >> LaTeX Warning: There were undefined references. >> >> ) @@ -1451,82 +1194,61 @@ Fabio >> Output written on toc.dvi (195 pages, 2065068 bytes). >> Transcript written on toc.log. >> make[1]: uscita dalla directory =AB/home/stumbo/download/axiom/books=BB ->>=20 +>> >> ------------------------------------------------------------------- ->>=20 ->>=20 ->>=20 +>> +>> +>> >> What about the RAM? Is it a trivial question? >> If I am not wrong, axiom uses only up to 1Gb of RAM: on modern systems t= -his=20 +his >> can be a limit. ->>=20 +>> >> Fabio ->>=20 ->>=20 +>> +>> >>> Fabio, ->>>=20 +>>> >>> I have seen this before. >>> The problem occurs earlier in the build. >>> I don't have a 64 bit system available at the moment >>> so I cannot test it here. Type: >>> ->>> make NOISE=3D ->>>=20 +>>> make NOISE= +>>> >>> and send me the output. ->>>=20 +>>> >>> Tim ->>>=20 ->>>>=20 +>>> +>>>> >>>> Another question: I have 8 Gb of RAM. >>>> I would like that axiom uses most of it. Say, 7 Gb. >>>> What should I change in the source to acheive this? ->>>>=20 +>>>> >>>> Moreover, is there a variable to set to force a binary version of axio= -m=20 +m >>>> to use all that RAM? ->>>>=20 ->>>> Thanks ->>>>=20 ->>>> Fabio ->> ------------------------------------------------------------------------ ->>=20 ->> _______________________________________________ ->> Axiom-developer mailing list ->> list ->> http://lists.nongnu.org/mailman/listinfo/axiom-developer ->>=20 -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> ---8323329-263033050-1277905502=:2643-- - \start Date: Wed, 30 Jun 2010 10:11:53 -0400 From: Tim Daly To: list Subject: Re: Compilation problem - - o5UEDi8a032603 In a virtual memory environment 1G of ram should not be an issue. Fabio S. wrote: > -> Well, maybe I have not been correct, since I asked in the same message=20 +> Well, maybe I have not been correct, since I asked in the same message > about two _different_ problems. > -> I am not suggesting that the ram could be the reason for the=20 +> I am not suggesting that the ram could be the reason for the > compilation problem. > -> Using all the ram is another problem: should I post it in a new,=20 +> Using all the ram is another problem: should I post it in a new, > different thread? > -> Concerning compilation, I will check for the environment variable as=20 +> Concerning compilation, I will check for the environment variable as > soon as I am back in the office (later or tomorrow morning). > > Fabio @@ -1541,7 +1263,7 @@ Fabio S. wrote: >>> >>> the output of >>> ->>> make NOISE=3D +>>> make NOISE= >>> >>> is quite long, of course. The last part in the screen is: >>> @@ -1571,7 +1293,7 @@ Fabio S. wrote: >>> >>> >>> What about the RAM? Is it a trivial question? ->>> If I am not wrong, axiom uses only up to 1Gb of RAM: on modern=20 +>>> If I am not wrong, axiom uses only up to 1Gb of RAM: on modern >>> systems this can be a limit. >>> >>> Fabio @@ -1584,7 +1306,7 @@ Fabio S. wrote: >>>> I don't have a 64 bit system available at the moment >>>> so I cannot test it here. Type: >>>> ->>>> make NOISE=3D +>>>> make NOISE= >>>> >>>> and send me the output. >>>> @@ -1595,42 +1317,14 @@ Fabio S. wrote: >>>>> I would like that axiom uses most of it. Say, 7 Gb. >>>>> What should I change in the source to acheive this? >>>>> ->>>>> Moreover, is there a variable to set to force a binary version of=20 +>>>>> Moreover, is there a variable to set to force a binary version of >>>>> axiom to use all that RAM? ->>>>> ->>>>> Thanks ->>>>> ->>>>> Fabio ->>> ---------------------------------------------------------------------= ----=20 ->>> ->>> ->>> _______________________________________________ ->>> Axiom-developer mailing list ->>> list ->>> http://lists.nongnu.org/mailman/listinfo/axiom-developer ->>> ->> ->> _______________________________________________ ->> Axiom-developer mailing list ->> list ->> http://lists.nongnu.org/mailman/listinfo/axiom-developer ->> -> -----------------------------------------------------------------------= -- -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> =20 - \start -Subject: Re: Memory limit. -To: list Date: Wed, 30 Jun 2010 16:52:51 +0200 (CEST) From: Waldek Hebisch +To: list +Subject: Re: Memory limit. Fabio S wrote: > @@ -1650,21 +1344,11 @@ I think it is possible to enlarge the limit. This question came out few years ago and Camm Maguire (main GCL developer) gave the answer. Either search the list archives or try to contact Camm. --- - Waldek Hebisch -Waldek Hebisch - - \start Date: Wed, 30 Jun 2010 17:22:18 +0200 (CEST) From: Fabio Stumbo To: list Subject: Re: Compilation problem - <4C2A148D.2040604@axiom-developer.org> - - <4C2B0E45.9040501@hemmecke.de> - - <4C2B3F9B.30700@axiom-developer.org> > Fabio, > @@ -1706,15 +1390,11 @@ http://www.axiom-developer.org/axiom-website/download.html (but I checked that the resulting directory are exactly the same). -Fabio - - \start Date: Wed, 30 Jun 2010 11:25:02 -0400 From: Tim Daly To: list Subject: Re: Compilation problem - ok. I'll try a build from those sources again. Perhaps I made a mistake somewhere. @@ -1760,28 +1440,12 @@ Fabio S. wrote: > http://www.axiom-developer.org/axiom-website/download.html > > (but I checked that the resulting directory are exactly the same). -> -> Fabio -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> - \start Date: Wed, 30 Jun 2010 17:34:21 +0200 (CEST) From: Fabio Stumbo To: list Subject: Re: Compilation problem - <4C2A148D.2040604@axiom-developer.org> - - <4C2B0E45.9040501@hemmecke.de> - - <4C2B3F9B.30700@axiom-developer.org> - - <4C2B61CE.3030008@axiom-developer.org> > ok. I'll try a build from those sources again. > Perhaps I made a mistake somewhere. @@ -1791,15 +1455,11 @@ Yes. Thanks a lot. -Fabio - - \start Date: Wed, 30 Jun 2010 14:46:47 -0400 From: Tim Daly To: list Subject: Re: Compilation problem - I built ubuntu on a 64 bit machine and then did git clone http://github.com/daly/axiom.git diff --git a/book/2010-07.txt b/book/2010-07.txt index 78f458e..a810a0f 100644 --- a/book/2010-07.txt +++ b/book/2010-07.txt @@ -4,7 +4,6 @@ From: Fabio Stumbo To: list Subject: Re: Memory limit. - First of all, thanks for having isolated the question in a new thread. Moreover, let me also say that my question arises from the fact that @@ -57,28 +56,11 @@ pages, which is always 262144, that is 1 Gb, if I am not wrong). So, are you telling that I should install GCL 2.6.8 and after I would be able to increase it? How? -Fabio - - \start Date: Thu, 1 Jul 2010 10:37:23 +0200 (CEST) From: Fabio Stumbo To: list Subject: Re: Compilation problem - <4C2A148D.2040604@axiom-developer.org> - - <4C2B0E45.9040501@hemmecke.de> - - <4C2B3F9B.30700@axiom-developer.org> - - <4C2B61CE.3030008@axiom-developer.org> - - <4C2B9117.1000409@axiom-developer.org> - - This message is in MIME format. The first part should be readable text, - while the remaining parts are likely unreadable without MIME-aware tools. - ---8323329-895146394-1277973444=:1904 > I built ubuntu on a 64 bit machine and then did > git clone http://github.com/daly/axiom.git @@ -129,14 +111,11 @@ git-core =E8 gi=E0 alla versione pi=F9 recente. (it is in italian, but I imagine it can be guessed) --8323329-895146394-1277973444=:1904-- - \start Date: Thu, 01 Jul 2010 08:10:26 -0400 From: Tim Daly To: list Subject: Re: Compilation problem - - o61CCJ8a011354 Can you rerun the make as root? @@ -164,57 +143,15 @@ g > > Dependencies are satisfied: > -> [root@em243:~]# apt-get install m4 libxpm-dev libxt-dev x-dev libx11-de= -v -> Lettura elenco dei pacchetti... Fatto -> Generazione albero delle dipendenze -> Lettura informazioni sullo stato... Fatto -> m4 =E8 gi=E0 alla versione pi=F9 recente. -> libxpm-dev =E8 gi=E0 alla versione pi=F9 recente. -> libxt-dev =E8 gi=E0 alla versione pi=F9 recente. -> x-dev =E8 gi=E0 alla versione pi=F9 recente. -> libx11-dev =E8 gi=E0 alla versione pi=F9 recente. -> 0 aggiornati, 0 installati, 0 da rimuovere e 0 non aggiornati. -> [root@em243:~]# apt-get install libxext-dev gettext git-core texlive=20 -> gawk git-core -> Lettura elenco dei pacchetti... Fatto -> Generazione albero delle dipendenze -> Lettura informazioni sullo stato... Fatto -> libxext-dev =E8 gi=E0 alla versione pi=F9 recente. -> gettext =E8 gi=E0 alla versione pi=F9 recente. -> git-core =E8 gi=E0 alla versione pi=F9 recente. -> texlive =E8 gi=E0 alla versione pi=F9 recente. -> gawk =E8 gi=E0 alla versione pi=F9 recente. -> git-core =E8 gi=E0 alla versione pi=F9 recente. -> 0 aggiornati, 0 installati, 0 da rimuovere e 0 non aggiornati. +> [root@em243:~]# apt-get install m4 libxpm-dev libxt-dev x-dev libx11-dev > > (it is in italian, but I imagine it can be guessed) -> -----------------------------------------------------------------------= -- -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> =20 - \start Date: Thu, 1 Jul 2010 18:28:30 +0200 (CEST) From: Fabio Stumbo To: list Subject: Re: Compilation problem - <4C2A148D.2040604@axiom-developer.org> - - <4C2B0E45.9040501@hemmecke.de> - - <4C2B3F9B.30700@axiom-developer.org> - - <4C2B61CE.3030008@axiom-developer.org> - - <4C2B9117.1000409@axiom-developer.org> - - <4C2C85B2.2090808@axiom-developer.org> > Can you rerun the make as root? > @@ -229,21 +166,16 @@ already stopped at the usual point. As soon as the root shell will terminate I will submit the logs, if it is of some use. -Fabio - - \start Date: Thu, 01 Jul 2010 12:35:14 -0400 From: Tim Daly To: list Subject: Re: Compilation problem - what are your ulimit settings? ulimit -a - Fabio S. wrote: >> Can you rerun the make as root? >> @@ -257,35 +189,12 @@ Fabio S. wrote: > > As soon as the root shell will terminate I will submit the logs, if it > is of some use. -> -> Fabio -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> - \start Date: Thu, 1 Jul 2010 18:44:46 +0200 (CEST) From: Fabio Stumbo To: list Subject: Re: Compilation problem - <4C2A148D.2040604@axiom-developer.org> - - <4C2B0E45.9040501@hemmecke.de> - - <4C2B3F9B.30700@axiom-developer.org> - - <4C2B61CE.3030008@axiom-developer.org> - - <4C2B9117.1000409@axiom-developer.org> - - <4C2C85B2.2090808@axiom-developer.org> - - <4C2CC3C2.8010408@axiom-developer.org> - [em243 18:43:20 axiom]$ ulimit -a core file size (blocks, -c) 0 @@ -326,39 +235,12 @@ This as user. As root it is the same. >> >> As soon as the root shell will terminate I will submit the logs, if it is >> of some use. ->> ->> Fabio ->> ->> _______________________________________________ ->> Axiom-developer mailing list ->> list ->> http://lists.nongnu.org/mailman/listinfo/axiom-developer ->> -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> - - \start Date: Thu, 1 Jul 2010 18:50:59 +0200 (CEST) From: Fabio Stumbo To: list Subject: Re: Compilation problem - <4C2A148D.2040604@axiom-developer.org> - - <4C2B0E45.9040501@hemmecke.de> - - <4C2B3F9B.30700@axiom-developer.org> - - <4C2B61CE.3030008@axiom-developer.org> - - <4C2B9117.1000409@axiom-developer.org> - - <4C2C85B2.2090808@axiom-developer.org> > Can you rerun the make as root? @@ -372,28 +254,11 @@ I am also making another test: I created a new ubuntu box in virtualbox and I didn't touch anything, just the minimum for compiling. I just started compilation there. -Fabio - - \start Date: Fri, 2 Jul 2010 12:34:25 +0200 (CEST) From: Fabio Stumbo To: list Subject: Re: Compilation problem - <4C2A148D.2040604@axiom-developer.org> - - <4C2B0E45.9040501@hemmecke.de> - - <4C2B3F9B.30700@axiom-developer.org> - - <4C2B61CE.3030008@axiom-developer.org> - - <4C2B9117.1000409@axiom-developer.org> - - <4C2C85B2.2090808@axiom-developer.org> - - <4C2CC3C2.8010408@axiom-developer.org> - Maybe I solved my problem. At least, I have found the cause, but not the reason. @@ -428,13 +293,10 @@ The content of the .axiom.input file is ++)lib /home/stumbo/Axiom_lib/OFMONOID ----- -Fabio - - \start -From: Grigory Sarnitskiy -To: list Date: Thu, 08 Jul 2010 12:23:40 +0400 +From: Grigory Sarnitskiy +To: list Subject: Syntax highlighting. Hello, I wonder what text editors are capable of syntax highlighting for axiom input files. @@ -443,11 +305,10 @@ I'm sure, even if there are no such default feature somebody here has written it Ideally, I would like to find .lang file for gtkSourceView to use in gedit. - \start -From: Grigory Sarnitskiy -To: list Date: Fri, 09 Jul 2010 12:30:15 +0400 +From: Grigory Sarnitskiy +To: list Subject: Understanding Axiom. I think I don't understand some aspects of Axiom. @@ -461,17 +322,13 @@ So may be for symbolic computation I need another type, not ((Float) -> Float) - What type should I use to deal symbolically with real valued functions of real valuables? I guess most natural type like (Float -> Float) won't help. - \start -To: Grigory Sarnitskiy -Subject: Re: Understanding Axiom. -From: Martin Rubey Date: Fri, 09 Jul 2010 10:48:41 +0200 - of "Fri\, 09 Jul 2010 12\:30\:15 +0400") - Antispam-Data: 2010.7.2.15115 -Cc: list +From: Martin Rubey +To: Grigory Sarnitskiy +Subject: Re: Understanding Axiom. -Grigory Sarnitskiy writes: +Grigory Sarnitskiy writes: > I think I don't understand some aspects of Axiom. > @@ -549,16 +406,11 @@ experimental code that deals with those... I'd need more info to give a better answer. -Martin - - \start Date: Fri, 9 Jul 2010 20:38:05 +0200 (CEST) -From: Franz Lehner -To: Grigory Sarnitskiy +From: Franz Lehner +To: Grigory Sarnitskiy Subject: Re: Syntax highlighting. - SAEximRunCond expanded to false -Cc: list On Thu, 8 Jul 2010, Grigory Sarnitskiy wrote: > Hello, I wonder what text editors are capable of syntax highlighting for @@ -568,17 +420,11 @@ I personally use Ralf's aldor-mode for emacs in one buffer for editing and Martin's emacs interface (included with fricas, don't know about axiom) in another for executing. -regards, -Franz - - \start Date: Fri, 9 Jul 2010 20:47:29 +0200 (CEST) -From: Franz Lehner -To: Grigory Sarnitskiy +From: Franz Lehner +To: Grigory Sarnitskiy Subject: Re: Understanding Axiom. - SAEximRunCond expanded to false -Cc: list On Fri, 9 Jul 2010, Grigory Sarnitskiy wrote: > Imagine I want to have a function that returns the derivative of real-valued function of one real variable, something like @@ -610,29 +456,10 @@ You can always turn an expression into a function in this sense: (4) 1.8414709848 078965067 Type: Float -regards, -Franz - - \start Date: Mon, 12 Jul 2010 15:11:36 -0700 (PDT) -Complaints-To: groups-abuse@google.com -Injection-Info: y11g2000yqm.googlegroups.com; posting-host=72.23.235.203; - posting-account=m2ufuQoAAAAnP4mhpj2-bRzndif0-AIg -NNTP-Posting-Host: 72.23.235.203 - - - <4C1E381F.5CA504A5@freenet.de> <8875d8FmluU1@mid.individual.net> - - - <34686c2a-4288-49b3-a4c2-495a0b98b943@i16g2000prn.googlegroups.com> - <63e9cbab-a253-4f90-af99-e65701761025@w31g2000yqb.googlegroups.com> - - <4C3B6DB7.9020008@cs.berkeley.edu> - Gecko/2008120122 Firefox/3.0.5,gzip(gfe) From: Tim Daly To: list -Cc: list Subject: Re: Rule-based integration On Jul 12, 3:32=A0pm, Richard Fateman wrote: @@ -737,15 +564,10 @@ than using the general "Expression(Integer)" domain. The same depending on the target domain. Axiom is ideal for this but it requires a lot of thought. - \start Date: 13 Jul 2010 15:43:56 +0200 -From: Daniel de Angelis Cordeiro -To: - (shiva.imag.fr [129.88.30.5]); - Tue, 13 Jul 2010 15:46:49 +0200 (CEST) -MailScanner-NULL-Check: 1279633613.59808@9Z1f/7nInFs8/havaIYUjA -Cc: +From: Daniel Cordeiro +To: Daniel Cordeiro Subject: PASCO 2010: Programming Challenge Matrix product over multi-precision integer and gcd computation @@ -817,8 +639,8 @@ Publication of the results during the Conference banquet. \start -From: Vladimir Skokov Date: Thu, 15 Jul 2010 19:27:31 +0200 +From: Vladimir Skokov To: list Subject: repeated series expansion @@ -848,7 +670,7 @@ nce=A0 \start Date: Sun, 18 Jul 2010 19:01:21 +0200 -From: Guillaume Yziquel +From: Guillaume Yziquel To: list 4) Subject: Embedding Axiom as an OCaml library. @@ -875,18 +697,11 @@ How difficult does that seem to be? All the best, --- - Guillaume Yziquel - - \start Date: Sun, 18 Jul 2010 19:59:04 -0400 From: Tim Daly -To: guillaume.yziquel@citycable.ch +To: Guillaume Yziquel Subject: Re: Embedding Axiom as an OCaml library. -Cc: list - -Guillaume, Axiom isn't structured to be used as a library. The only place I've ever seen it embedded is in Sage. @@ -925,41 +740,23 @@ Guillaume Yziquel wrote: > include at least the ring of polynomials over the field of real numbers. > > How difficult does that seem to be? -> -> All the best, -> - \start +Date: Mon, 19 Jul 2010 10:17:26 +0200 +From: Martin Rubey To: Tim Daly Subject: Re: Embedding Axiom as an OCaml library. - <4C439548.1070309@axiom-developer.org> -From: Martin Rubey -Date: Mon, 19 Jul 2010 10:17:26 +0200 - "Sun\, 18 Jul 2010 19\:59\:04 -0400") - Antispam-Data: 2010.7.2.15115 -Cc: list Waldek once wrote some code to use FriCAS as a Lisp library. Possibly you get some hints there, how to do something similar for OCAML and Axiom -Martin - - \start Date: Wed, 21 Jul 2010 13:38:08 -0400 From: Tim Daly To: clojure@googlegroups.com - - <201007210854.24310.tassilo@member.fsf.org> - <4C46EF33.9040508@axiom-developer.org> - -Cc: Subject: Re: Literate Clojure - a good lead ... - - Antony Blakey wrote: > On 21/07/2010, at 10:29 PM, Tim Daly wrote: > @@ -1030,28 +827,14 @@ me weep at the beauty of the chosen solution. Literature! Thus I advocate the primacy of latex over that of the implementation language magic. -Tim Daly - - P.S. The clojure team needs a job opening for "Senior Editor" :-) - - \start Date: Wed, 21 Jul 2010 22:37:28 -0400 From: Tim Daly To: clojure@googlegroups.com - - <201007210854.24310.tassilo@member.fsf.org> - <4C46EF33.9040508@axiom-developer.org> - - <4C473080.3000300@axiom-developer.org> - <6ECC38F2-174F-4215-8906-4C3CFFBF72C1@gmail.com> -Cc: Subject: Re: Literate Clojure - a good lead ... - - Antony Blakey wrote: > On 22/07/2010, at 3:08 AM, Tim Daly wrote: > @@ -1142,16 +925,10 @@ The real benefit is in the long term. Clojure could be read and taught without pain to a whole new generation without the original authors. It is like Clojure discovered the printing press. -Tim Daly - - - \start Date: Wed, 21 Jul 2010 10:49:12 +1000 -From: John Briggs - rv:1.9.2.4) Gecko/20100624 Lanikai/3.1 +From: John Briggs To: list - 4) Subject: Axiom Source from github I am trying to compile axiom using the source files from github. @@ -1164,18 +941,11 @@ put the libXpm path to /usr/lib. The source code seems to compile correctly but I get Failures during the regression testing. Is this normal? -Regards - -John - - - \start Date: Thu, 22 Jul 2010 17:05:46 -0400 From: Tim Daly -To: John Briggs +To: John Briggs Subject: Re: Axiom Source from github -Cc: list Yes, there are some "normal" failures from regression testing. Some of the tests have random components. @@ -1191,18 +961,6 @@ John Briggs wrote: > > The source code seems to compile correctly but I get Failures during > the regression testing. Is this normal? -> -> Regards -> -> John -> -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> - \start Date: Sat, 24 Jul 2010 21:00:38 -0400 @@ -1337,19 +1095,11 @@ src/share/algebra/ GCL was upgraded, thanks to Camm Maquire. - - \start Date: Mon, 26 Jul 2010 16:45:07 +0200 (CEST) -From: Franz Lehner +From: Franz Lehner To: list Subject: Re: repeated series expansion - SAEximRunCond expanded to false - - This message is in MIME format. The first part should be readable text, - while the remaining parts are likely unreadable without MIME-aware tools. - ---461446550-236401911-1280151206=:26059 Dear Vladimir @@ -1449,16 +1199,10 @@ There is also a domain MultivariateTaylorSeries, but no corresponding 'series' command and I don't know how to create elemen= ts. -regards, -Franz ---461446550-236401911-1280151206=:26059-- - - \start -From: Tim Daly Date: Mon, 26 Jul 2010 15:30:19 -0500 -To: "Dr. Peter Thomas-Stutte" -Cc: list +From: Tim Daly +To: Peter Thomas-Stutte Subject: axiom graph See the page @@ -1470,10 +1214,9 @@ Tim \start -From: Tim Daly Date: Mon, 26 Jul 2010 15:33:29 -0500 +From: Tim Daly To: Camm Maguire -Cc: list Subject: GCL for intel mac > I'm working with wine and mingw32 cross compiler at the moment with @@ -1494,19 +1237,10 @@ Sorry about that. I'm away on a business trip until friday. My girlfriend is working until midnight. I'll walk her thru the restart on tuesday morning. -Tim - - - - - \start -To: Tim Daly -From: Camm Maguire Date: Mon, 26 Jul 2010 18:59:03 -0400 - (Tim Daly's message of "Mon\, - 26 Jul 2010 15\:33\:29 -0500") -Cc: list, gcl-devel@gnu.org +From: Camm Maguire +To: Tim Daly Subject: Re: GCL for intel mac Greetings! @@ -1575,27 +1309,10 @@ out of the way at last. BTW, 20100701 being uploaded into Debian this evening. -Take care, - -> Tim -> -> -> -> -> -> -> - --- -Camm Maguire Camm Maguire -========================================================================== -"The earth is but one country, and mankind its citizens." -- Baha'u'llah - - \start -From: "Dr. Peter Thomas-Stutte" -To: list Date: Tue, 27 Jul 2010 11:58:58 +0200 +To: list +From: Peter Thomas-Stutte Subject: axiom graph Dear Sirs, @@ -1605,26 +1322,10 @@ makeViewport(v1) etc. does not give the graph. Sincerely -Dr. Peter Thomas-Stutte - - - \start Date: Thu, 29 Jul 2010 06:21:31 -0700 From: Richard Fateman -Newsgroups: sci.math.symbolic To: Tim Daly - - - <4C1E381F.5CA504A5@freenet.de> <8875d8FmluU1@mid.individual.net> - - - <34686c2a-4288-49b3-a4c2-495a0b98b943@i16g2000prn.googlegroups.com> - <63e9cbab-a253-4f90-af99-e65701761025@w31g2000yqb.googlegroups.com> - - <4C3B6DB7.9020008@cs.berkeley.edu> - -Cc: list Subject: Re: Rule-based integration TimDaly wrote: diff --git a/book/2010-08.txt b/book/2010-08.txt index 19a10bd..6717ba5 100644 --- a/book/2010-08.txt +++ b/book/2010-08.txt @@ -1,8 +1,7 @@ \start Date: Sun, 08 Aug 2010 01:40:48 -0400 From: Tim Daly -To: "list >> Axiom-Developer" - +To: list Subject: Axiom Tenth Anniversary on August 11,2010 Axiom was originally developed at IBM Research under Dr. Richard @@ -173,16 +172,11 @@ Clifford Yapp David Yun Vadim Zhytnikov Richard Zippel Evelyn Zoernack Bruno Zuercher Dan Zwillinger - - \start +Date: Sun, 08 Aug 2010 23:49:20 -0400 +From: Camm Maguire To: Tim Daly Subject: Re: Axiom Tenth Anniversary on August 11,2010 -From: Camm Maguire -Date: Sun, 08 Aug 2010 23:49:20 -0400 - 08 Aug 2010 01\:40\:48 -0400") -Cc: "list >> Axiom-Developer" - Greetings! Tim, this history is simply breathtaking. Thank you so much for all you have done and continue to do for this project. @@ -359,22 +353,6 @@ Tim Daly writes: > Clifford Yapp David Yun > Vadim Zhytnikov Richard Zippel Evelyn Zoernack > Bruno Zuercher Dan Zwillinger -> -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> -> -> -> - --- -Camm Maguire Camm Maguire -========================================================================== -"The earth is but one country, and mankind its citizens." -- Baha'u'llah - \start Date: Thu, 12 Aug 2010 15:50:56 -0400 @@ -387,15 +365,11 @@ there was any doubt :-) http://www.tug.org/texshowcase/ - - \start Date: Mon, 16 Aug 2010 21:30:36 +0200 -From: Guillaume Yziquel +From: Guillaume Yziquel To: list - 4) -Subject: Low-level stuff and where to look for - documentation. +Subject: Low-level stuff and where to look for documentation. Hello. @@ -428,20 +402,11 @@ file (as installed by Debian)? Thanks for clarifying these issues... -Best regards, - -Guillaume Yziquel. - - \start Date: Mon, 16 Aug 2010 18:01:16 -0400 From: Tim Daly -To: guillaume.yziquel@citycable.ch -Subject: Re: Low-level stuff and where to look - for documentation. -Cc: list - - +To: Guillaume Yziquel +Subject: Re: Low-level stuff and where to look for documentation. Guillaume Yziquel wrote: > Hello. @@ -506,100 +471,73 @@ hundreds of files. You can see the source from any release (they happen every 2 months) at: http://axiom-developer.org/axiom-website/download.html -> -> Thanks for clarifying these issues... -> -> Best regards, -> -> Guillaume Yziquel. -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> - - \start Date: Tue, 17 Aug 2010 22:49:01 +0200 -From: Guillaume Yziquel +From: Guillaume Yziquel To: Tim Daly -Subject: Re: Low-level stuff and where to look - for documentation. - <4C69B52C.4040509@axiom-developer.org> - 4) -Cc: list +Subject: Re: Low-level stuff and where to look for documentation. Tim Daly a =C3=A9crit : ->=20 +> > Guillaume Yziquel wrote: > >> Hello. >> ->> I've been reading a few things, as time allows, when it comes to my=20 +>> I've been reading a few things, as time allows, when it comes to my >> project of embedding Axiom into OCaml. >> ->> As far as I understand it, it seems to be better to bind a GCL=20 ->> interpreter (I do not know Lisp well, so feel free to correct), and=20 ->> access Axiom stuff from this interpreter. So I'm currently looking as=20 +>> As far as I understand it, it seems to be better to bind a GCL +>> interpreter (I do not know Lisp well, so feel free to correct), and +>> access Axiom stuff from this interpreter. So I'm currently looking as >> to how this should be done. -> -> This is a possible path. It would be possible to grab the top level of = -the -> lisp loop using pseudo-ttys (an expect-like interface). GCL is just a=20 -> big C program -> so you can add your own code to the GCL build. + +> This is a possible path. It would be possible to grab the top level +> of the lisp loop using pseudo-ttys (an expect-like interface). GCL +> is just a big C program so you can add your own code to the GCL +> build. I've been looking at ECL for embedding ECL into OCaml. -I'd really love to avoid pushing custom code into my GCL build if it=20 -doesn't end up upstream. My hope would be to use things as packaged by=20 +I'd really love to avoid pushing custom code into my GCL build if it +doesn't end up upstream. My hope would be to use things as packaged by Debian, and therefore be able to repackage an OCaml-GCL binding. -I haven't looked at GCL very much yet, as ECL seems to be better suited=20 -for bindings. I'll look into GCL source code for something like a C API=20 +I haven't looked at GCL very much yet, as ECL seems to be better suited +for bindings. I'll look into GCL source code for something like a C API when I find the time for it. Should I expect Axiom to run seemlessly under ECL? >> But, on the other hand, The Axiom / Lisp 'interface' isn't so clear to= -=20 ->> me. I've been reading chapter 4, and specifically section entitled=20 ->> "Understanding a compiled function", which is the only place I've=20 + +>> me. I've been reading chapter 4, and specifically section entitled +>> "Understanding a compiled function", which is the only place I've >> found low-level information. I've got a few questions on this topic: >> >> -1- What is the purpose of the vmlisp.lisp.pamphlet file? -> -> "Axiom" used to be written in Maclisp (MIT), then was rewritten into VM= -Lisp -> (IBM Mainframe), and then I helped rewrite it into common lisp. Because= - of -> the complexity of the system the vmlisp port was written by implementin= -g=20 -> the -> maclisp primitives. Because of the complexity of the system the common = -lisp -> port was written by implementing the maclisp and vmlisp primitives in=20 -> common lisp. + +> "Axiom" used to be written in Maclisp (MIT), then was rewritten into +> VMLisp (IBM Mainframe), and then I helped rewrite it into common +> lisp. Because of the complexity of the system the vmlisp port was +> written by implementing the maclisp primitives. Because of the +> complexity of the system the common lisp port was written by +> implementing the maclisp and vmlisp primitives in common lisp. > These "foreign primitive implementations" live in vmlisp.lisp -Reading that, I'm wondering whether ECL is really an option. And even an=20 +Reading that, I'm wondering whether ECL is really an option. And even an unmodified GCL doesn't seem to fit entirely the bill. -Would you welcome modifications in the source code allowing to expose a=20 +Would you welcome modifications in the source code allowing to expose a C API? (I'm not committing to that, mind you...) -> The low-level information does not yet exist. The fundamental task of=20 -> the Axiom -> project has been, and continues to be, writing this kind of=20 -> documentation. But -> Axiom is about 1 million things of code and we are still in the phase o= -f=20 -> collecting -> the code into a literate form so it can be documented. - -I do not have much against literate programming, but I must admit that=20 -I'm having a tough time with a build system that I cannot easily find=20 +> The low-level information does not yet exist. The fundamental task +> of the Axiom project has been, and continues to be, writing this +> kind of documentation. But Axiom is about 1 million things of code +> and we are still in the phase o= f collecting the code into a +> literate form so it can be documented. + +I do not have much against literate programming, but I must admit that +I'm having a tough time with a build system that I cannot easily find nor understand. >> -2- It also seems that the commands @@ -607,8 +545,8 @@ nor understand. >> )trace ONEP )break >> (trace (ONEP :entry (break)) >> ->> are equivalent but that one is on the Axiom command prompt and that=20 ->> the other is on the Lisp command prompt. How do you access the Lisp=20 +>> are equivalent but that one is on the Axiom command prompt and that +>> the other is on the Lisp command prompt. How do you access the Lisp >> command prompt > > They are equivalent. @@ -617,40 +555,31 @@ nor understand. > as in > )lisp (trace (onep :entry (break)) -OK. And where can I find the source code implementing the ')lisp' token?=20 +OK. And where can I find the source code implementing the ')lisp' token? That would be of great help. ->> -3- Where is the source code of the=20 +>> -3- Where is the source code of the >> /usr/lib/axiom-20100701/bin/AXIOMsys file (as installed by Debian)? -> http://axiom-developer.org/axiom-website/downloads/axiom-july2010-src.t= -gz ->=20 -> AXIOMsys is the whole interpreter/compiler/system. It consists of=20 +> http://axiom-developer.org/axiom-website/downloads/axiom-july2010-src.tgz +> +> AXIOMsys is the whole interpreter/compiler/system. It consists of > hundreds of files. > You can see the source from any release (they happen every 2 months) at= : > http://axiom-developer.org/axiom-website/download.html -I think I better rephrase my question: I'm looking for the main()=20 -function for AXIOMsys. Could it be possible to pinpoint it in the source=20 +I think I better rephrase my question: I'm looking for the main() +function for AXIOMsys. Could it be possible to pinpoint it in the source code? -All the best, - -Guillaume Yziquel. - - \start Date: Tue, 17 Aug 2010 23:38:07 -0500 From: Gabriel Dos Reis -To: guillaume.yziquel@citycable.ch -Cc: list, - open-axiom-devel -Subject: Re: Low-level stuff and where to look for - documentation. +To: Guillaume Yziquel +Subject: Re: Low-level stuff and where to look for documentation. On Tue, Aug 17, 2010 at 3:49 PM, Guillaume Yziquel - wrote: +Guillaume Yziquel wrote: > I think I better rephrase my question: I'm looking for the main() function > for AXIOMsys. Could it be possible to pinpoint it in the source code? @@ -659,25 +588,18 @@ The closest approximation is the Boot function 'restart' (or |restart| in LISP). In OpenAxiom it is exactly systemMain (or |systemMain| in LISP.) --- Gaby - - \start Date: Wed, 18 Aug 2010 04:30:33 -0400 From: Tim Daly To: Gabriel Dos Reis -Subject: re: Low-level stuff and where to look - for documentation. - -Cc: list, - open-axiom-devel +Subject: re: Low-level stuff and where to look for documentation. Note that in Axiom, the restart function name in not escaped so you just invoke (restart), not (|restart|). Gabriel Dos Reis wrote: > On Tue, Aug 17, 2010 at 3:49 PM, Guillaume Yziquel -> wrote: +> Guillaume Yziquel wrote: > > >> I think I better rephrase my question: I'm looking for the main() function @@ -687,16 +609,6 @@ Gabriel Dos Reis wrote: > The closest approximation is the Boot function 'restart' (or |restart| in LISP). > > In OpenAxiom it is exactly systemMain (or |systemMain| in LISP.) -> -> -- Gaby -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> -> - \start Date: Fri, 20 Aug 2010 08:46:07 -0400 @@ -704,7 +616,6 @@ From: Tim Daly To: list Subject: [Fwd: International Lisp Conference 2010 - Update] - With the usual apologies to those who receive multiple copies of this... @@ -952,27 +863,10 @@ Contacts: For more information, see http://www.international-lisp-conference.org --- -You received this message because you are subscribed to the Google -Groups "Clojure" group. -To post to this group, send email to clojure@googlegroups.com -Note that posts from new members are moderated - please be patient with your first post. -To unsubscribe from this group, send email to -clojure+unsubscribe@googlegroups.com -For more options, visit this group at -http://groups.google.com/group/clojure?hl=en - - - - \start -Message-id: <4C6EE2BC.6090800@attglobal.net> Date: Fri, 20 Aug 2010 16:17:00 -0400 +To: list From: Eugene Surowitz -MIME-version: 1.0 -To: Tim Daly, - list -Cc: Subject: Re: LiSP in Small Pieces I just got a copy of "LiSP in Small Pieces". @@ -983,16 +877,10 @@ http://pagesperso-systeme.lip6.fr/Christian.Queinnec/WWW/LiSP.html just in case anyone needs to go on this particular snipe hunt. -Cheers, Gene - - - \start Date: Tue, 24 Aug 2010 14:47:50 -0400 From: Tim Daly To: Camm Maguire - <878w4xkfyg.fsf@maguirefamily.org> -Cc: list, gcl-devel@gnu.org Subject: Invocation history stack overflow (defun compfail (parts0 parts1) @@ -1001,19 +889,11 @@ Subject: Invocation history stack overflow while same (setq same (eq p0 p1))))) - - \start +Date: Tue, 24 Aug 2010 14:54:32 -0400 +From: Camm Maguire To: Tim Daly Subject: Re: Invocation history stack overflow - <878w4xkfyg.fsf@maguirefamily.org> - <4C7413D6.50506@axiom-developer.org> -From: Camm Maguire -Date: Tue, 24 Aug 2010 14:54:32 -0400 - 24 Aug 2010 14\:47\:50 -0400") -Cc: list, gcl-devel@gnu.org - -Greetings! Tim Daly writes: @@ -1026,49 +906,18 @@ Tim Daly writes: (compile 'compfail) -Take care, - -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> -> -> -> - --- -Camm Maguire Camm Maguire -========================================================================== -"The earth is but one country, and mankind its citizens." -- Baha'u'llah - - \start -To: Tim Daly -From: Camm Maguire Date: Tue, 31 Aug 2010 12:38:53 -0400 - 24 Aug 2010 14\:47\:50 -0400") - <878w4xkfyg.fsf@maguirefamily.org> - <4C7413D6.50506@axiom-developer.org> -Cc: list +From: Camm Maguire +To: Tim Daly Subject: Win32/Win64 machines remotely accessible? Greetings! Tim, do you have such as you did with the mac? -Take care, --- -Camm Maguire Camm Maguire -========================================================================== -"The earth is but one country, and mankind its citizens." -- Baha'u'llah - - \start Date: Tue, 31 Aug 2010 13:01:32 -0400 From: Tim Daly To: Camm Maguire - <87zkw220v6.fsf_-_@maguirefamily.org> -Cc: list Subject: Re: Win32/Win64 machines remotely accessible? I can set that up if you can do remote-desktop work. @@ -1076,25 +925,13 @@ I don't know how to do ssh into windows. Camm Maguire wrote: > Greetings! Tim, do you have such as you did with the mac? -> -> Take care, -> - \start -To: Tim Daly - <878w4xkfyg.fsf@maguirefamily.org> - <4C7413D6.50506@axiom-developer.org> - <87zkw220v6.fsf_-_@maguirefamily.org> - <4C7D356C.1000701@axiom-developer.org> -From: Camm Maguire Date: Tue, 31 Aug 2010 13:29:27 -0400 - "Tue\, 31 Aug 2010 13\:01\:32 -0400") -Cc: list +From: Camm Maguire +To: Tim Daly Subject: Re: Win32/Win64 machines remotely accessible? -Greetings! - If this means vnc, then I can do that. Take care, @@ -1106,17 +943,5 @@ Tim Daly writes: > > Camm Maguire wrote: >> Greetings! Tim, do you have such as you did with the mac? ->> ->> Take care, ->> -> -> -> -> - --- -Camm Maguire Camm Maguire -========================================================================== -"The earth is but one country, and mankind its citizens." -- Baha'u'llah diff --git a/book/2010-09.txt b/book/2010-09.txt index 5136e9b..f6be786 100644 --- a/book/2010-09.txt +++ b/book/2010-09.txt @@ -1,15 +1,7 @@ \start +Date: Wed, 8 Sep 2010 17:46:29 +0100 From: Martin Baker To: list -Date: Wed, 8 Sep 2010 17:46:29 +0100 - <4B6436F5.3060201@axiom-developer.org> - <201001301618.50345.Martin Baker> - charset="iso-8859-1" - ADs0RRp+mbQSzKeLNNhwS9/juJnKwaJvgVZyKPJfUrNByZhpjz - 5ZR+Pq++1Ly9KnwYWtgy7+9QXJtt5I81TXDWHBn82CtQdyEelI - KRKWC6ApWoigjH1kNkOHxQ9sJ8zuuskfObqyzJ+IuBEnwNNXyc - 4jL5AKSEox2+uRBikTp3A== - recognized. Subject: alternative geometry/graphics framework I have written an alternative geometry/graphics framework. @@ -94,16 +86,11 @@ interaction. Do you think this would be possible? -Martin - - \start Date: Wed, 08 Sep 2010 21:33:33 -0400 From: Tim Daly To: Martin Baker Subject: Re: alternative geometry/graphics framework - <201009081746.29981.Martin Baker> -Cc: list I'll look into it as soon as I'm able. --Tim @@ -189,22 +176,11 @@ Martin Baker wrote: > interaction. > > Do you think this would be possible? -> -> Martin -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> -> - \start -From: Tim Daly Date: Sat, 25 Sep 2010 01:47:38 -0500 -To: list, Tim Daly -Cc: +From: Tim Daly +To: list Subject: Axiom September 2010 Release Axiom has been released for September 2010. @@ -332,19 +308,12 @@ src/axiom-website/ download.html add debian, fedora, mandriva, opensuse, slackware, vector download.html update ubuntu yum advice - - - - \start Date: Fri, 24 Sep 2010 20:46:05 +0200 -From: "Dr.-Ing. Ingo D. Rullhusen" - rv:1.9.1.13) Gecko/20100916 SeaMonkey/2.0.8 +From: Ingo Rullhusen To: list Subject: wrong sign in limit? -Hello, - perhaps i have found a bug in the limit operation. I am using AXIOM Computer Algebra System @@ -478,15 +447,9 @@ Integer (see sign) -Thanks - Ingo - - - \start Date: Sun, 26 Sep 2010 14:46:31 -0400 From: Tim Daly - rv:1.9.2.9) Gecko/20100825 Thunderbird/3.1.3 To: list Subject: Re: wrong sign in limit? @@ -625,25 +588,12 @@ On 9/24/2010 2:46 PM, Dr.-Ing. Ingo D. Rullhusen wrote: > (7) -> > > (see sign) -> -> Thanks -> Ingo -> -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> - \start Date: Sun, 26 Sep 2010 22:51:22 +0200 From: Ralf Hemmecke - rv:1.9.2.9) Gecko/20100915 Thunderbird/3.1.4 To: list Subject: Re: wrong sign in limit? - <4C9F9507.4010108@axiom-developer.org> I agree that the result is questionable, but what result do you expect? @@ -798,18 +748,11 @@ Out[7]= -(-------------) 2 1/2 (a ) - - \start +Date: Tue, 28 Sep 2010 17:55:20 -0400 +From: Camm Maguire To: Tim Daly Subject: Re: Axiom September 2010 Release -From: Camm Maguire -Date: Tue, 28 Sep 2010 17:55:20 -0400 - (Tim Daly's message of "Sat\, - 25 Sep 2010 01\:47\:38 -0500") -Cc: list - -Greetings! Please consider this patch, as gcl has a file_exists function and this prevents image linking when native object relocatin is absent. @@ -973,32 +916,12 @@ Tim Daly writes: > download.html add debian, fedora, mandriva, opensuse, slackware, vector > download.html update ubuntu yum advice > -> -> -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> -> -> -> - --- -Camm Maguire Camm Maguire -========================================================================== -"The earth is but one country, and mankind its citizens." -- Baha'u'llah - \start +Date: Wed, 29 Sep 2010 11:49:31 -0400 +From: Camm Maguire To: Tim Daly Subject: Re: Axiom September 2010 Release -From: Camm Maguire -Date: Wed, 29 Sep 2010 11:49:31 -0400 - (Tim Daly's message of "Sat\, - 25 Sep 2010 01\:47\:38 -0500") -Cc: list Greetings! How do I enable lisp breaks on error? @@ -1130,33 +1053,12 @@ Tim Daly writes: > documentation.html add Knuth quote per W. Sit > download.html add debian, fedora, mandriva, opensuse, slackware, vector > download.html update ubuntu yum advice -> -> -> -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> -> -> -> - --- -Camm Maguire Camm Maguire -========================================================================== -"The earth is but one country, and mankind its citizens." -- Baha'u'llah - \start Date: Wed, 29 Sep 2010 14:57:26 -0400 From: Tim Daly - rv:1.9.2.9) Gecko/20100825 Thunderbird/3.1.3 To: Camm Maguire Subject: Re: Axiom September 2010 Release - <87iq1opn1w.fsf@maguirefamily.org> -Cc: list )set break break @@ -1292,25 +1194,12 @@ On 9/29/2010 11:49 AM, Camm Maguire wrote: >> documentation.html add Knuth quote per W. Sit >> download.html add debian, fedora, mandriva, opensuse, slackware, vector >> download.html update ubuntu yum advice ->> ->> ->> ->> ->> _______________________________________________ ->> Axiom-developer mailing list ->> list ->> http://lists.nongnu.org/mailman/listinfo/axiom-developer ->> ->> ->> ->> - \start -Subject: Re: wrong sign in limit? -To: list Date: Thu, 30 Sep 2010 15:21:19 +0200 (CEST) From: Waldek Hebisch +To: list +Subject: Re: wrong sign in limit? Dr.-Ing. Ingo D. Rullhusen wrote: > @@ -1370,8 +1259,5 @@ you need something like: but such expressions cause trouble so limit decided just to pick one branch... --- - Waldek Hebisch -Waldek Hebisch diff --git a/book/2010-10.txt b/book/2010-10.txt index 4523ef0..e80e299 100644 --- a/book/2010-10.txt +++ b/book/2010-10.txt @@ -1,9 +1,7 @@ \start Date: Fri, 01 Oct 2010 22:54:39 -0400 From: Tim Daly - rv:1.9.2.9) Gecko/20100825 Thunderbird/3.1.3 -To: acl2@utlists.utexas.edu, list -Cc: +To: list Subject: ACL2 and Axiom Well you've finally given me an example to motivate me. @@ -50,40 +48,12 @@ On 10/1/2010 12:11 PM, Matt Kaufmann wrote: > (< (expt (- a 1) 2) (* b c))))) > > -- Matt -> X-IronPort-MID: 58854409 -> X-IronPort-MID: 244575640 -> X-SBRS: 4.5 -> X-IronPort-Anti-Spam-Filtered: true -> X-IronPort-Anti-Spam-Result: Ar4AAOyhpUzVx5rNkWdsb2JhbACXDYs+AQEBAQkLCgcRBB6sKZsDhUQEhFGIcxCCTYU3 -> X-IronPort-AV: E=Sophos;i="4.57,267,1283749200"; -> d="scan'208";a="244575640" -> X-SpamScore: -21 -> X-BigFish: VPS-21(z2b68kz14e0M1432N98dN9371Pzz1202hzz8275bhz32i2a8h61h) -> X-Spam-TCS-SCL: 0:0 -> X-WSS-ID: 0L9MCE2-02-D5L-02 -> X-M-MSG: -> From: "Russinoff, David" -> CC: "acl2@utlists.utexas.edu" +> From: David Russinoff > Date: Fri, 1 Oct 2010 10:58:19 -0500 -> Thread-Topic: algebra problem -> Thread-Index: ActhgTQ4BprFQxjpQaim1LoG0ECYFAAAEOLR -> Accept-Language: en-US -> Content-Language: en-US -> X-MS-Has-Attach: -> X-MS-TNEF-Correlator: -> acceptlanguage: en-US -> X-Reverse-DNS: ausb3extmailp02.amd.com -> X-MIME-Autoconverted: from quoted-printable to 8bit by riley.its.utexas.edu id o91Fx8Dc014294 -> X-Loop: acl2@utlists.utexas.edu -> X-Sequence: 211 -> X-no-archive: yes -> List-Owner: -> X-SpamAssassin-Status: No, hits=-1.7 required=5.0 -> X-UTCS-Spam-Status: No, hits=-110 required=165 > > Sorry, I meant to say a>= 1. > ________________________________________ -> From: pmanolios@gmail.com [pmanolios@gmail.com] On Behalf Of Pete Manolios [pete@ccs.neu.edu] +> From: Pete Manolios > Sent: Friday, October 01, 2010 10:55 AM > To: Russinoff, David > Cc: acl2@utlists.utexas.edu @@ -113,7 +83,7 @@ On 10/1/2010 12:11 PM, Matt Kaufmann wrote: > > > On Fri, Oct 1, 2010 at 11:39 AM, Russinoff, David -> wrote: +> David Russinoff wrote: > > Here is a high school algebra problem that I've been staring at for > > a couple of hours and is making me feel pretty stupid. > > @@ -131,21 +101,11 @@ On 10/1/2010 12:11 PM, Matt Kaufmann wrote: > > So what?" But I'm still staring and feeling stupid. > > > > -> -> -> -> -- -> Pete Manolios -> Northeastern University -> http://www.ccs.neu.edu/home/pete -> - \start Date: Sat, 2 Oct 2010 03:29:59 -0500 From: J Moore To: Tim Daly -Cc: list, acl2@utlists.utexas.edu Subject: ACL2 and Axiom Hi Tim. You asked @@ -153,28 +113,18 @@ Hi Tim. You asked > Does ACL2 handle reasoning about interval arithmetic? > Are there particular books in ACL2 I should study? -I am not aware of an interval arithmetic book. -There have been several undergraduate student -projects to build simple interval arithmetic books -but none made it into the distribution. Of -course, I presume you're aware of ACL2's extensive -collection of rational and integer arithmetic -books, e.g., arithmetic-5/top and the modulo -arithmetic of ihs and the -register-transfer/floating point stuff of rtl -(most recently rtl8). - -J - - - +I am not aware of an interval arithmetic book. There have been +several undergraduate student projects to build simple interval +arithmetic books but none made it into the distribution. Of course, I +presume you're aware of ACL2's extensive collection of rational and +integer arithmetic books, e.g., arithmetic-5/top and the modulo +arithmetic of ihs and the register-transfer/floating point stuff of +rtl (most recently rtl8). \start Date: Sat, 02 Oct 2010 11:56:02 -0400 From: Tim Daly - rv:1.9.2.9) Gecko/20100825 Thunderbird/3.1.3 To: J Moore -Cc: list, acl2@utlists.utexas.edu Subject: Re: ACL2 and Axiom J @@ -182,17 +132,15 @@ Subject: Re: ACL2 and Axiom Ok. Once I climb the learning curve I'll look at that in more detail. -I've put up a git repository to contain the changes I -need to make to embed ACL2. Both Axiom and ACL2 can sit -in the same lisp image. I have to figure out some Axiom -"cover" domains that export things like a "prove" function -and a compatible set of domains to cover the data representation. +I've put up a git repository to contain the changes I need to make to +embed ACL2. Both Axiom and ACL2 can sit in the same lisp image. I have +to figure out some Axiom "cover" domains that export things like a +"prove" function and a compatible set of domains to cover the data +representation. -I looked at the code a bit last night. Most of the code changes -would involve things like #- conditionally removing the ACL2 -user I/O and GCL initialization. - -Tim +I looked at the code a bit last night. Most of the code changes would +involve things like #- conditionally removing the ACL2 user I/O and +GCL initialization. On 10/2/2010 4:29 AM, J Strother Moore wrote: > Hi Tim. You asked @@ -209,20 +157,13 @@ On 10/2/2010 4:29 AM, J Strother Moore wrote: > arithmetic of ihs and the > register-transfer/floating point stuff of rtl > (most recently rtl8). -> -> J -> -> - \start Date: Sat, 2 Oct 2010 08:47:59 -0500 From: Matt Kaufmann To: Tim Daly - Sat, 02 Oct 2010 11:56:02 -0400) - <4CA75612.6060908@axiom-developer.org> -Cc: J Moore, list, acl2@utlists.utexas.edu Subject: Re: ACL2 and Axiom +Cc: J Moore Hi, Tim -- @@ -259,23 +200,6 @@ I'd be happy to discuss any of this with you further, either on the list if you think others want to join in, or individually. -- Matt - X-IronPort-MID: 59165724 - X-IronPort-MID: 220655909 - X-SBRS: -0.5 - X-IronPort-Anti-Spam-Filtered: true - X-IronPort-Anti-Spam-Result: AvAFAPvIpkzRh4wmX2dsb2JhbACiSR5IwRuFRASNPoga - X-IronPort-AV: E=Sophos;i="4.57,271,1283749200"; - d="scan'208";a="220655909" - Date: Sat, 02 Oct 2010 11:56:02 -0400 - From: Tim Daly - CC: acl2@utlists.utexas.edu, list, - Tim Daly - X-Loop: acl2@utlists.utexas.edu - X-Sequence: 218 - X-no-archive: yes - List-Owner: - X-SpamAssassin-Status: No, hits=-0.7 required=5.0 - X-UTCS-Spam-Status: No, hits=-96 required=165 J @@ -309,26 +233,14 @@ list if you think others want to join in, or individually. > arithmetic of ihs and the > register-transfer/floating point stuff of rtl > (most recently rtl8). - > - > J - > - > - \start Date: Sat, 02 Oct 2010 14:24:08 -0400 From: Tim Daly - rv:1.9.2.9) Gecko/20100825 Thunderbird/3.1.3 -To: acl2@utlists.utexas.edu - <4CA75612.6060908@axiom-developer.org> - <201010021347.o92DlxLU003014@lhug-8.cs.utexas.edu> -Cc: J Moore, - list, - Matt Kaufmann +To: list +Cc: J Moore, Matt Kaufmann Subject: Re: ACL2 and Axiom - - On 10/2/2010 9:47 AM, Matt Kaufmann wrote: > Hi, Tim -- > @@ -347,40 +259,38 @@ research ideas I have about provisos. A third is as an end-user set of Axiom domains for doing proofs (e.g. exporting a "prove" function) The first issue of raising the level of system quality would involve -build-time proof checking which, if it failed, would be expected to stop -the -build. There would be no need for a user interface. - -The second issue of proviso work is "unpublished ideas" involving -interactions -between Axiom domains. I have some ideas for symbolic intervals and I -think that -ACL2 would be useful there. This also does not involve a user interface -since it only interacts with dynamically created Axiom objects. This -involves a pile of "scope issues" since sets of provisos would live in -a tree structure which Axiom needs to manage. - -The third issue of the end-user "cover" functions would capture and expose -the ACL2 functionality (e.g. prove) applied to Axiom objects (e.g. -rationals, aka Fraction(Integer) in Axiom-speak). This might involve -user interaction with ACL2 but I haven't given that issue any thought. -It may be that the interactive portion "just works" depending on who -is reading the user input at the time. If the system falls into an ACL -interactive loop doing its own reads then Axiom won't know or care. -There is no such thing as a simple job, of course. - - -In the long term plan I want Axiom to have a solid, proven set of algorithms -but the proofs are static. The build times would be much longer but the end -user wouldn't see that. They would only see "certified" results. I would -consider it a milestone if I could automatically prove that Axiom's -Euclidean -algorithm was correct. Just getting this right would be a whole PhD -thesis :-) - -So the long term goal is a computer algebra system with proven algorithms -rather than a system that proves things and uses a computer algebra system. -Hence ACL2 lives "inside" Axiom by design. +build-time proof checking which, if it failed, would be expected to +stop the build. There would be no need for a user interface. + +The second issue of proviso work is "unpublished ideas" involving +interactions between Axiom domains. I have some ideas for symbolic +intervals and I think that ACL2 would be useful there. This also does +not involve a user interface since it only interacts with dynamically +created Axiom objects. This involves a pile of "scope issues" since +sets of provisos would live in a tree structure which Axiom needs to +manage. + +The third issue of the end-user "cover" functions would capture and +expose the ACL2 functionality (e.g. prove) applied to Axiom objects +(e.g. rationals, aka Fraction(Integer) in Axiom-speak). This might +involve user interaction with ACL2 but I haven't given that issue any +thought. It may be that the interactive portion "just works" +depending on who is reading the user input at the time. If the system +falls into an ACL interactive loop doing its own reads then Axiom +won't know or care. There is no such thing as a simple job, of +course. + + +In the long term plan I want Axiom to have a solid, proven set of +algorithms but the proofs are static. The build times would be much +longer but the end user wouldn't see that. They would only see +"certified" results. I would consider it a milestone if I could +automatically prove that Axiom's Euclidean algorithm was correct. Just +getting this right would be a whole PhD thesis :-) + +So the long term goal is a computer algebra system with proven +algorithms rather than a system that proves things and uses a computer +algebra system. Hence ACL2 lives "inside" Axiom by design. > I see two other potential advantages I can see for keeping ACL2 > intact. The first is that by avoiding modifications to ACL2, even in @@ -445,24 +355,7 @@ Tim > list if you think others want to join in, or individually. > > -- Matt -> X-IronPort-MID: 59165724 -> X-IronPort-MID: 220655909 -> X-SBRS: -0.5 -> X-IronPort-Anti-Spam-Filtered: true -> X-IronPort-Anti-Spam-Result: AvAFAPvIpkzRh4wmX2dsb2JhbACiSR5IwRuFRASNPoga -> X-IronPort-AV: E=Sophos;i="4.57,271,1283749200"; -> d="scan'208";a="220655909" -> Date: Sat, 02 Oct 2010 11:56:02 -0400 -> From: Tim DalyTim Daly -> CC: acl2@utlists.utexas.edu, list, -> Tim Daly -> X-Loop: acl2@utlists.utexas.edu -> X-Sequence: 218 -> X-no-archive: yes -> List-Owner: -> X-SpamAssassin-Status: No, hits=-0.7 required=5.0 -> X-UTCS-Spam-Status: No, hits=-96 required=165 -> + > J > > Ok. Once I climb the learning curve I'll look at that @@ -501,19 +394,14 @@ Tim > > > - \start Date: Thu, 14 Oct 2010 11:16:43 -0400 From: Tim Daly - rv:1.9.2.9) Gecko/20100825 Thunderbird/3.1.3 To: list -Subject: Fwd: [Dbworld] 10 PhD student positions in - Computational Logic at Vienna University of Technology - - +Subject: Fwd: [Dbworld] 10 PhD student positions in Computational Logic at Vienna University of Technology ---------- Forwarded message ---------- -From: Thomas Krennwallner +From: Thomas Krennwallner Date: Mon, Sep 20, 2010 at 6:45 PM Subject: [Dbworld] 10 PhD student positions in Computational Logic at Vienna University of Technology @@ -579,53 +467,26 @@ available at http://www.dbai.tuwien.ac.at/drkolleg/. For additional information, please send email to dk-info@dbai.tuwien.ac.at. -_______________________________________________ -Please do not post msgs that are not relevant to the database -community at large. Go to www.cs.wisc.edu/dbworld for guidelines and -posting forms. -To unsubscribe, go to https://lists.cs.wisc.edu/mailman/listinfo/dbworld - - - \start -From: Rob A Nendorf +From: Rob Nendorf Date: Tue, 19 Oct 2010 17:21:00 -0500 To: list - recognized. Subject: WEIER -Hello, - -I'm brand new to axiom, and need to use the WEIER package to calculate = -the distinguished polynomial of a given power series (I need to use the = -weierstrass function). I'm completely lost as to how to implement the = -package. - -I would appreciate any help you can offer. Please respond at a beginner = -level. - -Thank you, -Rob - - -Robert Nendorf -PhD Candidate in Mathematics -Northwestern University -2033 Sheridan Rd -Evanston, IL 60208-2730 -rnendorf.math@gmail.com - +I'm brand new to axiom, and need to use the WEIER package to calculate +the distinguished polynomial of a given power series (I need to use +the weierstrass function). I'm completely lost as to how to implement +the package. +I would appreciate any help you can offer. Please respond at a beginner level. \start -From: quad +From: Robert Smith Date: Wed, 20 Oct 2010 15:45:51 -0500 To: list Subject: Infinite loop in regression test -Good day all, - First, my system specifications: $uname -a @@ -647,15 +508,9 @@ I suspect it's an infinite loop because it's been on this test for about an hour. Any hints or suggestions, or perhaps more information needed? -Thanks, - -Robert Smith - - \start Date: Sat, 23 Oct 2010 17:55:21 -0400 From: Tim Daly - rv:1.9.2.9) Gecko/20100825 Thunderbird/3.1.3 To: list Subject: Re: Infinite loop in regression test @@ -669,9 +524,6 @@ or tell me the variable being assigned such as t1064:= -Tim - - On 10/20/2010 4:45 PM, quad wrote: > Good day all, > @@ -695,28 +547,12 @@ On 10/20/2010 4:45 PM, quad wrote: > I suspect it's an infinite loop because it's been on this test for > about an hour. Any hints or suggestions, or perhaps more information > needed? -> -> Thanks, -> -> Robert Smith -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> - \start -To: Thomas Kahle , Tim Daly, - list, gcl-devel@gnu.org - <87pqvcske0.fsf@maguirefamily.org> - <20101014201350.GC26107@denkmatte.mittag-leffler.se> -From: Camm Maguire Date: Tue, 26 Oct 2010 14:24:06 -0400 - Kahle's message of "Thu\, 14 Oct 2010 22\:13\:50 +0200") -Cc: -Subject: Re: Fwd: Re: Axiom for Gentoo +From: Camm Maguire +To: Thomas Kahle +Subject: Re: Axiom for Gentoo Greetings! OK just checked in gmp5 support onto the 2.6.8pre branch. @@ -735,7 +571,7 @@ works fine. The compiler is apparently configured as 64bit only. Take care, -Thomas Kahle writes: +Thomas Kahle writes: > On 14:24 Thu 14 Oct , Camm Maguire wrote: >> Greetings! @@ -751,13 +587,6 @@ Thomas Kahle writes: > branch. I don't know what that is actually. More experimental than sid? > Anyhow, these packages contain the .so that constitutes the main part of > gmp. -> -> Cheers, -> Thomas -> -> -> ->> >> Take care, >> >> Tim Daly writes: @@ -765,12 +594,6 @@ Thomas Kahle writes: >> > Camm, FYI.... -- Tim >> > >> > -------- Original Message -------- ->> > Subject: Re: Axiom for Gentoo ->> > Date: Mon, 11 Oct 2010 20:02:40 +0200 ->> > From: Thomas Kahle ->> > To: Tim Daly ->> > ->> > >> > >> > Dear Tim, >> > @@ -784,13 +607,6 @@ Thomas Kahle writes: >> > developers. If gcl works with gmp-4 it should be possible to make it >> > work with version 5 too, I think. >> > ->> > So much for now, ->> > Thanks for making Axiom! ->> > ->> > Thomas ->> > ->> > ->> > >> > On 06:33 Fri 01 Oct , Tim Daly wrote: >> >> >> >> @@ -799,25 +615,33 @@ Thomas Kahle writes: >> >> >> On 10/1/2010 2:01 AM, Thomas Kahle wrote: >> >> >>> On 00:37 Fri 01 Oct , Tim Daly wrote: >> >> >>> ->> >> >>>> Axiom ships with a copy of GCL because it has been tested with ->> >> >>>> that copy. The GMP that ships with that copy also has been tested ->> >> >>>> with Axiom. I'm not sure how this can fail in Gentoo. ->> >> >>> One specific problem arises when you have only gmp-5 on your system. The ->> >> >>> configure of the shipped gcl does not like that and will start to build ->> >> >>> an internal copy of gmp-4. The configure of this internal gmp fails ->> >> >>> because the ABI variable in Gentoo is set to either "32", or "AMD64", ->> >> >>> while the configure expects it to be "standard", no matter on which ->> >> >>> architecture you are. The only acceptable solution for the main tree of ->> >> >>> gentoo by the way would be to make gcl build with gmp-5. + +>> >> >>>> Axiom ships with a copy of GCL because it has been tested +>> >> >>>> with that copy. The GMP that ships with that copy also +>> >> >>>> has been tested with Axiom. I'm not sure how this can +>> >> >>>> fail in Gentoo. >> >> >>> One specific problem arises +>> >> >>>> when you have only gmp-5 on your system. The >> >> >>> +>> >> >>>> configure of the shipped gcl does not like that and will +>> >> >>>> start to build >> >> >>> an internal copy of gmp-4. The +>> >> >>>> configure of this internal gmp fails >> >> >>> because +>> >> >>>> the ABI variable in Gentoo is set to either "32", or +>> >> >>>> "AMD64", >> >> >>> while the configure expects it to be +>> >> >>>> "standard", no matter on which >> >> >>> architecture you +>> >> >>>> are. The only acceptable solution for the main tree of +>> >> >>>> >> >> >>> gentoo by the way would be to make gcl build +>> >> >>>> with gmp-5. + >> >> >> I'm confused. Where is the GMP getting the ABI information? ->> >> >> It looks like Gentoo sets an environment variable. ->> >> >> Do I need to add an 'unset ABI' to the make script? ->> >> > The shell environment of the package manager contains an ABI variable ->> >> > because many libraries use that from the environment. There are also ->> >> > more options than just 32 or 64 bit, I think. In the official gmp ->> >> > package that gentoo ships, the build system has been modified. We patch ->> >> > it to use the variable GMPABI instead of ABI and then do the following ->> >> > mapping: +>> >> >> It looks like Gentoo sets an environment variable. Do I +>> >> >> need to add an 'unset ABI' to the make script? >> >> > The +>> >> >> shell environment of the package manager contains an ABI +>> >> >> variable >> >> > because many libraries use that from the +>> >> >> environment. There are also >> >> > more options than just +>> >> >> 32 or 64 bit, I think. In the official gmp >> >> > package +>> >> >> that gentoo ships, the build system has been modified. We +>> >> >> patch >> >> > it to use the variable GMPABI instead of ABI +>> >> >> and then do the following >> >> > mapping: + >> >> > >> >> > [...] >> >> > @@ -836,74 +660,91 @@ Thomas Kahle writes: >> >> > esac >> >> > >> >> > [...] ->> >> > ->> >> > Ok, the bottom line is that we really want gcl to use the gmp that is ->> >> > already installed on the users system, because we have fixed that once. ->> >> > Gentoo's QA will never allow something that builds an internal copy of ->> >> > gmp to enter the stable tree. The main problem is that dependency ->> >> > resolution should take place on the level of the package manager. If ->> >> > every scientific package brings its on version of gmp and a security ->> >> > issue with some older version is found than you have X copies of a ->> >> > vulnerable library on your system and X projects need to release new ->> >> > versions and you keep fixing the same bugs X times. ->> >> Axiom includes only two key packages, GCL and noweb. Axiom is gradually ->> >> planning to eliminate noweb but GCL is a long term commitment. We appreciate ->> >> the "fix it once" idea but we have to balance it with the "make it right" ->> >> idea. Axiom is an extremely complex and very large system (about a million ->> >> "things of code"). Every change gets tested. We have even shipped about a ->> >> dozen "snapshots" of GCL (See the GCLVERSION variable in the top level ->> >> Makefile file, which shows 15 different versions). The policy is to take ->> >> a snapshot of GCL and qualify Axiom on that version. For such fundamental ->> >> level software like GCL (and GMP) we need to make sure that the user has ->> >> not introduced unstable elements. A change in GMP would make minor but ->> >> incorrect changes to large, long running, and numerically intense ->> >> algorithms. ->> >> The user would never know, or if they did know, they would blame Axiom. ->> >> ->> >> Camm has just finished another minor release which he tested on a couple ->> >> of my systems. I have yet to fully qualify Axiom on that release so it is ->> >> not yet in the shipped system. I hope to get the new GCL release into the ->> >> November Axiom release. ->> >> ->> >> >> GCL uses GMP internally. I'm not sure what this has to do with the rest ->> >> >> of Gentoo. While I'm not opposed to using gmp5 it would require coordination ->> >> >> with Camm and validation testing with Axiom. The GCL-internal version of ->> >> >> GMP is known to work on all platforms. I'd have to "qualify" gmp5 on all ->> >> >> of the platforms and also make sure that Axiom/GCL interfaces don't ->> >> >> change. ->> >> > Ok, so this might be a more long-term project, but it's certainly ->> >> > worthwhile. By the way, do you know any release plans for gcl? I saw an ->> >> > alpha of 2.7 on a Debian mirror once, but I can't find anymore. + +>> >> > Ok, the bottom line is that we really want gcl to use the +>> >> > gmp that is already installed on the users system, because +>> >> > we have fixed that once. Gentoo's QA will never allow +>> >> > something that builds an internal copy of gmp to enter the +>> >> > stable tree. The main problem is that dependency resolution +>> >> > should take place on the level of the package manager. If +>> >> > every scientific package brings its on version of gmp and a +>> >> > security issue with some older version is found than you +>> >> > have X copies of a vulnerable library on your system and X +>> >> > projects need to release new versions and you keep fixing +>> >> > the same bugs X times. + +>> >> Axiom includes only two key packages, GCL and noweb. Axiom is +>> >> gradually planning to eliminate noweb but GCL is a long term +>> >> commitment. We appreciate the "fix it once" idea but we have to +>> >> balance it with the "make it right" idea. Axiom is an extremely +>> >> complex and very large system (about a million "things of +>> >> code"). Every change gets tested. We have even shipped about a +>> >> dozen "snapshots" of GCL (See the GCLVERSION variable in the +>> >> top level Makefile file, which shows 15 different +>> >> versions). The policy is to take a snapshot of GCL and qualify +>> >> Axiom on that version. For such fundamental level software like +>> >> GCL (and GMP) we need to make sure that the user has not +>> >> introduced unstable elements. A change in GMP would make minor +>> >> but incorrect changes to large, long running, and numerically +>> >> intense algorithms. The user would never know, or if they did +>> >> know, they would blame Axiom. + +>> >> Camm has just finished another minor release which he tested on +>> >> a couple of my systems. I have yet to fully qualify Axiom on +>> >> that release so it is not yet in the shipped system. I hope to +>> >> get the new GCL release into the November Axiom release. + +>> >> >> GCL uses GMP internally. I'm not sure what this has to do +>> >> >> with the rest of Gentoo. While I'm not opposed to using +>> >> >> gmp5 it would require coordination with Camm and validation +>> >> >> testing with Axiom. The GCL-internal version of GMP is +>> >> >> known to work on all platforms. I'd have to "qualify" gmp5 +>> >> >> on all of the platforms and also make sure that Axiom/GCL +>> >> >> interfaces don't change. + +>> >> > Ok, so this might be a more long-term project, but it's +>> >> > certainly worthwhile. By the way, do you know any release +>> >> > plans for gcl? I saw an alpha of 2.7 on a Debian mirror +>> >> > once, but I can't find anymore. + >> >> I copied Camm on this reply. He can give definitive answers. + >> >> >> fedora you type: >> >> >> export AXIOM=`pwd`/mnt/fedora >> >> >> and if you build on ubuntu >> >> >> export AXIOM=`pwd`/mnt/ubuntu ->> >> >> ->> >> >> The basename of the AXIOM variable is used to set up a makefile ->> >> >> with particular options. I'd propose creating a 'gentoo' option ->> >> >> so you can do ->> >> >> export AXIOM=`pwd`/mnt/gentoo + +>> >> >> The basename of the AXIOM variable is used to set up a +>> >> >> makefile with particular options. I'd propose creating a +>> >> >> 'gentoo' option so you can do export AXIOM=`pwd`/mnt/gentoo >> >> >> This generated makefile can unset the ABI shell variable. ->> >> > Well, we can also just unset ABI in the Gentoo package but the main ->> >> > problem really is that I can not track what happens with that internal ->> >> > gmp. Will gcl link statically against it? Or will it even try to ->> >> > install some shared libraries system-wide later? ->> >> > + +>> >> > Well, we can also just unset ABI in the Gentoo package but +>> >> > the main problem really is that I can not track what happens +>> >> > with that internal gmp. Will gcl link statically against +>> >> > it? Or will it even try to install some shared libraries +>> >> > system-wide later? + >> >> > Thanks, >> >> > Thomas >> >> > + >> >> >>>> I'd be happy to work with you to fix problems you encounter. ->> >> >>> That is good to hear. By the way, I have been trying with the July ->> >> >>> version, if this is fixed in September, please excuse. ->> >> >>>> Note that Axiom is a "literate program" so you're going to find ->> >> >>>> that most of the source lives in latex files. You will need a ->> >> >>>> running copy of latex and possibly some other "system" files. ->> >> >>>> See the apt-get various lists for other distributions to get an ->> >> >>>> idea of the missing files (e.g. git-core, texlive, gawk, etc). ->> >> >>> That is all set-up I think. The list of dependencies that we inferred is ->> >> >>> currently: ->> >> >>> + +>> >> >>> That is good to hear. By the way, I have been trying with +>> >> >>> the July version, if this is fixed in September, please +>> >> >>> excuse. + +>> >> >>>> Note that Axiom is a "literate program" so you're going +>> >> >>>> to find that most of the source lives in latex files. You +>> >> >>>> will need a running copy of latex and possibly some other +>> >> >>>> "system" files. See the apt-get various lists for other +>> >> >>>> distributions to get an idea of the missing files +>> >> >>>> (e.g. git-core, texlive, gawk, etc). + +>> >> >>> That is all set-up I think. The list of dependencies that +>> >> >>> we inferred is currently: + >> >> >>> virtual/latex-base >> >> >>> app-text/dvipdfm >> >> >>> dev-texlive/texlive-pstricks @@ -911,69 +752,40 @@ Thomas Kahle writes: >> >> >>> sys-apps/debianutils >> >> >>> sys-process/procps >> >> >>> > >> >>> ->> >> >>> These are Gentoo package names, but it should be more or less clear what ->> >> >>> is in there. ->> >> >>> ->> >> >>> Regards, ->> >> >>> Thomas ->> >> >>> ->> >> >>> ->> >> >>> + +>> >> >>> These are Gentoo package names, but it should be more or +>> >> >>> less clear what is in there. + >> >> >>>> On 9/30/2010 4:42 PM, Thomas Kahle wrote: >> >> >>>>> Dear Tim, ->> >> >>>>> ->> >> >>>>> I am trying to package Axiom for the Gentoo Linux distribution. Gentoo ->> >> >>>>> is a source based distribution in which the package manager ->> >> >>>>> automatically builds software on the users system. I encountered ->> >> >>>>> problems with packaging axiom because of its bundled copy of Gnu common ->> >> >>>>> lisp. In general, we have problems with bundled software because it ->> >> >>>>> creates code duplication and introduces all sorts of problems. Matters ->> >> >>>>> are being complicated by the fact that this flavor of lisp is more or ->> >> >>>>> less unmainted upstream. The last release is from 2005. Because of ->> >> >>>>> many unfixed problems gcl is currently not available in Gentoo. If we ->> >> >>>>> ignore Gentoo's policies for a moment and try to build axiom with the ->> >> >>>>> gcl that it ships internally, we find that this in turn tries to build ->> >> >>>>> an internal copy of gmp which will then fail. The reasons for this ->> >> >>>>> failures have all been long fixed in Gentoo's official gmp, so we really ->> >> >>>>> don't want to duplicate all this here. What are your plans for future ->> >> >>>>> versions of axiom in this regard? We would really like to include a ->> >> >>>>> recent version of axiom into Gentoo, but currently it seems impossible. ->> >> >>>>> Any hint you might have is appreciated. ->> >> >>>>> ->> >> >>>>> With kind regards, ->> >> >>>>> Thomas Kahle ->> >> >>>>> ->> >> >>>>> ->> >> >>>>> ->> > ->> > -- ->> > Thomas Kahle ->> > ->> > ->> > ->> ->> -- ->> Camm Maguire Camm Maguire ->> ========================================================================== ->> "The earth is but one country, and mankind its citizens." -- Baha'u'llah -> -> -- -> Thomas Kahle - --- -Camm Maguire Camm Maguire -========================================================================== -"The earth is but one country, and mankind its citizens." -- Baha'u'llah +>> >> >>>>> I am trying to package Axiom for the Gentoo Linux +>> >> >>>>> distribution. Gentoo is a source based distribution in +>> >> >>>>> which the package manager automatically builds software +>> >> >>>>> on the users system. I encountered problems with +>> >> >>>>> packaging axiom because of its bundled copy of Gnu +>> >> >>>>> common lisp. In general, we have problems with bundled +>> >> >>>>> software because it creates code duplication and +>> >> >>>>> introduces all sorts of problems. Matters are being +>> >> >>>>> complicated by the fact that this flavor of lisp is more +>> >> >>>>> or less unmainted upstream. The last release is from +>> >> >>>>> 2005. Because of many unfixed problems gcl is currently +>> >> >>>>> not available in Gentoo. If we ignore Gentoo's policies +>> >> >>>>> for a moment and try to build axiom with the gcl that it +>> >> >>>>> ships internally, we find that this in turn tries to +>> >> >>>>> build an internal copy of gmp which will then fail. The +>> >> >>>>> reasons for this failures have all been long fixed in +>> >> >>>>> Gentoo's official gmp, so we really don't want to +>> >> >>>>> duplicate all this here. What are your plans for future +>> >> >>>>> versions of axiom in this regard? We would really like +>> >> >>>>> to include a recent version of axiom into Gentoo, but +>> >> >>>>> currently it seems impossible. Any hint you might have +>> >> >>>>> is appreciated. \start -To: gcl-devel@gnu.org, maxima@math.utexas.edu, - list, - Matt Kaufmann -From: Camm Maguire Date: Wed, 27 Oct 2010 18:19:04 -0400 -Cc: +From: Camm Maguire +To: Matt Kaufmann Subject: 2.6.8 licensing Greetings! The FSF has requested that we "change the software license @@ -993,27 +805,14 @@ always. One can still build against an external bfd library if desired. It is probably necessary to keep the local gmp copy as a convenience as many users don't seem to have this installed. -Thoughts most welcome. - -Take care, --- -Camm Maguire Camm Maguire -========================================================================== -"The earth is but one country, and mankind its citizens." -- Baha'u'llah - - \start -From: Gabriel Dos Reis -To: Donald Winiecki - (Donald Winiecki's message of "Wed, 27 Oct 2010 20:28:18 -0600") - Date: Wed, 27 Oct 2010 23:09:01 -0500 -Cc: Camm Maguire, maxima@math.utexas.edu, - list, - open-axiom-devel@lists.sf.net, gcl-devel@gnu.org +From: Gabriel Dos Reis +To: Donald Winiecki Subject: Re: 2.6.8 licensing +Cc: Camm Maguire -Donald Winiecki writes: +Donald Winiecki writes: | A change to the most recent licenses will make things consistent with | FSF's current way of thinking about open source, though more @@ -1037,26 +836,18 @@ well those are separate issues, I would think. Having FSF owns copyright relieves from some legal paperwork and burdens. That is largely orthogonal to who actually does the development work. --- Gaby - - \start -To: Gabriel Dos Reis,Jerry James - - <87lj5jyn4y.fsf_-_@gauss.cs.tamu.edu> -From: Camm Maguire Date: Thu, 28 Oct 2010 09:55:04 -0400 - of "Wed\, 27 Oct 2010 23\:09\:01 -0500") -Cc: maxima@math.utexas.edu, Donald Winiecki , - open-axiom-devel@lists.sf.net, - list, gcl-devel@gnu.org +From: Camm Maguire +To: Gabriel Dos Reis, Jerry James Subject: Re: 2.6.8 licensing +Cc: Donald Winiecki Greetings! Gabriel Dos Reis writes: -> Donald Winiecki writes: +> Donald Winiecki writes: > > | A change to the most recent licenses will make things consistent with > | FSF's current way of thinking about open source, though more @@ -1090,51 +881,29 @@ Yes, this is orthogonal, and not too pressing. But I do wonder if the copyright holder has final say over issues such as licensing, which might not be the case now. -Take care, - -> -> -- Gaby -> -> -> -> - --- -Camm Maguire Camm Maguire -========================================================================== -"The earth is but one country, and mankind its citizens." -- Baha'u'llah - - \start Date: Wed, 27 Oct 2010 19:18:08 -0600 -From: Jerry James +From: Jerry James To: Camm Maguire -Cc: maxima@math.utexas.edu, list, - gcl-devel@gnu.org, Matt Kaufmann Subject: Re: [Gcl-devel] 2.6.8 licensing +Cc: Matt Kaufmann On Wed, Oct 27, 2010 at 4:19 PM, Camm Maguire wrot= e: -> Greetings! =C2=A0The FSF has requested that we "change the software licen= -se +> Greetings! The FSF has requested that we "change the software license > to GPLv3 or later, and the documentation license FDLv1.3 or later". > By this I think they mean LGPLv3 of course. Forgive me if I've mistaken your meaning, but there is an FDL: http://www.gnu.org/licenses/fdl-1.3.html ---=20 -Jerry James -http://www.jamezone.org/ - \start -From: Donald Winiecki Date: Wed, 27 Oct 2010 20:28:18 -0600 +From: Donald Winiecki To: Camm Maguire -Cc: maxima@math.utexas.edu, list, - gcl-devel@gnu.org, Matt Kaufmann Subject: Re: [Gcl-devel] 2.6.8 licensing +Cc: Matt Kaufmann A change to the most recent licenses will make things consistent with FSF's current way of thinking about open source, though more @@ -1148,22 +917,6 @@ GPL3? (I guess that's why Camm is querying the Axiom list.) And copyrighting GCL under the FSF seems like a reasonable idea, but without Camm, GCL would be fairly well static, I think. -_don - -~~~~~~~~~~~~~~~~~~~~~~~~~ -Don Winiecki, Ed.D., Ph.D. -Professor -Boise State University, College of Engineering -Department of Instructional & Performance Technology -1910 University Drive, Boise, Idaho 83725-2070 USA -E-mail: dwiniecki@boisestate.edu -WWW: http://ipt.boisestate.edu -Telephone: (+01) 208 426 1899 -Fax: (+01) 208 426 1970 -~~~~~~~~~~~~~~~~~~~~~~~~d - - - On Wed, Oct 27, 2010 at 4:19 PM, Camm Maguire wrot= e: > Greetings! =C2=A0The FSF has requested that we "change the software licen= @@ -1185,34 +938,12 @@ th > always. =C2=A0One can still build against an external bfd library if > desired. =C2=A0It is probably necessary to keep the local gmp copy as a > convenience as many users don't seem to have this installed. -> -> Thoughts most welcome. -> -> Take care, -> -- -> Camm Maguire =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= -=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = -=C2=A0Camm Maguire -> =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=3D=3D=3D=3D=3D=3D=3D -> "The earth is but one country, and mankind its citizens." =C2=A0-- =C2=A0= -Baha'u'llah -> -> _______________________________________________ -> Gcl-devel mailing list -> Gcl-devel@gnu.org -> http://lists.gnu.org/mailman/listinfo/gcl-devel -> - \start Date: Fri, 29 Oct 2010 10:30:27 -0400 From: Tim Daly - rv:1.9.2.9) Gecko/20100825 Thunderbird/3.1.3 To: list Subject: re: [Gcl-devel] 2.6.8 licensing - I have previously discussed the question of using GCL with Axiom. GCL, originally ACKL, was written under IBM contract for Axiom. @@ -1225,9 +956,6 @@ We add any patches, which we also distribute, at build time. Since the whole philosophical point of the GPL license is to guarantee the 4 freedoms, they are still guaranteed by this procedure. -Tim Daly - - On 10/27/2010 10:28 PM, Donald Winiecki wrote: > A change to the most recent licenses will make things consistent with > FSF's current way of thinking about open source, though more @@ -1241,22 +969,6 @@ On 10/27/2010 10:28 PM, Donald Winiecki wrote: > And copyrighting GCL under the FSF seems like a reasonable idea, but > without Camm, GCL would be fairly well static, I think. > -> _don -> -> ~~~~~~~~~~~~~~~~~~~~~~~~~ -> Don Winiecki, Ed.D., Ph.D. -> Professor -> Boise State University, College of Engineering -> Department of Instructional& Performance Technology -> 1910 University Drive, Boise, Idaho 83725-2070 USA -> E-mail: dwiniecki@boisestate.edu -> WWW: http://ipt.boisestate.edu -> Telephone: (+01) 208 426 1899 -> Fax: (+01) 208 426 1970 -> ~~~~~~~~~~~~~~~~~~~~~~~~d -> -> -> > On Wed, Oct 27, 2010 at 4:19 PM, Camm MaguireCamm Maguire wrote: >> Greetings! The FSF has requested that we "change the software license >> to GPLv3 or later, and the documentation license FDLv1.3 or later". @@ -1274,36 +986,12 @@ On 10/27/2010 10:28 PM, Donald Winiecki wrote: >> always. One can still build against an external bfd library if >> desired. It is probably necessary to keep the local gmp copy as a >> convenience as many users don't seem to have this installed. ->> ->> Thoughts most welcome. ->> ->> Take care, ->> -- ->> Camm Maguire Camm Maguire ->> ========================================================================== ->> "The earth is but one country, and mankind its citizens." -- Baha'u'llah ->> ->> _______________________________________________ ->> Gcl-devel mailing list ->> Gcl-devel@gnu.org ->> http://lists.gnu.org/mailman/listinfo/gcl-devel ->> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> - \start +Date: Fri, 29 Oct 2010 11:31:20 -0400 +From: Camm Maguire To: Tim Daly Subject: re: [Gcl-devel] 2.6.8 licensing - - <4CCADA83.50404@axiom-developer.org> -From: Camm Maguire -Date: Fri, 29 Oct 2010 11:31:20 -0400 - 29 Oct 2010 10\:30\:27 -0400") -Cc: list, gcl-devel@gnu.org Greetings! @@ -1349,22 +1037,6 @@ Take care, >> And copyrighting GCL under the FSF seems like a reasonable idea, but >> without Camm, GCL would be fairly well static, I think. >> ->> _don ->> ->> ~~~~~~~~~~~~~~~~~~~~~~~~~ ->> Don Winiecki, Ed.D., Ph.D. ->> Professor ->> Boise State University, College of Engineering ->> Department of Instructional& Performance Technology ->> 1910 University Drive, Boise, Idaho 83725-2070 USA ->> E-mail: dwiniecki@boisestate.edu ->> WWW: http://ipt.boisestate.edu ->> Telephone: (+01) 208 426 1899 ->> Fax: (+01) 208 426 1970 ->> ~~~~~~~~~~~~~~~~~~~~~~~~d ->> ->> ->> >> On Wed, Oct 27, 2010 at 4:19 PM, Camm MaguireCamm Maguire wrote: >>> Greetings! The FSF has requested that we "change the software license >>> to GPLv3 or later, and the documentation license FDLv1.3 or later". @@ -1382,52 +1054,12 @@ Take care, >>> always. One can still build against an external bfd library if >>> desired. It is probably necessary to keep the local gmp copy as a >>> convenience as many users don't seem to have this installed. ->>> ->>> Thoughts most welcome. ->>> ->>> Take care, ->>> -- ->>> Camm Maguire Camm Maguire ->>> ========================================================================== ->>> "The earth is but one country, and mankind its citizens." -- Baha'u'llah ->>> ->>> _______________________________________________ ->>> Gcl-devel mailing list ->>> Gcl-devel@gnu.org ->>> http://lists.gnu.org/mailman/listinfo/gcl-devel ->>> ->> _______________________________________________ ->> Axiom-developer mailing list ->> list ->> http://lists.nongnu.org/mailman/listinfo/axiom-developer ->> -> -> _______________________________________________ -> Axiom-developer mailing list -> list -> http://lists.nongnu.org/mailman/listinfo/axiom-developer -> -> -> -> - --- -Camm Maguire Camm Maguire -========================================================================== -"The earth is but one country, and mankind its citizens." -- Baha'u'llah - \start +Date: Fri, 29 Oct 2010 10:41:07 -0500 From: Gabriel Dos Reis To: Camm Maguire Subject: re: [Gcl-devel] 2.6.8 licensing - "Fri, 29 Oct 2010 11:31:20 -0400") - - <4CCADA83.50404@axiom-developer.org> - <87d3qtf22f.fsf@maguirefamily.org> -Date: Fri, 29 Oct 2010 10:41:07 -0500 -Cc: list, open-axiom-devel@lists.sf.net, - gcl-devel@gnu.org Camm Maguire writes: @@ -1437,6 +1069,5 @@ Camm Maguire writes: Yes, LGPLv3 is not an issue -- thanks for clarifying that point. --- Gaby diff --git a/book/2010-11.txt b/book/2010-11.txt index 2f32546..2ce6601 100644 --- a/book/2010-11.txt +++ b/book/2010-11.txt @@ -1,31 +1,9 @@ \start -To: Gabriel Dos Reis - <4C4E20B0.7060604@pacbell.net> <871vapnhwr.fsf@maguirefamily.org> - <201007271406.o6RE6C8p017915@sundance.cs.utexas.edu> - <87sk34ki04.fsf@maguirefamily.org> - <201007271716.o6RHG3hv019550@sundance.cs.utexas.edu> - <87eieohlex.fsf@maguirefamily.org> <874ofk8ubg.fsf@maguirefamily.org> - <201007272202.o6RM227m021889@sundance.cs.utexas.edu> - <87iq404iky.fsf@maguirefamily.org> - <201007280655.o6S6tJph025883@sundance.cs.utexas.edu> - <87vd7zjnb6.fsf_-_@maguirefamily.org> - <87bp9rp7zx.fsf@gauss.cs.tamu.edu> <87aalxgj6g.fsf@maguirefamily.org> - <8739rou5l1.fsf@gauss.cs.tamu.edu> <87d3qsr8ub.fsf@maguirefamily.org> - <87vd4k629d.fsf@gauss.cs.tamu.edu> - <87tyk47cji.fsf_-_@maguirefamily.org> - <87r5f8wlmm.fsf_-_@gauss.cs.tamu.edu> - <8739ro4gmt.fsf@maguirefamily.org> - -From: Camm Maguire Date: Sun, 31 Oct 2010 21:57:22 -0400 - (Gabriel Dos Reis's message of "Fri\, - 29 Oct 2010 20\:38\:48 -0500") -Cc: Gabriel Dos Reis, - Donald Winiecki , gcl-devel@gnu.org, - open-axiom-devel@lists.sf.net, list +From: Camm Maguire +To: Gabriel Dos Reis Subject: Re: [Gcl-devel] Re: open-axiom builds on mingw32 - -Greetings! +Cc: Donald Winiecki My apologies -- one small change required in the open axiom src/lisp/Makefile -- comment out the cp of rsym.exe, which is now @@ -34,7 +12,7 @@ interwork with earlier versions.) fricas builds too, but with the above change, and a manual replacing of all the /c/ paths in src/lisp/Makefile with c:/. Tried alias -pwd=3D"pwd -W", but this did not seem to do the trick. +pwd="pwd -W", but this did not seem to do the trick. I wish I could figure out a clean resolution to these path issues, as they also arise with the hol88 I've tried to build. But I'm taking @@ -98,67 +76,13 @@ es not. >>> In principle, you should be able to build FriCAS natively on Windows >>> because it derives from axiom.build-improvements, but I cannot guarantee >>> it. ->>> ->>> -- Gaby ->>> ->>> ->>> ->> ->> -- ->> Camm Maguire =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= -=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = -=C2=A0Camm Maguire ->> =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=3D=3D=3D=3D=3D=3D=3D ->> "The earth is but one country, and mankind its citizens." =C2=A0-- =C2= -=A0Baha'u'llah ->> ->> _______________________________________________ ->> Gcl-devel mailing list ->> Gcl-devel@gnu.org ->> http://lists.gnu.org/mailman/listinfo/gcl-devel ->> -> -> -> -> - ---=20 -Camm Maguire Camm Maguire -=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=3D=3D=3D=3D=3D=3D=3D -"The earth is but one country, and mankind its citizens." -- Baha'u'llah - \start +Date: Mon, 01 Nov 2010 09:14:56 -0500 From: Gabriel Dos Reis To: Camm Maguire - "Sun, 31 Oct 2010 21:57:22 -0400") - <871vapnhwr.fsf@maguirefamily.org> - <201007271406.o6RE6C8p017915@sundance.cs.utexas.edu> - <87sk34ki04.fsf@maguirefamily.org> - <201007271716.o6RHG3hv019550@sundance.cs.utexas.edu> - <87eieohlex.fsf@maguirefamily.org> <874ofk8ubg.fsf@maguirefamily.org> - <201007272202.o6RM227m021889@sundance.cs.utexas.edu> - <87iq404iky.fsf@maguirefamily.org> - <201007280655.o6S6tJph025883@sundance.cs.utexas.edu> - <87vd7zjnb6.fsf_-_@maguirefamily.org> - <87bp9rp7zx.fsf@gauss.cs.tamu.edu> <87aalxgj6g.fsf@maguirefamily.org> - <8739rou5l1.fsf@gauss.cs.tamu.edu> <87d3qsr8ub.fsf@maguirefamily.org> - <87vd4k629d.fsf@gauss.cs.tamu.edu> - <87tyk47cji.fsf_-_@maguirefamily.org> - <87r5f8wlmm.fsf_-_@gauss.cs.tamu.edu> - <8739ro4gmt.fsf@maguirefamily.org> - - <87aaltst4t.fsf@maguirefamily.org> -Date: Mon, 01 Nov 2010 09:14:56 -0500 -Cc: Donald Winiecki , open-axiom-devel@lists.sf.net, - list, gcl-devel@gnu.org Subject: Re: [Gcl-devel] Re: open-axiom builds on mingw32 - ---=-=-= +Cc: Donald Winiecki Camm Maguire writes: @@ -200,10 +124,6 @@ issue as a bug in FriCAS's Makefile. | > should be. --- Gaby - - ---=-=-= *** config/open-axiom.m4 (revision 3828) --- config/open-axiom.m4 (local) @@ -266,17 +186,9 @@ issue as a bug in FriCAS's Makefile. \start +Date: Sat, 13 Nov 2010 16:28:30 +0000 From: Martin Baker To: Tim Daly, - list -Date: Sat, 13 Nov 2010 16:28:30 +0000 - charset="iso-8859-1" - k8wWpP7gX8+gQrmwIjQFgECuGUJVL57EWgUc3sCG7LsPGOyGDK - dUMjcC0+z36BqmPcStXv/DDzpEBZH1AeuBt9HSdbTYtltXwybH - 5lfd7pTzBwpMp26j3F5R1zMOMazXxXKPSKXSd1U3PP9wtd52z5 - S2QWls2pZfnsx+yHKwecg== - recognized. -Cc: Subject: Re: Two stage compiler On Saturday 13 Nov 2010 15:55:08 you wrote: @@ -289,37 +201,30 @@ On Saturday 13 Nov 2010 15:55:08 you wrote: > > Tim -Tim, - Thanks very much for the reply. -I somehow got the impression (possibly from daase.lisp.pamphlet I can't -remember now) that the SPAD compiler and the interpreter were both driven from -the database files: (interp.daase, operation.daase, category.daase, -compress.daase, browse.daase) and that this involved a lot of custom code -(different for the compiler and interpreter) written in a mixture of Lisp and -'boot' code. Have I got this wrong? - -It just seemed to me that if, the pattern matching could be separated out -(still driven from the tables), then the rest (Lex, Parse, Semantic Analysis -and so on) could be done by standard tools like ANTLR. +I somehow got the impression (possibly from daase.lisp.pamphlet I +can't remember now) that the SPAD compiler and the interpreter were +both driven from the database files: (interp.daase, operation.daase, +category.daase, compress.daase, browse.daase) and that this involved a +lot of custom code (different for the compiler and interpreter) +written in a mixture of Lisp and 'boot' code. Have I got this wrong? -As I have mentioned before I would really like better error messages and -programming environment and it seemed to me that this might help with this? I -also thought thought it might help you if it made the code more maintainable? -But, of course, I don't understand all the practical issues that might stop -this working. - -Martin Baker +It just seemed to me that if, the pattern matching could be separated +out (still driven from the tables), then the rest (Lex, Parse, +Semantic Analysis and so on) could be done by standard tools like +ANTLR. +As I have mentioned before I would really like better error messages +and programming environment and it seemed to me that this might help +with this? I also thought thought it might help you if it made the +code more maintainable? But, of course, I don't understand all the +practical issues that might stop this working. \start Date: Sat, 13 Nov 2010 12:56:16 -0500 From: Tim Daly - rv:1.9.2.9) Gecko/20100825 Thunderbird/3.1.3 To: Martin Baker - <201011131628.30868.Martin Baker> -Cc: list Subject: Re: Two stage compiler Martin, @@ -336,9 +241,6 @@ On 11/13/2010 11:28 AM, Martin Baker wrote: >> representations of the form (DEF ... ) and then turned >> into optimized lisp programs and then turned into C and >> then compiled. ->> ->> Tim -> Tim, > > Thanks very much for the reply. > @@ -348,9 +250,10 @@ On 11/13/2010 11:28 AM, Martin Baker wrote: > compress.daase, browse.daase) and that this involved a lot of custom code > (different for the compiler and interpreter) written in a mixture of Lisp and > 'boot' code. Have I got this wrong? -The compiler was a mixture of boot and lisp (although boot is just syntactic -sugar over lisp and gets translated to lisp). There is no boot code -in Axiom anymore, it is all common lisp. + +The compiler was a mixture of boot and lisp (although boot is just +syntactic sugar over lisp and gets translated to lisp). There is no +boot code in Axiom anymore, it is all common lisp. Axiom is using a Pratt parser which is very efficient technology. The Spad compiler parses the top level Spad syntax into a prefix internal @@ -359,65 +262,56 @@ tend to mirror Spad language constructs. These are lisp s-expressions. From there these are translated to common lisp. When using GCL, the common lisp gets translated to C and the C is compiled using GCC. -> It just seemed to me that if, the pattern matching could be separated out -> (still driven from the tables), then the rest (Lex, Parse, Semantic Analysis -> and so on) could be done by standard tools like ANTLR. +> It just seemed to me that if, the pattern matching could be +> separated out (still driven from the tables), then the rest (Lex, +> Parse, Semantic Analysis and so on) could be done by standard tools +> like ANTLR. + ANTLR is a java tool. Lisp is so much better suited for doing compiler work than Java. Once the Spad syntax is translated into s-expressions, these are the same as AST forms in a compiler. Lisp can easily manipulate these forms and a lot of optimizations are applied before they get compiled. -Many of these forms can be written as macros and executed directly. Boot -code -could not exploit the full power of lisp macros. It limited you to a -Python-like -syntax which is somewhat pointless. Boot code also could not use the -structuring -functions (like defstruct, CLOS) properly so a lot of the code relies on -global +Many of these forms can be written as macros and executed +directly. Boot code could not exploit the full power of lisp +macros. It limited you to a Python-like syntax which is somewhat +pointless. Boot code also could not use the structuring functions +(like defstruct, CLOS) properly so a lot of the code relies on global variables. This will eventually get fixed. + > As I have mentioned before I would really like better error messages and > programming environment and it seemed to me that this might help with this? I > also thought thought it might help you if it made the code more maintainable? > But, of course, I don't understand all the practical issues that might stop > this working. + The issue of better error messages is a question of keeping context around. Axiom does tell you exactly what the problem is. It prints the -failed expression in <<...>>, the type of expression it was expecting and -the expression it found. If you understand the internal compiler -s-expressions -it is all perfectly obvious :-) - -Good error messages require that you keep a trail of where you are in the -original code and how each sub-expression in the original code relates to -the compiled form. This is a matter of careful book-keeping. It also -requires -that you related the failure to the intention of the compiler, a more subtle -issue. Even more subtle is the nuance of the language details. Good error -messages are hard. - -The Spad compiler was written as a research effort to explore ideas like -encapsulation and dispatching not only on the types of the arguments but -also on the type of the returned value (something very few languages STILL -do not allow). The people who wrote it were also the only users of it. -So the error messages were perfectly obvious to us. - -One of the eventual goals of the rewrite will be to include this -book-keeping -and error messages. - -Tim Daly -> Martin Baker -> - +failed expression in <<...>>, the type of expression it was expecting +and the expression it found. If you understand the internal compiler +s-expressions it is all perfectly obvious :-) + +Good error messages require that you keep a trail of where you are in +the original code and how each sub-expression in the original code +relates to the compiled form. This is a matter of careful +book-keeping. It also requires that you related the failure to the +intention of the compiler, a more subtle issue. Even more subtle is +the nuance of the language details. Good error messages are hard. + +The Spad compiler was written as a research effort to explore ideas +like encapsulation and dispatching not only on the types of the +arguments but also on the type of the returned value (something very +few languages STILL do not allow). The people who wrote it were also +the only users of it. So the error messages were perfectly obvious to +us. + +One of the eventual goals of the rewrite will be to include this +book-keeping and error messages. \start Date: Fri, 19 Nov 2010 11:45:16 +0000 (GMT) -From: Dan -To: gcl-devel@gnu.org, Maxima mailing list , - list - 4) -Cc: +From: Dan Hatton +To: Subject: Re: [Maxima] 2.6.8 licensing On Wed, 27 Oct 2010, Camm Maguire wrote: @@ -436,10 +330,4 @@ later" clauses. We have no idea what might be in a future version of the GPL or FDL, and therefore no idea what we're signing up to if we include those clauses. --- - -Regards, - -Dan - diff --git a/book/2010-12.txt b/book/2010-12.txt index d6d78a5..bc0b31d 100644 --- a/book/2010-12.txt +++ b/book/2010-12.txt @@ -1,7 +1,6 @@ \start Date: Sun, 05 Dec 2010 13:21:20 -0500 From: Tim Daly - rv:1.9.2.9) Gecko/20100825 Thunderbird/3.1.3 To: list Subject: November 2010 release diff --git a/book/2011-02.txt b/book/2011-02.txt index 39e987b..ed25161 100644 --- a/book/2011-02.txt +++ b/book/2011-02.txt @@ -1329,7 +1329,7 @@ Tim Daly \start Date: Sat, 12 Feb 2011 20:33:26 -0600 -From: Raymond Rogers +From: Raymond Rogers rv:1.9.2.13) Gecko/20101207 Thunderbird/3.1.7 To: list Subject: Re:Re: [sage-devel] Re: sage thoughts diff --git a/book/2011-08.txt b/book/2011-08.txt index 11e4ebb..1e19633 100644 --- a/book/2011-08.txt +++ b/book/2011-08.txt @@ -24,7 +24,7 @@ Universit=C3=A4t Kassel \start -From: Grigory Sarnitskiy +From: Grigory Sarnitskiy Envelope-From: sargrigory@yandex.ru To: list Date: Sun, 07 Aug 2011 22:07:14 +0400 @@ -38,7 +38,7 @@ Hello! How was axiom's bookvol10.2.pamphlet file generated? \start From: Tim Daly Date: Sun, 7 Aug 2011 15:25:39 -0500 -To: "Grigory Sarnitskiy" +To: "Grigory Sarnitskiy" Grigory Sarnitskiy Cc: list Subject: How was axiom's bookvol10.2.pamphlet file generated? @@ -338,7 +338,7 @@ yes, but over here in Texas, we are still averaging over 105 F. \start -From: Grigory Sarnitskiy +From: Grigory Sarnitskiy Envelope-From: sargrigory@yandex.ru To: list Date: Sun, 28 Aug 2011 16:19:49 +0400 @@ -382,7 +382,7 @@ And how were graphs generated from this pamphlet? I mean dotfull and dotabb. The \start From: daly Tim Daly -To: Grigory Sarnitskiy +To: Grigory Sarnitskiy <204111314533989@web107.yandex.ru> Date: Sun, 28 Aug 2011 16:19:33 -0400 Cc: list @@ -448,7 +448,7 @@ On Sun, 2011-08-28 at 16:19 +0400, Grigory Sarnitskiy wrote: \start -From: Grigory Sarnitskiy +From: Grigory Sarnitskiy Envelope-From: sargrigory@yandex.ru To: list <204111314533989@web107.yandex.ru> <1314562773.2543.153.camel@pewter> diff --git a/book/2011-09.txt b/book/2011-09.txt index 3ef98b4..b893475 100644 --- a/book/2011-09.txt +++ b/book/2011-09.txt @@ -1,6 +1,6 @@ \start From: daly Tim Daly -To: Grigory Sarnitskiy +To: Grigory Sarnitskiy <204111314533989@web107.yandex.ru> Date: Sun, 04 Sep 2011 18:09:35 -0400 Cc: list diff --git a/book/2011-11.txt b/book/2011-11.txt index 1e34b32..98efb26 100644 --- a/book/2011-11.txt +++ b/book/2011-11.txt @@ -2390,7 +2390,7 @@ Tim Daly \start Date: Sat, 19 Nov 2011 13:52:35 -0600 -From: Raymond Rogers +From: Raymond Rogers rv:8.0) Gecko/20111105 Thunderbird/8.0 To: daly Tim Daly <33378874.2870.1321675364798.JavaMail.geo-discussion-forums@yqoo7> @@ -2422,7 +2422,7 @@ Ray \start From: daly Tim Daly -To: Raymond Rogers +To: Raymond Rogers <33378874.2870.1321675364798.JavaMail.geo-discussion-forums@yqoo7> diff --git a/book/2012-06.txt b/book/2012-06.txt index 48dc5a3..dd112b3 100644 --- a/book/2012-06.txt +++ b/book/2012-06.txt @@ -1,5 +1,5 @@ \start -From: Grigory Sarnitskiy +From: Grigory Sarnitskiy To: "list" <1335513847.2382.27.camel@pewter> @@ -114,7 +114,7 @@ zips/ \start Date: Mon, 11 Jun 2012 10:03:20 -0400 From: Alfredo Portes -To: Grigory Sarnitskiy +To: Grigory Sarnitskiy recognized. Cc: "list" Subject: Re: axiom-wiki: PanAxiom or separate project @@ -129,7 +129,7 @@ The another good reference you can probably find is in Martin Baker's site: http://www.euclideanspace.com/maths/standards/program/spad/index.htm -On Fri, Jun 8, 2012 at 2:48 AM, Grigory Sarnitskiy wrote: +On Fri, Jun 8, 2012 at 2:48 AM, Grigory Sarnitskiy wrote: > Any progress? The wiki is still shown in google search results, but unfortunately its pages are not cashed. I just wanted to know if there is really no parametric polymorphism in Spad. > > _______________________________________________ @@ -326,7 +326,7 @@ Camm Maguire Camm Maguire \start -To: sargrigory@ya.ru (Grigory Sarnitskiy) +To: Grigory Sarnitskiy (Grigory Sarnitskiy) Date: Mon, 11 Jun 2012 20:44:29 +0200 (CEST) From: Waldek Hebisch recognized. diff --git a/book/2013-08.txt b/book/2013-08.txt index 76d7088..56a9e40 100644 --- a/book/2013-08.txt +++ b/book/2013-08.txt @@ -236,7 +236,7 @@ To: gcl-devel@gnu.org,Matt Kaufmann, , list, Gabriel Dos Reis , - Donald Winiecki + Donald Winiecki Date: Tue, 27 Aug 2013 11:48:24 -0400 Message-id: <8738pvp22f.fsf@maguirefamily.org> MIME-version: 1.0 @@ -345,7 +345,7 @@ Camm Maguire Camm Maguire Date: Wed, 28 Aug 2013 05:37:22 -0700 To: Camm Maguire From: Henry Baker -Cc: , Donald Winiecki , +Cc: , Donald Winiecki, gcl-devel@gnu.org, Gabriel Dos Reis , Matt Kaufmann, "maxima@math.utexas.edu" , diff --git a/book/2013-09.txt b/book/2013-09.txt index e248027..c7daee6 100644 --- a/book/2013-09.txt +++ b/book/2013-09.txt @@ -90,7 +90,7 @@ Date: Wed, 4 Sep 2013 16:22:14 -0500 From: Matt Kaufmann To: Camm Maguire Tue, 27 Aug 2013 11:48:24 -0400) -Cc: , dwiniecki@boisestate.edu, gcl-devel@gnu.org, +Cc: , Donald Winiecki, gcl-devel@gnu.org, open-axiom-devel@lists.sf.net, maxima@math.utexas.edu, list Subject: Re: GCL 2.6.8 and 2.6.9 are released @@ -205,7 +205,7 @@ Thanks - \start -From: Donald Winiecki +From: Donald Winiecki Date: Wed, 4 Sep 2013 15:32:02 -0600 To: Matt Kaufmann [fuzzy] @@ -341,7 +341,7 @@ On Wed, Sep 4, 2013 at 3:22 PM, Matt Kaufmann wrote: \start Date: Wed, 4 Sep 2013 16:37:02 -0500 From: Matt Kaufmann -To: Donald Winiecki +To: Donald Winiecki (message from Donald Winiecki on Wed, 4 Sep 2013 15:32:02 -0600) <201309042122.r84LMEXt024883@sloth.cs.utexas.edu> @@ -357,7 +357,7 @@ know whether 2.6.9 ANSI builds on Linux are expected to work. Thanks -- -- Matt - From: Donald Winiecki + From: Donald Winiecki Date: Wed, 4 Sep 2013 15:32:02 -0600 Cc: Camm Maguire, "GCL-devel@gnu.org" , maxima@math.utexas.edu, @@ -494,7 +494,7 @@ Date: Wed, 04 Sep 2013 15:26:17 -0700 To: Matt Kaufmann From: Henry Baker <201309042122.r84LMEXt024883@sloth.cs.utexas.edu> -Cc: , dwiniecki@boisestate.edu, gcl-devel@gnu.org, +Cc: , Donald Winiecki, gcl-devel@gnu.org, Camm Maguire, open-axiom-devel@lists.sf.net, maxima@math.utexas.edu, list @@ -623,7 +623,7 @@ To: John Lapeyre <201309042137.r84Lb2s7025295@sloth.cs.utexas.edu> <5227B7CE.4060403@gmail.com> -Cc: , dwiniecki@boisestate.edu, gcl-devel@gnu.org, +Cc: , Donald Winiecki, gcl-devel@gnu.org, open-axiom-devel@lists.sf.net, maxima@math.utexas.edu, list Subject: Re: [Maxima] GCL 2.6.8 and 2.6.9 are released @@ -647,7 +647,7 @@ Regards, Matt Date: Thu, 05 Sep 2013 00:44:30 +0200 From: John Lapeyre - CC: Donald Winiecki , , + CC: Donald Winiecki, , gcl-devel@gnu.org, open-axiom-devel@lists.sf.net, maxima@math.utexas.edu, list @@ -686,7 +686,7 @@ Matt > > Thanks -- > -- Matt - > From: Donald Winiecki + > From: Donald Winiecki > Date: Wed, 4 Sep 2013 15:32:02 -0600 > Cc: Camm Maguire, > "GCL-devel@gnu.org" , maxima@math.utexas.edu, @@ -870,7 +870,7 @@ Matt >
> Thanks --
> -- Matt
- > From: Donald Winiecki <dwiniecki@boisestate.edu>
+ > From: Donald Winiecki <Donald Winiecki>
> Date: Wed, 4 Sep 2013 15:32:02 -0600
> Cc: Camm Maguire <Camm Maguire>,
> "GCL-devel@gnu.org" <gcl-devel@gnu.org>, @@ -1061,7 +1061,7 @@ Matt \start -From: Donald Winiecki +From: Donald Winiecki Date: Wed, 4 Sep 2013 18:47:19 -0600 To: Matt Kaufmann [fuzzy] @@ -1101,7 +1101,7 @@ On Wed, Sep 4, 2013 at 4:52 PM, Matt Kaufmann wrote: > Matt > Date: Thu, 05 Sep 2013 00:44:30 +0200 > From: John Lapeyre -> CC: Donald Winiecki , , +> CC: Donald Winiecki, , > gcl-devel@gnu.org, open-axiom-devel@lists.sf.net, > maxima@math.utexas.edu, list > @@ -1140,7 +1140,7 @@ On Wed, Sep 4, 2013 at 4:52 PM, Matt Kaufmann wrote: > > > > Thanks -- > > -- Matt -> > From: Donald Winiecki +> > From: Donald Winiecki > > Date: Wed, 4 Sep 2013 15:32:02 -0600 > > Cc: Camm Maguire, > > "GCL-devel@gnu.org" , maxima@math.utexas.edu, @@ -1324,7 +1324,7 @@ On Wed, Sep 4, 2013 at 4:52 PM, Matt Kaufmann wrote: > >
> > Thanks --
> > -- Matt
-> > From: Donald Winiecki <dwiniecki@boisestate.edu>
+> > From: Donald Winiecki <Donald Winiecki>
> > Date: Wed, 4 Sep 2013 15:32:02 -0600
> > Cc: Camm Maguire <Camm Maguire>,
> > "GCL-devel@gnu.org" <gcl-devel@gnu.org>, @@ -1524,7 +1524,7 @@ To: Matt Kaufmann <201309042137.r84Lb2s7025295@sloth.cs.utexas.edu> boundary="------------060608030209050904060606" (bad octet value). -Cc: , Donald Winiecki , +Cc: , Donald Winiecki, gcl-devel@gnu.org, open-axiom-devel@lists.sf.net, maxima@math.utexas.edu, list Subject: Re: [Maxima] GCL 2.6.8 and 2.6.9 are released @@ -1562,7 +1562,7 @@ and gcl (2.6.8 and 2.6.9 ) is the only one that still fails to load asdf. > > Thanks -- > -- Matt -> From: Donald Winiecki +> From: Donald Winiecki > Date: Wed, 4 Sep 2013 15:32:02 -0600 > Cc: Camm Maguire, > "GCL-devel@gnu.org" , maxima@math.utexas.edu, @@ -1744,7 +1744,7 @@ wrote: >
> Thanks --
> -- Matt
- > From: Donald Winiecki <dwiniecki@boisestate.edu>
+ > From: Donald Winiecki <Donald Winiecki>
> Date: Wed, 4 Sep 2013 15:32:02 -0600
> Cc: Camm Maguire <Camm Maguire>,
> "GCL-devel@gnu.org" <gcl-devel@gnu.org>, @@ -1945,7 +1945,7 @@ Date: Fri, 06 Sep 2013 10:35:01 -0400 Message-id: <8761ueggru.fsf@maguirefamily.org> MIME-version: 1.0 recognized. -Cc: , dwiniecki@boisestate.edu, +Cc: , Donald Winiecki, John Lapeyre , gcl-devel@gnu.org, open-axiom-devel@lists.sf.net, maxima@math.utexas.edu, list @@ -1991,7 +1991,7 @@ Matt Kaufmann writes: > Matt > Date: Thu, 05 Sep 2013 00:44:30 +0200 > From: John Lapeyre -> CC: Donald Winiecki , , +> CC: Donald Winiecki, , > gcl-devel@gnu.org, open-axiom-devel@lists.sf.net, > maxima@math.utexas.edu, list > @@ -2030,7 +2030,7 @@ Matt Kaufmann writes: > > > > Thanks -- > > -- Matt -> > From: Donald Winiecki +> > From: Donald Winiecki > > Date: Wed, 4 Sep 2013 15:32:02 -0600 > > Cc: Camm Maguire, > > "GCL-devel@gnu.org" , maxima@math.utexas.edu, @@ -2214,7 +2214,7 @@ Matt Kaufmann writes: > >
> > Thanks --
> > -- Matt
-> > From: Donald Winiecki <dwiniecki@boisestate.edu>
+> > From: Donald Winiecki <Donald Winiecki>
> > Date: Wed, 4 Sep 2013 15:32:02 -0600
> > Cc: Camm Maguire <Camm Maguire>,
> > "GCL-devel@gnu.org" <gcl-devel@gnu.org>, @@ -2428,7 +2428,7 @@ Date: Fri, 06 Sep 2013 10:41:45 -0400 Message-id: <871u52gggm.fsf@maguirefamily.org> MIME-version: 1.0 recognized. -Cc: , Donald Winiecki , +Cc: , Donald Winiecki, gcl-devel@gnu.org, open-axiom-devel@lists.sf.net, Matt Kaufmann, maxima@math.utexas.edu, list @@ -2509,7 +2509,7 @@ Date: Fri, 06 Sep 2013 10:42:28 -0400 Message-id: <87wqmuf1uz.fsf@maguirefamily.org> MIME-version: 1.0 recognized. -Cc: , dwiniecki@boisestate.edu, gcl-devel@gnu.org, +Cc: , Donald Winiecki, gcl-devel@gnu.org, open-axiom-devel@lists.sf.net, Matt Kaufmann, maxima@math.utexas.edu, list @@ -2541,7 +2541,7 @@ Date: Fri, 06 Sep 2013 10:54:45 -0400 Message-id: <87ppsmf1ai.fsf@maguirefamily.org> MIME-version: 1.0 recognized. -Cc: , Donald Winiecki , +Cc: , Donald Winiecki, "GCL-devel@gnu.org" , open-axiom-devel@lists.sf.net, Matt Kaufmann, maxima@math.utexas.edu, list @@ -2597,7 +2597,7 @@ Date: Fri, 06 Sep 2013 11:23:10 -0400 Message-id: <87hadyezz5.fsf@maguirefamily.org> MIME-version: 1.0 recognized. -Cc: , Donald Winiecki , +Cc: , Donald Winiecki, gcl-devel@gnu.org, open-axiom-devel@lists.sf.net, maxima@math.utexas.edu, list Subject: Re: GCL 2.6.8 and 2.6.9 are released @@ -2647,7 +2647,7 @@ From: Henry Baker <201309042122.r84LMEXt024883@sloth.cs.utexas.edu> <87wqmuf1uz.fsf@maguirefamily.org> -Cc: , dwiniecki@boisestate.edu, gcl-devel@gnu.org, +Cc: , Donald Winiecki, gcl-devel@gnu.org, open-axiom-devel@lists.sf.net, Matt Kaufmann, maxima@math.utexas.edu, list @@ -2687,7 +2687,7 @@ To: Henry Baker MIME-version: 1.0 r86I2jDP001534 recognized. -Cc: , dwiniecki@boisestate.edu, gcl-devel@gnu.org, +Cc: , Donald Winiecki, gcl-devel@gnu.org, Camm Maguire, open-axiom-devel@lists.sf.net, Matt Kaufmann, maxima@math.utexas.edu, list Subject: Re: [Maxima] [Gcl-devel] GCL 2.6.8 and 2.6.9 are @@ -2745,7 +2745,7 @@ Leo \start From: Camm Maguire To: gcl-devel@gnu.org,Matt Kaufmann, - , Donald Winiecki , + , Donald Winiecki, open-axiom-devel@lists.sf.net, maxima@math.utexas.edu, list Date: Wed, 18 Sep 2013 15:59:02 -0400 diff --git a/book/2013-11.txt b/book/2013-11.txt index da65616..578f169 100644 --- a/book/2013-11.txt +++ b/book/2013-11.txt @@ -68,7 +68,7 @@ Fabio \start -From: Grigory Sarnitsky +From: Grigory Sarnitsky Grigory Sarnitskiy Date: Sun, 10 Nov 2013 09:59:46 +0400 To: list Subject: Re: Vim syntax file diff --git a/changelog b/changelog index f0e7f8e..2a8abbc 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,8 @@ +20140608 tpd src/axiom-website/patches.html 20140608.01.tpd.patch +20140608 tpd book/*.txt email cleanup +20140607 tpd src/axiom-website/patches.html 20140607.02.tpd.patch +20140607 tpd src/input/Makefile add segletes +20140607 tpd src/input/segletes.input implement 6, 8, 10, 12 Ei functions 20140607 tpd src/axiom-website/patches.html 20140607.01.tpd.patch 20140607 tpd books/bookvolbib add abstract for Segletes 98, fix duplicate 20140606 tpd src/axiom-website/patches.html 20140606.04.tpd.patch diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index af42a20..ca06531 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -4396,6 +4396,10 @@ book/*.txt email cleanup books/bookvolbib add special functions / exponential integral 20140607.01.tpd.patch books/bookvolbib add abstract for Segletes 98, fix duplicate +20140607.02.tpd.patch +src/input/segletes.input implement 6, 8, 10, 12 Ei functions +20140608.01.tpd.patch +book/*.txt email cleanup