\start
Date: Tue, 01 Feb 2011 17:11:15 -0500
From: Tim Daly
To: Kenneth Evans
Subject: Re: Axiom on Windows

On Tue, 2011-02-01 at 17:08 -0500, daly wrote:
> Jeffrey,
> 
> One of the problems is that Axiom has been forked into FriCAS
> and Open-Axiom but those versions have not properly specialized
> the files. This will result in damage to an Axiom installation.
> 
> I see from your shell variables that Open-Axiom seems to be
> the last installed version.
> 
> Tim Daly
> 
> On Tue, 2011-02-01 at 16:05 -0500, axiom-developer-owner@nongnu.org
> wrote:
> > As list administrator, your authorization is requested for the
> > following mailing list posting:
> > 
> >     List:    list
> >     From:    Kenneth Evans
> >     Subject: Axiom on Windows
> >     Reason:  Post by non-member to a members-only list
> > 
> > At your convenience, visit:
> > 
> >     http://lists.nongnu.org/mailman/admindb/axiom-developer
> >         
> > to approve or deny the request.
> > email message attachment
> > > -------- Forwarded Message --------
> > > From: Kenneth Evans
> > > To: list
> > > Subject: Axiom on Windows
> > > Date: Tue, 01 Feb 2011 14:44:51 -0600
> > > 
> > > Hi
> > > 
> > > I am new to Axiom and am trying to use it on Windows 7, 64-bit.  (I am 
> > > experienced with Mathematica but have never previously used Axiom.) 
> > > Most of the bits and pieces to make this work appear to be out there, 
> > > but are not very well documented or easy to find.  Clearly, several 
> > > people have taken the time to make installers, etc.  Surely someone is 
> > > actually using it successfully on Windows.
> > > 
> > > I myself have it working to some extent.  This is what I did:
> > > 
> > > Downloaded:
> > > 
> > > http://axiom-wiki.newsynthesis.org/AxiomBinaries
> > > axiom-windows-0.1.4.exe
> > > 
> > > http://sourceforge.net/projects/open-axiom/files/
> > > open-axiom-1.3.0-windows-i386.exe
> > > 
> > > http://axiom-wiki.newsynthesis.org/FriCASBinaries
> > > Fricas-Rev.263.exe
> > > 
> > > I installed them in the order OpenAxiom, FriCAS, Axiom (not having much 
> > > information on which of the three to use).  They all installed and made 
> > > desktop shortcuts.  The ones for OpenAxiom and Axiom, more or less 
> > > worked from the shortcuts with the command-line interface.  The one for 
> > > FriCas failed with a socket error ("can't open socket listing file"). 
> > > They all put their paths in PATH, which could possibly be a problem.  I 
> > > uninstalled FriCAS.  The others I installed and reinstalled as I found 
> > > one did some things right and the other other things right.  Currently 
> > > they are both installed with Axiom first in the PATH.
> > > 
> > > I got the QT windows version of TeXmacs.
> > > 
> > > http://axiom-wiki.newsynthesis.org/TeXmacs
> > > texmacs-installer.exe
> > > 
> > > I got it running.  It is apparently set up for Axiom.  I cloned the 
> > > axiom plug-in and made it work for OpenAxiom using snippets of 
> > > information gleaned via the web.  So I can now run both as sessions in 
> > > TeXmacs.  Axiom works better for me.  I can, in fact, do a lot of what 
> > > Axiom as a CAS is supposed to do.
> > > 
> > > The main problem with TeXmacs is that when it is covered by another 
> > > window, clicking on the title bar causes it to maximize, rather than 
> > > just coming on top -- very annoying.
> > > 
> > > The main problem I have right now with the CAS is that I cannot get it 
> > > to read .axiom.input.  I would like to do this to, at a minimum, set my 
> > > working directory to "My Documents/Axiom" where I expect to keep my 
> > > .input files.  This is what happens (with Axiom in the command-line 
> > > interface to keep it simple):
> > > 
> > > 1. )cd doesn't work
> > > 
> > > (1) -> )cd
> > > 
> > >     >> System error:
> > >     Cannot get the truename of #p"~/".
> > > 
> > > protected-symbol-warn called with (NIL)
> > > (1) ->
> > > 
> > > Using ")system ls", I can see that I am in "My Documents, actually 
> > > c:\Users\evans\Documents.  I would guess Axiom didn't do this as it 
> > > doesn't seem to know it (Axiom) is there.  It is probably some kind of 
> > > windows default.
> > > 
> > > )cd Axiom doesn't work.  In fact, nothing I have tried works except:
> > > 
> > > )cd c:/Users/evans/Documents/Axiom
> > > 
> > > Even after that )cd still doesn't work, but )read 
> > > <filename-without-path> works.
> > > 
> > > Before doing that )cd Axiom or ./Axiom didn't work.
> > > 
> > > Is there some way to get around this?  Note that $HOME is defined as 
> > > c:\Users\evans\Documents.  You would think it might try $HOME if ~ fails.
> > > 
> > > 2. It does not read .axiom.input.  I have tried putting it where it 
> > > should be (c:\Users\evans) in "My Documents" and in other places.  Does 
> > > anyone know how to make it read .axiom.input.
> > > 
> > > These are some things from the environment that might be applicable:
> > > 
> > > HOME=c:\Users\evans
> > > HOMEDRIVE=C:
> > > HOMEPATH=\Users\evans
> > > LOCALAPPDATA=C:\Users\evans\AppData\Local
> > > OPENAXIOM=C:/Program Files 
> > > (x86)/OpenAxiom/lib/open-axiom/i686-pc-mingw32/1.3.0
> > > USERNAME=evans
> > > USERPROFILE=C:\Users\evans

\start
Date: Tue, 1 Feb 2011 18:53:54 -0500
From: Alfredo Portes
To: Tim Daly
Subject: re: Axiom on Windows
Cc: Kenneth Evans

Hi,

For Axiom:

http://axiom-wiki.newsynthesis.org/AxiomBinaries axiom-windows-0.1.4.exe

There is no native support for Axiom in Windows. Many of the issues
you are reporting are because of this and not because of the other
projects. So this file should probably be removed as it does not
reflect the Axiom project at http://axiom-developer.org. I will remove
it. For Axiom support in Windows you should follow:

http://axiom-developer.org/axiom-website/download.html

For Fricas:

http://axiom-wiki.newsynthesis.org/FriCASBinaries Fricas-Rev.263.exe

was an attempt to make an installer for Fricas, and it required to
have an AXIOM variable. Note that this file was never distributed by
the Fricas project and it was just something uploaded to the wiki in
case people wanted to try it. There was no intention to harm other
projects. The wiki page has now been updated= .  Proper support in
Windows for Fricas is done by using Cygwin.

http://fricas.sourceforge.net/download.html

For OpenAxiom:

OpenAxiom has the only current installer on Windows that I know
of. OpenAxiom "does not use the AXIOM variable" since the project was
started almost. I will make sure today that this is the case in the
installer and it was not something left from the old plugin to
texmacs. If that is the case I will fix this ASAP.

Again these installers were not created by any of the projects and in
no way it means you cannot have all 3 projects in your computer.

On Tue, Feb 1, 2011 at 5:11 PM, Tim Daly wrote:
> On Tue, 2011-02-01 at 17:08 -0500, daly wrote:
>> Jeffrey,
>>
>> One of the problems is that Axiom has been forked into FriCAS
>> and Open-Axiom but those versions have not properly specialized
>> the files. This will result in damage to an Axiom installation.
>>
>> I see from your shell variables that Open-Axiom seems to be
>> the last installed version.
>>
>> Tim Daly
>>
>> On Tue, 2011-02-01 at 16:05 -0500, axiom-developer-owner@nongnu.org
>> wrote:
>> > As list administrator, your authorization is requested for the
>> > following mailing list posting:
>> >
>> >   List:  list
>> >   From:  Kenneth Evans
>> >   Subject: Axiom on Windows
>> >   Reason: Post by non-member to a members-only list
>> >
>> > At your convenience, visit:
>> >
>> >   http://lists.nongnu.org/mailman/admindb/axiom-developer
>> >
>> > to approve or deny the request.
>> > email message attachment
>> > > -------- Forwarded Message --------
>> > > From: Kenneth Evans
>> > > To: list
>> > > Subject: Axiom on Windows
>> > > Date: Tue, 01 Feb 2011 14:44:51 -0600
>> > >
>> > > Hi
>> > >
>> > > I am new to Axiom and am trying to use it on Windows 7, 64-bit. (=
I am
>> > > experienced with Mathematica but have never previously used Axiom.)
>> > > Most of the bits and pieces to make this work appear to be out there=
,
>> > > but are not very well documented or easy to find. Clearly, severa=
l
>> > > people have taken the time to make installers, etc. Surely someon=
e is
>> > > actually using it successfully on Windows.
>> > >
>> > > I myself have it working to some extent. This is what I did:
>> > >
>> > > Downloaded:
>> > >
>> > > http://axiom-wiki.newsynthesis.org/AxiomBinaries
>> > > axiom-windows-0.1.4.exe
>> > >
>> > > http://sourceforge.net/projects/open-axiom/files/
>> > > open-axiom-1.3.0-windows-i386.exe
>> > >
>> > > http://axiom-wiki.newsynthesis.org/FriCASBinaries
>> > > Fricas-Rev.263.exe
>> > >
>> > > I installed them in the order OpenAxiom, FriCAS, Axiom (not having m=
uch
>> > > information on which of the three to use). They all installed and=
 made
>> > > desktop shortcuts. The ones for OpenAxiom and Axiom, more or less
>> > > worked from the shortcuts with the command-line interface. The on=
e for
>> > > FriCas failed with a socket error ("can't open socket listing file")=
.
>> > > They all put their paths in PATH, which could possibly be a problem.=
 I
>> > > uninstalled FriCAS. The others I installed and reinstalled as I f=
ound
>> > > one did some things right and the other other things right. Curre=
ntly
>> > > they are both installed with Axiom first in the PATH.
>> > >
>> > > I got the QT windows version of TeXmacs.
>> > >
>> > > http://axiom-wiki.newsynthesis.org/TeXmacs
>> > > texmacs-installer.exe
>> > >
>> > > I got it running. It is apparently set up for Axiom. I cloned =
the
>> > > axiom plug-in and made it work for OpenAxiom using snippets of
>> > > information gleaned via the web. So I can now run both as session=
s in
>> > > TeXmacs. Axiom works better for me. I can, in fact, do a lot o=
f what
>> > > Axiom as a CAS is supposed to do.
>> > >
>> > > The main problem with TeXmacs is that when it is covered by another
>> > > window, clicking on the title bar causes it to maximize, rather than
>> > > just coming on top -- very annoying.
>> > >
>> > > The main problem I have right now with the CAS is that I cannot get =
it
>> > > to read .axiom.input. I would like to do this to, at a minimum, s=
et my
>> > > working directory to "My Documents/Axiom" where I expect to keep my
>> > > .input files. This is what happens (with Axiom in the command-lin=
e
>> > > interface to keep it simple):
>> > >
>> > > 1. )cd doesn't work
>> > >
>> > > (1) -> )cd
>> > >
>> > >   >> System error:
>> > >   Cannot get the truename of #p"~/".
>> > >
>> > > protected-symbol-warn called with (NIL)
>> > > (1) ->
>> > >
>> > > Using ")system ls", I can see that I am in "My Documents, actually
>> > > c:\Users\evans\Documents. I would guess Axiom didn't do this as i=
t
>> > > doesn't seem to know it (Axiom) is there. It is probably some kin=
d of
>> > > windows default.
>> > >
>> > > )cd Axiom doesn't work. In fact, nothing I have tried works excep=
t:
>> > >
>> > > )cd c:/Users/evans/Documents/Axiom
>> > >
>> > > Even after that )cd still doesn't work, but )read
>> > > <filename-without-path> works.
>> > >
>> > > Before doing that )cd Axiom or ./Axiom didn't work.
>> > >
>> > > Is there some way to get around this? Note that $HOME is defined =
as
>> > > c:\Users\evans\Documents. You would think it might try $HOME if ~=
 fails.
>> > >
>> > > 2. It does not read .axiom.input. I have tried putting it where i=
t
>> > > should be (c:\Users\evans) in "My Documents" and in other places. =
Does
>> > > anyone know how to make it read .axiom.input.
>> > >
>> > > These are some things from the environment that might be applicable:
>> > >
>> > > HOME=3Dc:\Users\evans
>> > > HOMEDRIVE=3DC:
>> > > HOMEPATH=3D\Users\evans
>> > > LOCALAPPDATA=3DC:\Users\evans\AppData\Local
>> > > OPENAXIOM=3DC:/Program Files
>> > > (x86)/OpenAxiom/lib/open-axiom/i686-pc-mingw32/1.3.0
>> > > USERNAME=3Devans
>> > > USERPROFILE=3DC:\Users\evans
>> > >
>> > > Thanks in advance for any help.

\start
Date: Tue, 1 Feb 2011 19:12:09 -0500
From: Alfredo Portes
To: Kenneth Evans
Subject: re: Axiom on Windows

I just installed the OpenAxiom installer:

http://sourceforge.net/projects/open-axiom/files/open-axiom-1.3.0-windows-i=
386.exe

As I expected, there is no AXIOM variable being installed:

(1) -> )system %AXIOM%
'%AXIOM%' is not recognized as an internal or external command,
operable program or batch file.

The commands not working for you:

(1) -> )cd
   The current OpenAxiom default directory is C:/OpenAxiom/bin/

(1) -> )cd c:\temp
   The current OpenAxiom default directory is c:/temp/

I will try reading the input file later, as this is something I have
not done before in Windows.

Let me know if you have questions, and for problems with the
installer you can report it in one of the OpenAxiom mailing lists:

http://www.open-axiom.org/lists.html

On Tue, Feb 1, 2011 at 5:11 PM, Tim Daly wrote:
> On Tue, 2011-02-01 at 17:08 -0500, daly wrote:
>> Jeffrey,
>>
>> One of the problems is that Axiom has been forked into FriCAS
>> and Open-Axiom but those versions have not properly specialized
>> the files. This will result in damage to an Axiom installation.
>>
>> I see from your shell variables that Open-Axiom seems to be
>> the last installed version.
>>
>> Tim Daly
>>
>> On Tue, 2011-02-01 at 16:05 -0500, axiom-developer-owner@nongnu.org
>> wrote:
>> > As list administrator, your authorization is requested for the
>> > following mailing list posting:
>> >
>> >   List:  list
>> >   From:  Kenneth Evans
>> >   Subject: Axiom on Windows
>> >   Reason: Post by non-member to a members-only list
>> >
>> > At your convenience, visit:
>> >
>> >   http://lists.nongnu.org/mailman/admindb/axiom-developer
>> >
>> > to approve or deny the request.
>> > email message attachment
>> > > -------- Forwarded Message --------
>> > > From: Kenneth Evans
>> > > To: list
>> > > Subject: Axiom on Windows
>> > > Date: Tue, 01 Feb 2011 14:44:51 -0600
>> > >
>> > > Hi
>> > >
>> > > I am new to Axiom and am trying to use it on Windows 7, 64-bit. (=
I am
>> > > experienced with Mathematica but have never previously used Axiom.)
>> > > Most of the bits and pieces to make this work appear to be out there=
,
>> > > but are not very well documented or easy to find. Clearly, severa=
l
>> > > people have taken the time to make installers, etc. Surely someon=
e is
>> > > actually using it successfully on Windows.
>> > >
>> > > I myself have it working to some extent. This is what I did:
>> > >
>> > > Downloaded:
>> > >
>> > > http://axiom-wiki.newsynthesis.org/AxiomBinaries
>> > > axiom-windows-0.1.4.exe
>> > >
>> > > http://sourceforge.net/projects/open-axiom/files/
>> > > open-axiom-1.3.0-windows-i386.exe
>> > >
>> > > http://axiom-wiki.newsynthesis.org/FriCASBinaries
>> > > Fricas-Rev.263.exe

>> > > I installed them in the order OpenAxiom, FriCAS, Axiom (not
>> > > having much information on which of the three to use). They all
>> > > installed and made desktop shortcuts. The ones for OpenAxiom
>> > > and Axiom, more or less worked from the shortcuts with the
>> > > command-line interface. The one for FriCas failed with a socket
>> > > error ("can't open socket listing file").  They all put their
>> > > paths in PATH, which could possibly be a problem. I uninstalled
>> > > FriCAS. The others I installed and reinstalled as I found one
>> > > did some things right and the other other things
>> > > right. Currently they are both installed with Axiom first in
>> > > the PATH.

>> > > I got the QT windows version of TeXmacs.
>> > >
>> > > http://axiom-wiki.newsynthesis.org/TeXmacs
>> > > texmacs-installer.exe

>> > > I got it running. It is apparently set up for Axiom. I cloned the
>> > > axiom plug-in and made it work for OpenAxiom using snippets of
>> > > information gleaned via the web. So I can now run both as sessions in
>> > > TeXmacs. Axiom works better for me. I can, in fact, do a lot of what
>> > > Axiom as a CAS is supposed to do.

>> > > The main problem with TeXmacs is that when it is covered by another
>> > > window, clicking on the title bar causes it to maximize, rather than
>> > > just coming on top -- very annoying.

>> > > The main problem I have right now with the CAS is that I cannot get it
>> > > to read .axiom.input. I would like to do this to, at a minimum, set my
>> > > working directory to "My Documents/Axiom" where I expect to keep my
>> > > .input files. This is what happens (with Axiom in the command-line
>> > > interface to keep it simple):
>> > >
>> > > 1. )cd doesn't work
>> > >
>> > > (1) -> )cd
>> > >
>> > >   >> System error:
>> > >   Cannot get the truename of #p"~/".
>> > >
>> > > protected-symbol-warn called with (NIL)
>> > > (1) ->
>> > >
>> > > Using ")system ls", I can see that I am in "My Documents, actually
>> > > c:\Users\evans\Documents. I would guess Axiom didn't do this as it
>> > > doesn't seem to know it (Axiom) is there. It is probably some kind of
>> > > windows default.
>> > >
>> > > )cd Axiom doesn't work. In fact, nothing I have tried works except:
>> > >
>> > > )cd c:/Users/evans/Documents/Axiom
>> > >
>> > > Even after that )cd still doesn't work, but )read
>> > > <filename-without-path> works.
>> > >
>> > > Before doing that )cd Axiom or ./Axiom didn't work.
>> > >
>> > > Is there some way to get around this? Note that $HOME is defined as
>> > > c:\Users\evans\Documents. You would think it might try $HOME if ~ fails.
>> > >
>> > > 2. It does not read .axiom.input. I have tried putting it where it
>> > > should be (c:\Users\evans) in "My Documents" and in other places. Does
>> > > anyone know how to make it read .axiom.input.
>> > >
>> > > These are some things from the environment that might be applicable:
>> > >
>> > > HOME=3Dc:\Users\evans
>> > > HOMEDRIVE=3DC:
>> > > HOMEPATH=3D\Users\evans
>> > > LOCALAPPDATA=3DC:\Users\evans\AppData\Local
>> > > OPENAXIOM=3DC:/Program Files
>> > > (x86)/OpenAxiom/lib/open-axiom/i686-pc-mingw32/1.3.0
>> > > USERNAME=3Devans
>> > > USERPROFILE=3DC:\Users\evans

\start
Date: Tue, 1 Feb 2011 19:17:34 -0600
From: Gabriel Dos Reis
To: Tim Daly
Subject: re: Axiom on Windows
Cc: Kenneth Evans

To all --

In the interest of cutting down the amount of FUD one can find
here and there: OpenAxiom-1.3.x does not depend
on user setting an AXIOM environment variable.

Said differently, whether you set or not set AXIOM variable
does not affect the behaviour of OpenAxiom.  Nor installing
OpenAxiom should affect it.

On Tue, Feb 1, 2011 at 4:11 PM, Tim Daly wrote:
> On Tue, 2011-02-01 at 17:08 -0500, daly wrote:
>> Jeffrey,
>>
>> One of the problems is that Axiom has been forked into FriCAS
>> and Open-Axiom but those versions have not properly specialized
>> the files. This will result in damage to an Axiom installation.
>>
>> I see from your shell variables that Open-Axiom seems to be
>> the last installed version.
>>
>> Tim Daly
>>
>> On Tue, 2011-02-01 at 16:05 -0500, axiom-developer-owner@nongnu.org
>> wrote:
>> > As list administrator, your authorization is requested for the
>> > following mailing list posting:
>> >
>> >   List:  list
>> >   From:  Kenneth Evans
>> >   Subject: Axiom on Windows
>> >   Reason: Post by non-member to a members-only list
>> >
>> > At your convenience, visit:
>> >
>> >   http://lists.nongnu.org/mailman/admindb/axiom-developer
>> >
>> > to approve or deny the request.
>> > email message attachment
>> > > -------- Forwarded Message --------
>> > > From: Kenneth Evans
>> > > To: list
>> > > Subject: Axiom on Windows
>> > > Date: Tue, 01 Feb 2011 14:44:51 -0600
>> > >
>> > > Hi
>> > >
>> > > I am new to Axiom and am trying to use it on Windows 7, 64-bit. (I am
>> > > experienced with Mathematica but have never previously used Axiom.)
>> > > Most of the bits and pieces to make this work appear to be out there,
>> > > but are not very well documented or easy to find. Clearly, several
>> > > people have taken the time to make installers, etc. Surely someone is
>> > > actually using it successfully on Windows.
>> > >
>> > > I myself have it working to some extent. This is what I did:
>> > >
>> > > Downloaded:
>> > >
>> > > http://axiom-wiki.newsynthesis.org/AxiomBinaries
>> > > axiom-windows-0.1.4.exe
>> > >
>> > > http://sourceforge.net/projects/open-axiom/files/
>> > > open-axiom-1.3.0-windows-i386.exe
>> > >
>> > > http://axiom-wiki.newsynthesis.org/FriCASBinaries
>> > > Fricas-Rev.263.exe
>> > >
>> > > I installed them in the order OpenAxiom, FriCAS, Axiom (not having much
>> > > information on which of the three to use). They all installed and made
>> > > desktop shortcuts. The ones for OpenAxiom and Axiom, more or less
>> > > worked from the shortcuts with the command-line interface. The one for
>> > > FriCas failed with a socket error ("can't open socket listing file").
>> > > They all put their paths in PATH, which could possibly be a problem. I
>> > > uninstalled FriCAS. The others I installed and reinstalled as I found
>> > > one did some things right and the other other things right. Currently
>> > > they are both installed with Axiom first in the PATH.
>> > >
>> > > I got the QT windows version of TeXmacs.
>> > >
>> > > http://axiom-wiki.newsynthesis.org/TeXmacs
>> > > texmacs-installer.exe
>> > >
>> > > I got it running. It is apparently set up for Axiom. I cloned the
>> > > axiom plug-in and made it work for OpenAxiom using snippets of
>> > > information gleaned via the web. So I can now run both as sessions in
>> > > TeXmacs. Axiom works better for me. I can, in fact, do a lot of what
>> > > Axiom as a CAS is supposed to do.
>> > >
>> > > The main problem with TeXmacs is that when it is covered by another
>> > > window, clicking on the title bar causes it to maximize, rather than
>> > > just coming on top -- very annoying.
>> > >
>> > > The main problem I have right now with the CAS is that I cannot get it
>> > > to read .axiom.input. I would like to do this to, at a minimum, set my
>> > > working directory to "My Documents/Axiom" where I expect to keep my
>> > > .input files. This is what happens (with Axiom in the command-line
>> > > interface to keep it simple):
>> > >
>> > > 1. )cd doesn't work
>> > >
>> > > (1) -> )cd
>> > >
>> > >   >> System error:
>> > >   Cannot get the truename of #p"~/".
>> > >
>> > > protected-symbol-warn called with (NIL)
>> > > (1) ->
>> > >
>> > > Using ")system ls", I can see that I am in "My Documents, actually
>> > > c:\Users\evans\Documents. I would guess Axiom didn't do this as it
>> > > doesn't seem to know it (Axiom) is there. It is probably some kind of
>> > > windows default.
>> > >
>> > > )cd Axiom doesn't work. In fact, nothing I have tried works except:
>> > >
>> > > )cd c:/Users/evans/Documents/Axiom
>> > >
>> > > Even after that )cd still doesn't work, but )read
>> > > <filename-without-path> works.
>> > >
>> > > Before doing that )cd Axiom or ./Axiom didn't work.
>> > >
>> > > Is there some way to get around this? Note that $HOME is defined as
>> > > c:\Users\evans\Documents. You would think it might try $HOME if ~ fails.
>> > >
>> > > 2. It does not read .axiom.input. I have tried putting it where it
>> > > should be (c:\Users\evans) in "My Documents" and in other places. Does
>> > > anyone know how to make it read .axiom.input.
>> > >
>> > > These are some things from the environment that might be applicable:
>> > >
>> > > HOME=3Dc:\Users\evans
>> > > HOMEDRIVE=3DC:
>> > > HOMEPATH=3D\Users\evans
>> > > LOCALAPPDATA=3DC:\Users\evans\AppData\Local
>> > > OPENAXIOM=3DC:/Program Files
>> > > (x86)/OpenAxiom/lib/open-axiom/i686-pc-mingw32/1.3.0
>> > > USERNAME=3Devans
>> > > USERPROFILE=3DC:\Users\evans
>> > >
>> > > Thanks in advance for any help.

\start
Date: Tue, 01 Feb 2011 22:04:21 -0500
From: Tim Daly
To: list
Subject: January 2011 Axiom release is up

January 2011 Release

This release involved more work treeshaking the compiler. 
There is a move to using lisp tangle rather than noweb notangle.
Many of the latex error messages were fixed.

books/Makefile
   move bookvol9 to lisp tangle
   move to lisp tangle
   reduce the noise during make

books/bookvol5
   cleaning vmlisp
   convert to lisp tangle
   move to lisp tangle
   sort monitor results

books/bookvol6
   move to lisp tangle

books/bookvol7
   move to lisp tangle

books/bookvol7.1
   move to lisp tangle
   update What's New page

books/bookvol9
   cleaning vmlisp
   merge and remove newaux.lisp
   merge and remove postprop.lisp
   move to lisp tangle
   treeshake compiler

books/bookvol10.3
   cleaning vmlisp

books/bookvol10.4
   fixup IntersectionDivisorPackage chunk

books/bookvol12
   add discussion of GTFL

books/bookvolbib
   [Loe09], [Mar07], [Wei03], [Wei06], [Flo63], [Pra73]

books/ps/v71nov2010.eps
   update What's New page

books/ps/v71releasenotes.eps
   update What's New page

src/Makefile
   move to lisp tangle

src/axiom-website/download.html
   add ubuntu

src/axiom-website/releasenotes.html
   add release notes

src/input/Makefile
   clean up failing tests

src/input/
   *.input add \setlength{\textwidth}{400pt}
   fix overfull boxes
   clean up failing tests
   fix long lines
   series.input -- add series to polynomial example
   unit-i-funsel.input -- removed

src/interp
   Makefile convert bookvol5 to lisp tangle
   Makefile merge and remove newaux.lisp
   Makefile move to lisp tangle
   Makefile remove postprop.lisp
   src/interp/br-con.lisp cleaning vmlisp
   src/interp/compiler.lisp treeshake compiler
   src/interp/newaux.lisp remove newaux.lisp
   src/interp/postprop.lisp merged with bookvol9, removed.
   src/interp/regress.lisp handle "ok" on --S
   src/interp/vmlisp.lisp cleaning 

\start
Date: Thu, 3 Feb 2011 14:13:19 +0000 (GMT)
From: Leon Dutoit
To: list
Subject: Axiom january-2011 on slackware (slackware-64)

Hi,

This time it seems that there are more failed regression tests that before :

Environment : AWK=3Dgawk BOOKS=3D/d1/axiom/books BYE=3Dbye CC=3Dgcc
 CCF=3D-O2 -fno-strength-reduce -Wall -D_GNU_SOURCE -DLINUXplatform
 -I/usr/X11/include COMMAND=3D/usr/local/axiom/mnt/slackware/bin/axiom
 DAASE=3D/d1/axiom/src/share DESTDIR=3D/usr/local/axiom
 DOCUMENT=3D/d1/axiom/mnt/slackware/bin/document
 GCLDIR=3D/d1/axiom/lsp/gcl-2.6.8pre4
 GCLOPTS=3D--enable-vssize=3D65536*2 --enable-locbfd
 --disable-dynsysbfd --disable-statsysbfd --enable-maxpage=3D512*1024
 --disable-xgcl --disable-tkconfig GCLVERSION=3Dgcl-2.6.8pre4
 INC=3D/d1/axiom/src/include INT=3D/d1/axiom/int LDF=3D
 -L/usr/X11R6/lib -L/usr/lib -lXpm LISP=3Dlsp LSP=3D/d1/axiom/lsp
 MNT=3D/d1/axiom/mnt NOISE=3D-o /d1/axiom/obj/tmp/trace O=3Do
 OBJ=3D/d1/axiom/obj PART=3Dcprogs PATCH=3Dpatch PLF=3DLINUXplatform
 RANLIB=3Dranlib RUNTYPE=3Dserial SPAD=3D/d1/axiom/mnt/slackware
 SPADBIN=3D/d1/axiom/mnt/slackware/bin SPD=3D/d1/axiom
 SRC=3D/d1/axiom/src SRCDIRS=3Dinterpdir sharedir algebradir etcdir
 clefdir docdir graphdir smandir hyperdir browserdir inputdir
 SUBPART=3Deverything SYS=3Dslackware
 TANGLE=3D/d1/axiom/mnt/slackware/bin/lib/notangle TAR=3Dtar
 TESTSET=3Dalltests TMP=3D/d1/axiom/obj/tmp TOUCH=3Dtouch
 UNCOMPRESS=3Dgunzip VERSION=3DAxiom (January 2011)
 WEAVE=3D/d1/axiom/mnt/slackware/bin/lib/noweave XLIB=3D/usr/X11R6/lib
 ZIPS=3D/d1/axiom/zips
 int/input/ApplicationProgramInterface.regress:regression result
 FAILED 2 of 5 stanzas file ApplicationProgramInterface
 int/input/DoubleFloat.regress:regression result FAILED 2 of 13
 stanzas file DoubleFloat int/input/FileName.regress:regression result
 FAILED 2 of 18 stanzas file FileName
 int/input/GuessOptionFunctions0.regress:regression result FAILED 1 of
 1 stanzas file GuessOptionFunctions0
 int/input/PlaneAlgebraicCurvePlot.regress:regression result FAILED 2
 of 5 stanzas file PlaneAlgebraicCurvePlot
 int/input/dfloat.regress:regression result FAILED 3 of 10 stanzas
 file dfloat int/input/dftrig.regress:regression result FAILED 233 of
 672 stanzas file dftrig int/input/dop.regress:regression result
 FAILED 8 of 127 stanzas file dop int/input/e1.regress:regression
 result FAILED 4 of 7 stanzas file e1 int/input/ei.regress:regression
 result FAILED 16 of 20 stanzas file ei
 int/input/elemnum.regress:regression result FAILED 16 of 50 stanzas
 file elemnum int/input/en.regress:regression result FAILED 5 of 7
 stanzas file en int/input/fname.regress:regression result FAILED 1 of
 9 stanzas file fname int/input/fname1.regress:regression result
 FAILED 2 of 18 stanzas file fname1 int/input/gamma.regress:regression
 result FAILED 4 of 12 stanzas file gamma
 int/input/grpthry.regress:regression result FAILED 8 of 68 stanzas
 file grpthry int/input/guess.regress:regression result FAILED 62 of
 102 stanzas file guess int/input/ico.regress:regression result FAILED
 11 of 65 stanzas file ico int/input/newtonlisp.regress:regression
 result FAILED 2 of 14 stanzas file newtonlisp
 int/input/numericgamma.regress:regression result FAILED 7 of 36
 stanzas file numericgamma int/input/r20bugs.regress:regression result
 FAILED 1 of 27 stanzas file r20bugs
 int/input/richalgebraic000-099.regress:regression result FAILED 2 of
 518 stanzas file richalgebraic000-099
 int/input/richalgebraic100-199.regress:regression result FAILED 29 of
 365 stanzas file richalgebraic100-199
 int/input/richalgebraic100-199.regress:regression result FAILED early
 exit in file richalgebraic100-199?
 int/input/richalgebraic400-461.regress:regression result FAILED 2 of
 324 stanzas file richalgebraic400-461
 int/input/richhyper1000-1098.regress:regression result FAILED 4 of
 531 stanzas file richhyper1000-1098
 int/input/richlog300-391.regress:regression result FAILED 164 of 460
 stanzas file richlog300-391
 int/input/richtrig000-099.regress:regression result FAILED 31 of 520
 stanzas file richtrig000-099
 int/input/richtrig800-899.regress:regression result FAILED 165 of 526
 stanzas file richtrig800-899

\start
Date: Tue, 01 Feb 2011 14:44:51 -0600
From: Kenneth Evans
To: list
Subject: Axiom on Windows

Hi

I am new to Axiom and am trying to use it on Windows 7, 64-bit.  (I am 
experienced with Mathematica but have never previously used Axiom.) 
Most of the bits and pieces to make this work appear to be out there, 
but are not very well documented or easy to find.  Clearly, several 
people have taken the time to make installers, etc.  Surely someone is 
actually using it successfully on Windows.

I myself have it working to some extent.  This is what I did:

Downloaded:

http://axiom-wiki.newsynthesis.org/AxiomBinaries
axiom-windows-0.1.4.exe

http://sourceforge.net/projects/open-axiom/files/
open-axiom-1.3.0-windows-i386.exe

http://axiom-wiki.newsynthesis.org/FriCASBinaries
Fricas-Rev.263.exe

I installed them in the order OpenAxiom, FriCAS, Axiom (not having much 
information on which of the three to use).  They all installed and made 
desktop shortcuts.  The ones for OpenAxiom and Axiom, more or less 
worked from the shortcuts with the command-line interface.  The one for 
FriCas failed with a socket error ("can't open socket listing file"). 
They all put their paths in PATH, which could possibly be a problem.  I 
uninstalled FriCAS.  The others I installed and reinstalled as I found 
one did some things right and the other other things right.  Currently 
they are both installed with Axiom first in the PATH.

I got the QT windows version of TeXmacs.

http://axiom-wiki.newsynthesis.org/TeXmacs
texmacs-installer.exe

I got it running.  It is apparently set up for Axiom.  I cloned the 
axiom plug-in and made it work for OpenAxiom using snippets of 
information gleaned via the web.  So I can now run both as sessions in 
TeXmacs.  Axiom works better for me.  I can, in fact, do a lot of what 
Axiom as a CAS is supposed to do.

The main problem with TeXmacs is that when it is covered by another 
window, clicking on the title bar causes it to maximize, rather than 
just coming on top -- very annoying.

The main problem I have right now with the CAS is that I cannot get it 
to read .axiom.input.  I would like to do this to, at a minimum, set my 
working directory to "My Documents/Axiom" where I expect to keep my 
.input files.  This is what happens (with Axiom in the command-line 
interface to keep it simple):

1. )cd doesn't work

(1) -> )cd

    >> System error:
    Cannot get the truename of #p"~/".

protected-symbol-warn called with (NIL)
(1) ->

Using ")system ls", I can see that I am in "My Documents, actually 
c:\Users\evans\Documents.  I would guess Axiom didn't do this as it 
doesn't seem to know it (Axiom) is there.  It is probably some kind of 
windows default.

)cd Axiom doesn't work.  In fact, nothing I have tried works except:

)cd c:/Users/evans/Documents/Axiom

Even after that )cd still doesn't work, but )read 
<filename-without-path> works.

Before doing that )cd Axiom or ./Axiom didn't work.

Is there some way to get around this?  Note that $HOME is defined as 
c:\Users\evans\Documents.  You would think it might try $HOME if ~ fails.

2. It does not read .axiom.input.  I have tried putting it where it 
should be (c:\Users\evans) in "My Documents" and in other places.  Does 
anyone know how to make it read .axiom.input.

These are some things from the environment that might be applicable:

HOME=c:\Users\evans
HOMEDRIVE=C:
HOMEPATH=\Users\evans
LOCALAPPDATA=C:\Users\evans\AppData\Local
OPENAXIOM=C:/Program Files 
(x86)/OpenAxiom/lib/open-axiom/i686-pc-mingw32/1.3.0
USERNAME=evans
USERPROFILE=C:\Users\evans

\start
Date: Tue, 01 Feb 2011 17:22:36 -0600
From: Kenneth Evans
To: list
Subject: Re: Axiom on Windows

Tim,

Thanks for the response.  The name is Ken, though.  Actually I installed 
Axiom last.  I just now  uninstalled OpenAxiom, leaving only Axiom just 
to eliminate uncertainty.  Only Axiom is in the PATH and $OPENAXIOM is 
no longer there.  I still have the same problems with .axiom.input and )cd.

	-Ken

On 2/1/2011 4:11 PM, daly wrote:
> On Tue, 2011-02-01 at 17:08 -0500, daly wrote:
>> Jeffrey,
>>
>> One of the problems is that Axiom has been forked into FriCAS
>> and Open-Axiom but those versions have not properly specialized
>> the files. This will result in damage to an Axiom installation.
>>
>> I see from your shell variables that Open-Axiom seems to be
>> the last installed version.
>>
>> Tim Daly

\start
Date: Thu, 10 Feb 2011 00:08:24 -0500
From: Tim Daly
To: Camm Maguire
Subject: GCL and GMP

I have an OLPC XO box running fedora.  It has gmp4 installed on the
system.  GCL looks for gmp.h which does not exist and therefore the
build is failing.  The internal version of gmp3 does not have gmp.h
either but the build seems to require a file "gmp.h".

Why is this test there?

\start
Date: Thu, 10 Feb 2011 01:46:53 -0500
From: Tim Daly
To: list
Subject: Re: [sage-devel] Re: sage thoughts

On Wed, 2011-02-09 at 22:18 -0800, rjf wrote:
> You say,
> > gcd(2/1,4) returns 1 "for simplicity" (!), because 2/1 is a rational.
> > This is shockingly silly.
 
> I don't know exactly how this came up, but if 2/1 is in a different
> domain (rational) from 2, (integer), then gcd should probably be 1,
> since any non- zero rational number divides any other, and one
> commonly uses the positive "unit" 1 for such a case. You could argue
> that since you can coerce 2/1, you should.
 
> That's sometimes OK, but not always.
 
> Really, the issue is much broader. for example, do you also want to
> treat the complex number 1+0*i the same as 1?  do you want to treat
> the floating point number 1.0 the same as 1?
 
> What about 1X1 matrices?
 
> Is 1^0 the same as 1^0.0 or 1.0^0 or 1.0^0.0?  Do you perhaps wish
> to consider/dismiss the existence of number systems with signed
> zeros (IEEE floating-point standard) on the grounds that -0 = +0,
> [true, for numerical comparison] and therefore there should be only
> a single zero?
 
> While I don't know the exact formulation of this GCD problem, the
> issue of implicit coercion is one of the troubling sore spots in a
> system design, and should not be decided by counting up casual +1
> votes.
 
> I think the Axiom people might have thought more about it than others.
> 

It is a question of domains. In Axiom you can specify the domains.

2/1 is a Fraction(Integer) aka rational
4 is an Integer
(2/1)::Integer => 2 where 2 is an Integer.
4::Fraction(Integer) is a Fraction(Integer) 

So there are several cases:
gcd((2/1),4::Fraction(Integer)) => 1 of type Fraction(Integer)
gcd((2/1)::Integer,4))          => 2 of type PositiveInteger
gcd(2/1,4)                      => 1 of type Fraction(Integer)
gcd(2,4)                        => 2 of type PositiveInteger
gcd(2,4::Fraction(Integer))     => 1 of type Fraction(Integer)

\start
Date: Fri, 11 Feb 2011 04:34:47 -0500
From: Tim Daly
To: list
Subject: Re: [sage-devel] Re: gcd lcm and numberfields

On Fri, 2011-02-11 at 09:20 +0000, David Kirkby wrote:
> On 10 February 2011 14:51, rjf <fateman@gmail.com> wrote:
> > in maxima, gcd(1/4,1/6)  is 1/12,  lcm is 1/2
> >
> > Since maxima immediately simplifies 2/1  to 2, there is no
> > distinction between gcd(2/1, ....)   and gcd(2, ...)
> 
> FWIW, I just noticed that Mathematica treats 2/1 as an integer and not
> as a rational.
> 
> In[1]:= Head[2]
> 
> Out[1]= Integer
> 
> In[2]:= Head[1/3]
> 
> Out[2]= Rational
> 
> In[3]:= Head[2/1]
> 
> Out[3]= Integer
> 
What does MMA do with gcd(2/1,4)

\start
Date: Fri, 11 Feb 2011 04:55:24 -0500
From: Tim Daly
To: list
Subject: Re: [sage-devel] Re: sage thoughts

On Fri, 2011-02-11 at 01:49 -0800, Simon King wrote:
> Hi,
> 
> On 11 Feb., 09:56, Simon King <simon.k...@uni-jena.de> wrote:
> > Well, I had the impression that a couple of people are in favour of
> > the following:
> >  gcd(a/b,c/d) := gcd(a,c)/lcm(b,d)
> >  lcm(a/b,c/d) := lcm(a,c)/gcd(b,d)
> 
> It just occurs to me that I am incredibly stupid.
> 
> The definition above wouldn't work at all, it isn't even well-defined.
> Just replace gcd(1/4,1/6) by gcd(3/12,9/54). You obtain gcd(1,1)/
> lcm(4,6) = 1/12,  but gcd(3,9)/lcm(12,54) = 1/36.
> 
> Does anyone have a better idea? Would it be a correct definition if
> one insisted on reduced fractions?
> 
> Cheers,
> Simon
> 

That's why I was asking for an algorithm for gcd and lcm
in the subdomain. I'm not sure what answer is expected.
The unit (1) is correct but not by your definition, and
apparently not helpful for the original poster.

\start
Date: Sat, 12 Feb 2011 20:33:26 -0600
From: Raymond Rogers
To: list
Subject: Re:Re: [sage-devel] Re: sage thoughts

I haven't been paying close attention but I think the following might work:
define the gcd() implicitly: i.e. minimize over [m,n integer,G>0]( 
m(a/b)+n(c/d))=G
This seems to make sense in Euclidean domains.
This leads to
G=gcd(da,bc)/bd
let's see how this works
gcd(1/4,1/6) would yield 2/24=1/12
gcd(3/12,9/54) would yield gcd(3*54,12*9)=gcd(3*9*6,3*4*9)=3*9*2
3*9*2/(3*4*9*6)=1/12

So it seems consistent.
Sorry if this is off-topic or I have overlooked something obvious.  Of 
course the actual reasonableness and verification needs proof.
I think I have developed a formalism that makes sense over Principal 
Ideal Rings, extended  to include inverses.  Bur the ideas are not  
mathematically well defined.

On 02/11/2011 03:55 AM, daly wrote:
> On Fri, 2011-02-11 at 01:49 -0800, Simon King wrote:
>> Hi,
>>
>> On 11 Feb., 09:56, Simon King<simon.k...@uni-jena.de>  wrote:
>>> Well, I had the impression that a couple of people are in favour of
>>> the following:
>>>   gcd(a/b,c/d) := gcd(a,c)/lcm(b,d)
>>>   lcm(a/b,c/d) := lcm(a,c)/gcd(b,d)
>> It just occurs to me that I am incredibly stupid.
>>
>> The definition above wouldn't work at all, it isn't even well-defined.
>> Just replace gcd(1/4,1/6) by gcd(3/12,9/54). You obtain gcd(1,1)/
>> lcm(4,6) = 1/12,  but gcd(3,9)/lcm(12,54) = 1/36.
>>
>> Does anyone have a better idea? Would it be a correct definition if
>> one insisted on reduced fractions?
>>
>> Cheers,
>> Simon
>>
> That's why I was asking for an algorithm for gcd and lcm
> in the subdomain. I'm not sure what answer is expected.
> The unit (1) is correct but not by your definition, and
> apparently not helpful for the original poster.

\start
Date: Fri, 18 Feb 2011 02:06:29 -0500
From: Tim Daly
To: list
Subject: Re: [sage-devel] Re: Rapid growth in Python popularity

An interesting article about computational science programming:
http://www.nature.com/news/2010/101013/full/467775a.html?ref=nf