Re: [Axiom-mail] Help with AXIOM

[Renaud . Rioboo]

Dear Axiom Lovers,

Some clarification on Elias's mails. In fact he is trying to compile a package
I wrote for Axiom when there was no timer available for the programmer and
when timing functions returned wrong results (Axiom 2.1 I think).

Sources for the package are available somewhere (Misc ?) from

http://ftp.lip6.fr/lip6/softs/formel/Axiom/

Basically the package needs to call two external Lisp functions :

GET-INTERNAL-RUN-TIME and GCTIME

which should return integer times in milliseconds. This is what I could hack
on the CCL Axiom was running above by that time. These are very basic
information from the lisp point of vue:

- GET-INTERNAL-RUN-TIME returns the total running time of the Lisp running
  Axiom in milliseconds not counting garbage collector activity.

- GCTIME returns the total running time of garbage collector activity.

These were the functions used by the interpreter Top Level when it returns
timing statistics.

I was aware very late of the availability of Axiom and could only download it
by mid december and due many deadlines, meetings, teaching, system updates,
the sources are still at my office untouched.

Furthermore I will be out of my office next week and Elias' deadline is
wednesday 14 for Issac. I can thus not be of any help other that email
support.

However the informations needed to rewrite my package (or the axtimer of Axiom
2.3 which does almost the same thing) should be available inside the Lisp
system Axiom is running above since statistics are displayed by Axiom with 

)set message time on

Older Axioms using AKCL used other functions coming from the operating system
sys.time returning the time of the process from operating system statistics,
this should be available under some name in GCL.

As far as I know Elias would be fine in simply obtaining total timings coming
from the operating system.

May be someone knowing GCL or having access to the documentation of the
operating system interface and gc statistics may help ?

                Renaud