[Axiom-developer] Axiom on Windows

[Mike Thomas]

Hi Tim/Bill.

I'm very close to getting a truncated Axiom running on Windows using the
pending GCL 2.6.2 release code - (no sockets, Unixisms, XWindows stuff; had
to restart make twice as it couldn't hack the pace etc).  It's a mess but I
couldn't contain my excitement!

After getting through the algebra layer and making the algebra docs, GCL
finally barfed at the point of rebuilding the databases as set out below
(due to a path issue I think); Lisp debugger debug log below for Camm.

I decided to press ahead, copying these files:

c:/cvs/head/axiom/src/share/algebra/browse.daase
c:/cvs/head/axiom/src/share/algebra/category.daase
c:/cvs/head/axiom/src/share/algebra/compress.daase
c:/cvs/head/axiom/src/share/algebra/interp.daase
c:/cvs/head/axiom/src/share/algebra/operation.daase

into "c:/cvs/head/axiom/mnt/windows/algebra" and the command summary into
"mnt/windows/lib".

Starting Axiom I had the very simple (and messy) session also shown below.

My question is:

How do I turn off the TeXish output and the module load log in a console
session.  I tried this:

------------------------------------------------------------------------
(1) -> )set output tex off
(1) -> 1+2
   Loading c:/cvs/head/axiom/mnt/windows/algebra/PI.o for domain
      PositiveInteger
   Loading c:/cvs/head/axiom/mnt/windows/algebra/NNI.o for domain
      NonNegativeInteger
   Loading c:/cvs/head/axiom/mnt/windows/algebra/INT.o for domain
      Integer

   Loading c:/cvs/head/axiom/mnt/windows/algebra/OUTFORM.o for domain
      OutputForm
   Loading c:/cvs/head/axiom/mnt/windows/algebra/LIST.o for domain List

   (1)  3
\axPrintType{\lispLink{\verb!(|conPage| '(
|PositiveInteger| ))!}{\verb`Positive
Integer`}}(2) ->
(2) ->
------------------------------------------------------------------------

but it doesn't seem to have worked so I suppose that there is a bug here
specific to Windows.

I don't want to fall into another open source development black hole so I
probably won't go much further with this myself, but I'm feeling very
pleased at the moment.

Bill, I can tell you what I did to get this far if you like (patch etc,
based on your earlier posting to the group + some other stuff), but you
would probably be better off waiting until GCL 2.6.2 is finalised and
Tim/whomever updates the Axiom lisp source tree to reflect current trends in
GCL development.

Cheers

Mike Thomas.




===============================================================
AXIOM BUILD LOG CRASH


Use (help) to get some basic information on how to use GCL.
                        AXIOM Computer Algebra System
                Version of Tuesday June 8, 2004 at 13:25:54
----------------------------------------------------------------------------
-
   Issue )copyright to view copyright notices.
   Issue )summary for a summary of useful system commands.
   Issue )quit to leave AXIOM and return to shell.
----------------------------------------------------------------------------
-

   Using local database c:/cvs/head/axiom/src/share/algebra/compress.daase..
Using local database c:/cvs/head/axiom/src/share/algebra/interp.daase..
   Using local database
c:/cvs/head/axiom/src/share/algebra/operation.daase..
   Using local database c:/cvs/head/axiom/src/share/algebra/category.daase..
   Using local database c:/cvs/head/axiom/src/share/algebra/browse.daase..
(1) ->
Error: Caught fatal error [memory may be damaged]
Fast links are on: do (si::use-fast-links nil) for debugging
Error signalled by RETURN.
Broken at APPLY.  Type :H for Help.
BOOT>>cp: cannot stat `c:/cvs/head/axiom/int/algebra/*.daase': No such file
or directory
make[3]: *** [c:/cvs/head/axiom/int/algebra/dbcomplete] Error 1
make[3]: Leaving directory `/c/cvs/head/axiom/src/algebra'
make[2]: *** [algebradir] Error 2
make[2]: Leaving directory `/c/cvs/head/axiom/src'
make[1]: *** [srcdir] Error 2
make[1]: Leaving directory `/c/cvs/head/axiom'


=============================================================
MESSY AXIOM SESSION LOG
=============================================================

$ ./mnt/windows/bin/AXIOMsys.exe
GCL (GNU Common Lisp)  2.6.2 CLtL1   Jun  8 2004 13:12:41
Source License: LGPL(gcl,gmp), GPL(unexec,bfd)
Binary License:  GPL due to GPL'ed components: (UNEXEC)
Modifications of this banner must retain notice of a compatible license
Dedicated to the memory of W. Schelter

Use (help) to get some basic information on how to use GCL.
                        AXIOM Computer Algebra System
                Version of Tuesday June 8, 2004 at 13:25:54
----------------------------------------------------------------------------
-
   Issue )copyright to view copyright notices.
   Issue )summary for a summary of useful system commands.
   Issue )quit to leave AXIOM and return to shell.
----------------------------------------------------------------------------
-

(1) -> summary

   (1)  summary
\axPrintType{\lispLink{\verb!(|conPage| '( |Variable| (QUOTE
 |summary| ) ))!}{\
verb`Variable`} summary}(2) ->
(2) -> cos 2.45
   Loading c:/cvs/head/axiom/mnt/windows/algebra/FLOAT.o for domain
      Float
   Loading c:/cvs/head/axiom/mnt/windows/algebra/PI.o for domain
      PositiveInteger
   Loading c:/cvs/head/axiom/mnt/windows/algebra/REF.o for domain
      Reference
   Loading c:/cvs/head/axiom/mnt/windows/algebra/INT.o for domain
      Integer
   Loading c:/cvs/head/axiom/mnt/windows/algebra/NNI.o for domain
      NonNegativeInteger
   Loading c:/cvs/head/axiom/mnt/windows/algebra/STRING.o for domain
      String
   Loading c:/cvs/head/axiom/mnt/windows/algebra/CHAR.o for domain
      Character
   Loading c:/cvs/head/axiom/mnt/windows/algebra/SINT.o for domain
      SingleInteger
   Loading c:/cvs/head/axiom/mnt/windows/algebra/OUTFORM.o for domain
      OutputForm
   Loading c:/cvs/head/axiom/mnt/windows/algebra/LIST.o for domain List

   Loading c:/cvs/head/axiom/mnt/windows/algebra/PRIMARR.o for domain
      PrimitiveArray
   Loading c:/cvs/head/axiom/mnt/windows/algebra/A1AGG-.o for domain
      OneDimensionalArrayAggregate&
   Loading c:/cvs/head/axiom/mnt/windows/algebra/INS-.o for domain
      IntegerNumberSystem&
   Loading c:/cvs/head/axiom/mnt/windows/algebra/MONOID-.o for domain
      Monoid&
   Loading c:/cvs/head/axiom/mnt/windows/algebra/ABELSG-.o for domain
      AbelianSemiGroup&
   Loading c:/cvs/head/axiom/mnt/windows/algebra/SGROUP-.o for domain
      SemiGroup&
   Loading c:/cvs/head/axiom/mnt/windows/algebra/REPSQ.o for package
      RepeatedSquaring
   Loading c:/cvs/head/axiom/mnt/windows/algebra/EUCDOM-.o for domain
      EuclideanDomain&
   Loading c:/cvs/head/axiom/mnt/windows/algebra/UFD-.o for domain
      UniqueFactorizationDomain&
   Loading c:/cvs/head/axiom/mnt/windows/algebra/GCDDOM-.o for domain
      GcdDomain&
   Loading c:/cvs/head/axiom/mnt/windows/algebra/INTDOM-.o for domain
      IntegralDomain&
   Loading c:/cvs/head/axiom/mnt/windows/algebra/ALGEBRA-.o for domain
      Algebra&
   Loading c:/cvs/head/axiom/mnt/windows/algebra/DIFRING-.o for domain
      DifferentialRing&
   Loading c:/cvs/head/axiom/mnt/windows/algebra/ORDRING-.o for domain
      OrderedRing&
   Loading c:/cvs/head/axiom/mnt/windows/algebra/MODULE-.o for domain
      Module&
   Loading c:/cvs/head/axiom/mnt/windows/algebra/RING-.o for domain
      Ring&
   Loading c:/cvs/head/axiom/mnt/windows/algebra/ABELGRP-.o for domain
      AbelianGroup&
   Loading c:/cvs/head/axiom/mnt/windows/algebra/ABELMON-.o for domain
      AbelianMonoid&
   Loading c:/cvs/head/axiom/mnt/windows/algebra/ORDSET-.o for domain
      OrderedSet&
   Loading c:/cvs/head/axiom/mnt/windows/algebra/IROOT.o for package
      IntegerRoots
   Loading c:/cvs/head/axiom/mnt/windows/algebra/FPS-.o for domain
      FloatingPointSystem&
   Loading c:/cvs/head/axiom/mnt/windows/algebra/RNS-.o for domain
      RealNumberSystem&
   Loading c:/cvs/head/axiom/mnt/windows/algebra/FIELD-.o for domain
      Field&
   Loading c:/cvs/head/axiom/mnt/windows/algebra/DIVRING-.o for domain
      DivisionRing&

   Loading c:/cvs/head/axiom/mnt/windows/algebra/ISTRING.o for domain
      IndexedString
   Loading c:/cvs/head/axiom/mnt/windows/algebra/SRAGG-.o for domain
      StringAggregate&
   Loading c:/cvs/head/axiom/mnt/windows/algebra/FLAGG-.o for domain
      FiniteLinearAggregate&
   Loading c:/cvs/head/axiom/mnt/windows/algebra/LNAGG-.o for domain
      LinearAggregate&
   Loading c:/cvs/head/axiom/mnt/windows/algebra/UNISEG.o for domain
      UniversalSegment
   (2)  - 0.7702312540 4730734171
\axPrintType{\lispLink{\verb!(|conPage| '( |Float| ))!}{\verb`Float`}}(3) ->
(3) -> 6.93*4.1328

   (3)  28.640304
\axPrintType{\lispLink{\verb!(|conPage| '( |Float| ))!}{\verb`Float`}}(4) ->
(4) -> 6.93/4.1328

   (4)  1.6768292682 926829268
\axPrintType{\lispLink{\verb!(|conPage| '( |Float| ))!}{\verb`Float`}}(5) ->
(5) -> 4/6
   Loading c:/cvs/head/axiom/mnt/windows/algebra/FRAC.o for domain
      Fraction

   Loading c:/cvs/head/axiom/mnt/windows/algebra/LA.o for domain
      LocalAlgebra
   Loading c:/cvs/head/axiom/mnt/windows/algebra/LO.o for domain
      Localize
        2
   (5)  -
        3
\axPrintType{\lispLink{\verb!(|conPage| '( |Fraction| (
|Integer| ) ))!}{\verb`F
raction`} \lispLink{\verb!(|conPage| '(
|Integer| ))!}{\verb`Integer`}}(6) ->
(6) ->

address@hidden /c/cvs/head/axiom
$ cd /c/cvs/head/axiom/src/algebra

address@hidden /c/cvs/head/axiom/src/algebra
$ ../../mnt/windows/bin/AXIOMsys.exe
GCL (GNU Common Lisp)  2.6.2 CLtL1   Jun  8 2004 13:12:41
Source License: LGPL(gcl,gmp), GPL(unexec,bfd)
Binary License:  GPL due to GPL'ed components: (UNEXEC)
Modifications of this banner must retain notice of a compatible license
Dedicated to the memory of W. Schelter

Use (help) to get some basic information on how to use GCL.
                        AXIOM Computer Algebra System
                Version of Tuesday June 8, 2004 at 13:25:54
----------------------------------------------------------------------------
-
   Issue )copyright to view copyright notices.
   Issue )summary for a summary of useful system commands.
   Issue )quit to leave AXIOM and return to shell.
----------------------------------------------------------------------------
-

(1) -> )lisp (make-databases "" nil)

Error: Caught fatal error [memory may be damaged]
Fast links are on: do (si::use-fast-links nil) for debugging
Error signalled by RETURN.
Broken at APPLY.  Type :H for Help.
BOOT>>:bt

#0   APPLY {loc0=#<compiled-function
system:universal-error-handler>,loc1=:error
,loc2=nil,l...} [ihs=20]
#1   APPLY {loc0=#<compiled-function
system:universal-error-handler>,loc1=:error
,loc2=nil,l...} [ihs=19]
#2   LAMBDA {} [ihs=16]
#3   systemError {g160176="Can't change the current directory to
\"NIL\".",loc1=
"System error",lo...} [ihs=15]
#4   LAMBDA {"NIL"=nil,} [ihs=8]
#5   MAKE-DATABASES {ext="",g170243=nil,g170208="",loc3=nil,loc4=((|dir|
"NIL"))
,loc5=make-database,...} [ihs=7]
#6   RESTART {loc0=nil,loc1=nil,loc2=nil,loc3=#<compiled-function
make-databases
>} [ihs=6]
#7   TOP-LEVEL
{loc0=nil,loc1=0,loc2=0,loc3=nil,loc4=nil,loc5=nil,loc6=nil,loc7=
"c:/cvs/head/ax...} [ihs=5]
#8   FUNCALL {loc0=#<compiled-function system:top-level>} [ihs=4]
NIL
BOOT>>