A long time ago there was some dicussion of creating a "foundation" for AXIOM;
this was along about 2005.
I would like to resume that discussion in the context of using AXIOM
as a possible sub-part of a proposal originally mentioned in an
AGI/BICA draft paper.
Gene
An amusing anecdote about proofs can be found in
"My Brain Is Open" by Bruce Schechter; the subtitle is
'The Mathematical Journeys of Paul Erdos'.
At the bottom of p.20 Erdos asks Andrew Vazsonyi
how many proofs of the Pythagorean theorem did he know.
Vazsonyi's answer was that he only knew one.
/19, Eugene Surowitz wrote:
The Scratchpad II Newsletter v.1 n.2 Sept 1 1985
appears to be a slightly earlier version than the copy I found
in a box of Scratchpad-ish literature I have.
I also found a copy of "Scratchpad User's Manual" dated June 1975!
Also have a copy of "Sc
The Scratchpad II Newsletter v.1 n.2 Sept 1 1985
appears to be a slightly earlier version than the copy I found
in a box of Scratchpad-ish literature I have.
I also found a copy of "Scratchpad User's Manual" dated June 1975!
Also have a copy of "Scratchpad / Technical Newsletter" 11/15/1975.
Dit
Tim:
The notion of a "set of measure zero" could just
be hiding the fact that they just don't know what it is ;)
On to something less humorous:
I am about to up grade my primary system to a MAC device
with Windows 10 and Linux as alternate boots.
This is part of a project I've been contemplat
Wonderful!
But do you know what levels of the OS's are required?
Gene
On 1/2/2015 12:19 PM, d...@axiom-developer.org wrote:
Docker is a "container technology". It allows Axiom images that should
"just run" without users having to install software. When a docker
container is built all of the re
Tim:
I suggest that the "Videos" entry under "Site Navigation"
be moved up and be placed under the "Information category"
replacing "How to participate" which has been pointing
to a page that has contained nothing but "Todo" for as long
as I can remember.
Or possibly just after "Screenshots".
P
"all" is a very big word even in lower-case.
I consider Axiom and its forks to all be partial successes
which are leading to excellent competitive experiments.
So: all-{1}.
Cheers, Gene
On 12/30/2014 2:30 PM, d...@axiom-developer.org wrote:
Gentlemen,
It is completely clear that you disagree
Here's some of my reactions:
On 12/29/2014 4:05 PM, Bill Page wrote:
On 24 December 2014 at 20:31, Eugene Surowitz wrote:
Ralf is only telling it as it is,
but I wish I could be even as pessimistic as him.
I am definitely not as pessimistic as either of you!
I'm glad to hear th
Once upon a time in the land of HAL,
I had to nursemaid thirty systems that were to be
kept or brought up to a common level.
Since they had to intercommunicate,
level differences were not tolerable.
There was a multi-page list of procedure steps,
to be performed in sequence but was never called a
Waldek: Thank you for providing this explanation of
your viewpoint and experiences that motivate it.
Up until now I was baffled by what you seemed to be doing.
It seems clear the kind of support mechanism(s) that
a code complex like PanAxiom needs must be very dynamically
adaptable at a keystroke
Well said.
My own general interest resides in mechanisms that
could possibly reduce the entry-effort price.
Now that I gave World Scientific the OK to
go to print with "Einstein's Apple", I'm getting
some free time to resume exploring some ideas.
Cheers, Gene
On 12/25/2014 1:40 AM, d...@axiom-
Ralf is only telling it as it is,
but I wish I could be even as pessimistic as him.
This is a crisis disguised as another documentation squabble.
As I see the status of PanAxiom:
OpenAxiom - One developer - little to no activity = dead branch.
FriCAS- One developer - one developer - system b
Actually it sort of looks just plain wrong.
Lamport LaTex says \: provides medium spacing rather
than whatever the default would be;
Spivak Joy p.220 talks about spacing similarly but
he seems flub it in line (12) of his example versus
his discussion below it -- missing a colon in the TeX.
So t
This looks like an attempt, together with 'over' and 'overbar'
to implement the notion putting a symbol over another symbol
between them -- much in the manner of a fraction.
See the TeXbook p.70 and The Joy of TeX p.146 (in my copies).
Just last week I ran into issues with what Joy says should h
My comments were motivated by Master Knuth's influence from reading TUGboat
vol.35 no.1 p.5 (see below)
"The TeX Tuneup of 2014".Rather than suppressing creativity, a sound and
stable platform base
enables it. PanAxiom is not that yet. The ")set" issue was the jumping off
point to suppo
ne
to the generated output at that point.
All of which means that package assumptions should not be made
at this time, repeat: at this time.
Get basic stuff correct first.
The same goes for private ".sty" files
Cheers, Gene
On 6/27/2014 9:33 AM, Ralf Hemmecke wrote:
On 06/27/2014
Same comment for Axiom if it does this.
(I haven't used the output tex option, so I just don't know)
Gene
Begin forwarded message:
> From: Eugene Surowitz
> Date: June 27, 2014 at 8:39:43 AM EDT
> To: "fricas-de...@googlegroups.com"
> Subject: Re: [fricas-de
Wow! is right!!
Now all we have to do is recycle every mathematician's brain
which has been trained for the past seven decades to produce
only opaque symbolic and verbal gibberish.
Cheers, Gene
> On Jun 27, 2014, at 7:52 AM, d...@axiom-developer.org wrote:
>
> This really makes the algorithm ob
In /usr/include/stdio.h that comes with CYGWIN, we have:
/* getline - see __getline for now */
and:
ssize_t _EXFUN(__getline, (char **, size_t *, FILE *));
Cheers, Gene
On 6/24/2014 10:15 AM, d...@axiom-developer.org wrote:
Sarva,
I'm using the gcc compiler provided by Xcode. It's App
Your efforts are not for nought;
however, you missed the same thing that Knuth missed:
The AXIOM/FRICAS/OpenAXIOM situation is the inverse problem
to working with an already literate program.
The panAXIOM problem is how to create a literate program from
an pre-literate one. Knuth fudged this wi
ng to refer to any of the original Axiom project, FriCAS or
OpenAxiom in a neutral way we have sometimes used the word
PanAxiom
Perhaps some variant of this that might work. I just added #6 at
http://axiom-wiki.newsynthesis.org/FriCASIcon
which incorporates all three names.
Bill.
On 25
I like the idea of icons/logos acknowledging the common history;
Things that might be used create sufficiently non-infringing are
style, color, shape, wording.
I'm not quite sure what I mean by 'style'.
As a 'wording' example, to distinguish to things on my product disk,
I label their top direct
One Wiki with a clear indication which variant
is being exercised and auto-direction to the
appropriate list for comments and bug reports.
Cheers, Gene
On 4/23/2013 12:07 PM, Waldek Hebisch wrote:
Eugene Surowitz wrote:
Personally, I would very much prefer a single wiki.
I believe that
I have known about 'sed' for a long time;
but have had enough experience with global
change mechanisms to avoid them like the plague.
Cheers, Gene
On 4/22/2013 1:42 PM, u1204 wrote:
Already understood and I had already mirrored my comments
to the FriCAS-devel list; just forgot to include OpenAx
Already understood and I had already mirrored my comments
to the FriCAS-devel list; just forgot to include OpenAxiom.
The issue is deeper though: An inspection of only the src/interp
source files reveals numerous references to 'axiom' or 'Axiom'.
FriCAS appears to use boot code -- I assume, witho
Personally, I would very much prefer a single wiki.
I believe that users would have great difficulty in distinguishing
the various forks in a systematic way; they may not have
been the one to set up which ever variation was installed with
their working group.
Gene
On 4/21/2013 11:00 PM, Bill Pa
The directory /src/interp contains two files,
'libdb.text' and 'temp.text' that diff says are identical.
Is there an 'rm' missing somewhere?
Cheers, Gene
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
https://lists.nongnu.org/mailman/li
Actually, the very old version from the website
installed and runs on Windows/XP over Portable_Ubuntu after a rebuild;
I did a reinstall from a backup copy a few months ago
and it still starts OK.
Since about 40% of desktop Windows users are XPatriots,
this should be kept in mind; it would not be
Suggested reading:
Computers in Science and Engineering (IEEE + APS):
vol.11 n.1 - most of the issue which is dedicated to the problem
vol.12 no.5 p.8--12 - A Yale round table on the subject
My impression is that many, if not most, labs would have trouble
reproducing their own results given pr
z
On 11/14/2011 7:12 PM, daly wrote:
On Mon, 2011-11-14 at 14:08 -0500, Eugene Surowitz wrote:
Will your talk and slides be available on the web?
I gave a presentation at the Clojure Conj on Literate
Programming which was fairly well received but there were
no slides. I don't believe the talk
contents) or a particular function (check
the index). At least that is the long term intention.
On Fri, 2011-11-11 at 11:03 -0500, Eugene Surowitz wrote:
I prefer the fountain pen for novelistic efforts.
The issue that aroused my question has to do with
comments that appear now and then in the l
tend to favor Latex because a lot of math is involved and
Latex prints math well. But I'm presenting a talk about
Literate Programming in North Carolina this week and I plan
to show examples that use XML, html, and video.
Tim
On Tue, 2011-11-08 at 15:03 -0500, Eugene Surowitz wrote:
That lit
That literate programming is fully justified for Axiom is, well, almost
axiomatic.
But the issue is more how to boost the ability to invert the process
and reverse engineer non-literate code piles into literate documents.
What, in your opinion, would be the most effective type of tool that could
could be generated automatically
when building axiom but I think to do so would require regularizing the
latex in the book pamphlets. Maybe then requiring any future additions
to the book to be run through a validator.
Arthur
On 05/16/2011 01:38 PM, Eugene Surowitz wrote:
OK: so we have an
OK; the version I had was blank.
Eugene J. Surowitz
On 5/25/2011 1:28 PM, daly wrote:
Rather I'm starting to look at something that has
no index at all, that is, bookvol5.pamphlet.
Actually bookvol5 has a 175 page index.
But something I did broke the index generation function.
I'll look into
Original Message
Subject: Re: eq? in book-index
Date: Wed, 25 May 2011 12:45:18 -0400
From: Eugene Surowitz
Reply-To: su...@attglobal.net
To: daly
I've been busy writing a paper due tomorrow.
I agree with you that a "page"
is an ill defined notion in xml
the
latex in the book pamphlets. Maybe then requiring any future additions
to the book to be run through a validator.
Arthur
On 05/16/2011 01:38 PM, Eugene Surowitz wrote:
OK: so we have an unmaintained, probably machine generated,
and apparently incomplete but otherwise useful piece of the
documentation source since the pamphlets
are really now TeX/Latex which was its targeted input.
Eugene J. Surowitz
On 5/15/2011 5:43 PM, daly wrote:
The file book-index.xhtml was a contributed document.
Axiom does nothing but copy it at build time.
Tim
On Sat, 2011-05-14 at 13:49 -0400, Eugene Surowitz
Ralfs.
Tim Daly
On Mon, 2011-05-16 at 16:38 -0400, Eugene Surowitz wrote:
OK: so we have an unmaintained, probably machine generated,
and apparently incomplete but otherwise useful piece of the documentation.
Any memory of who or how it was generated generated?
I had to create something simila
Oops: intended
Eugene J. Surowitz
On 5/14/2011 1:49 PM, Eugene Surowitz wrote:
Tim:
The file "book-index.xhtml" contains 3 entries for "eq?",
all for "Section 9.18 EqTable".
There are in fact three text statements in in that section
containing the string "
Tim:
The file "book-index.xhtml" contains 3 entries for "eq?",
all for "Section 9.18 EqTable".
There are in fact three text statements in in that section
containing the string "eg?".
I generally believe that an index would contain only one entry
per page for any given word. Does the index gener
I just got a copy of "LiSP in Small Pieces".
On page xix he gives a reference for the source code as well as his email
but as with he and it have moved on:
http://pagesperso-systeme.lip6.fr/Christian.Queinnec/WWW/LiSP.html
just in case anyone needs to go on this particular snipe hunt.
Cheers, G
Apr 15, 2010, at 8:33 AM, Eugene Surowitz wrote:
There is another alternative:
I use the AXIOM the free and open source algebraic system that
can be run on a Linux that operates as an application on windows;
no partitioning or dual boot necessary.
See the section "Axiom on Windows&
The CLiki reference to Axiom has been corrected on the GCL page.
Cheers, Eugene Surowitz
Eugene Surowitz wrote:
http://www.cliki.net/GCL
also has a problem with pointing to Axiom in the line:
"GCL is closely associated with the Maxima, ACL, ACL2, and axiom projects."
Cheers, Eugen
http://www.cliki.net/GCL
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
___
Axiom-developer mailing list
Axiom-developer@nongn
?
Cheers, Eugene Surowitz
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
The NY Metropolitan Opera has already grabbed
a good thing for their "Romeo and Juliet" production:
There's a large vertical ring with symbols on it
on stage while the lovers are transporting themselves;
it shows Hubble telescope pix and other astronomical events.
All hallowed be SG-1: Stallman,
Actually this should be taken very seriously.
I strongly suggest that everyone interested in the fate of
open software should subscribe to the Electronic Frontier Foundation's
newletter at
The Electronic Frontier Foundation
454 Shotwell Street
San Francisco CA 94110-1914 USA
+1 415 436 9333 (vo
d on the commercial packages Maple, Mathematica,
and Matlab.
They appear in the Jan/Feb, Mar/Apr, May/June, and July/Aug issues.
The series so far gives open source / free software packages
effectively no consideration or mention.
Cheers, Eugene Surowitz
50 matches
Mail list logo
