Re: [Axiom-developer] depsys

[Vanuxem Grégory]

Le lundi 16 octobre 2006 à 18:05 +0200, Gabriel Dos Reis a écrit : 
> root <address@hidden> writes:
> 
> | > (1) it leads to wrong behaviour; this is factual.
> | 
> | But Axiom's been like this for years.
> 
> It does not mean it was correct :-)
> 
> | What is wrong about the behavior?
> 
> I explained the behaviour that you can reproduce.  Try it with depsys,
> bootsys.
> 
> | > (1) all the settings of that variable I've audited do not seem to agree on
> | >     on a single value.  Consequently, it is wrong on semantics
> | >     consideration. (Yes, I appreciate the settings are conditional).
> | 
> | What do you believe is the correct setting? And why?
> 
> (1) Setting the variable leads to the wrong behaviour I described earlier.
> (2) Then, I went to grep for that variable.  The output is that it is
>     not set to any coherent value.
> (3) commenting its setting leads to a coherent behaviour.


Some other information/manifestations (axiom and not depsys):

This is a Debian version
==============================================================
GCL (GNU Common Lisp)  2.6.6 CLtL1    Jan 20 2005 00:03:46
[...]
                        AXIOM Computer Algebra System 
                   Version: Axiom 3.0 Beta (February 2005)
                Timestamp: Monday March 21, 2005 at 01:36:09 
[...]
(1) -> )lis $current-directory
(1) -> 
Value = "/home/greg/"
(1) -> )cd Axiom
   The current AXIOM default directory is /home/greg/Axiom/
--------------------------------------------------------------

Axiom patch-50  (gcl-2.6.8pre2):
==============================================================
                        AXIOM Computer Algebra System 
                       Version: Axiom (September 2006)
              Timestamp: Saturday October 14, 2006 at 05:38:35 
[...]
(1) -> )lis $current-directory

Value = "/usr/local/axiom/mnt/linux/NIL/"
(1) -> -- used by the )cd system command
(1) -> )lis (trace interp-make-directory)

Value = (INTERP-MAKE-DIRECTORY)
(1) -> )cd Axiom

  1> (INTERP-MAKE-DIRECTORY |Axiom|)
  <1 (INTERP-MAKE-DIRECTORY "/usr/local/axiom/mnt/linux/NIL/Axiom/")

   >> System error:
   Can't change the current directory to
"/usr/local/axiom/mnt/linux/NIL/".

(1) -> )cd  
   The current AXIOM default directory is /home/greg/ 
(1) -> )lis $current-directory

Value = "/home/greg/"
(1) -> )cd Axiom

  1> (INTERP-MAKE-DIRECTORY |Axiom|)
  <1 (INTERP-MAKE-DIRECTORY "/home/greg/Axiom/")
  1> (INTERP-MAKE-DIRECTORY |Axiom|)
  <1 (INTERP-MAKE-DIRECTORY "/home/greg/Axiom/")
   The current AXIOM default directory is /home/greg/Axiom/
-----------------------------------------------------------

Greg