Re: [Axiom-developer] Re: [Gcl-devel] Re: serveral bugs in codebase

[Camm Maguire]

Greetings!  Here are my resulst thus far:

1) Copying the linux binary from tenkan, and using my compiled
   interpsys in that directory, I get a slightly modified result from
   the one reported:

        (3) -> set [p,p]
   Loading /fix/t1/camm/axiom/noncvs/axiom/mnt/linux/algebra/URAGG-.o 
      for domain UnaryRecursiveAggregate& 
   There are no exposed library operations named elt but there are 51 
      unexposed operations with that name. Use HyperDoc Browse or issue
                               )display op elt
      to learn more about the available operations.
 
   Cannot find a definition or applicable library operation named elt 
      with argument type(s) 
        List MonoidRing(Polynomial PrimeField 5,Permutation Integer)
      
      Perhaps you should use "@" to indicate the required return type, 
      or "$" to specify which version of the function you need.
(3) -> one? p

   Loading /fix/t1/camm/axiom/noncvs/axiom/mnt/linux/algebra/BOOLEAN.o 
      for domain Boolean 
   (3)  false
                                                                Type: Boolean

2) Taking the same interpsys, copying over the missing algebra clisp
   files from Juergen's tree, compiling them by hand, and then
   executing the above, all works correctly.

3) These two results with safety set to 0.   My current understanding
   is that the large argument patch is only necessary when compiling
   with safety >=2, as GCL will inline the large apply call otherwise.
   In any case, the |data| patch for define.boot.pamphlet has been
   applied. 

4) Logical next step is to diff Juergen's clisp files with the ones
   pertaining to the binary.  These alas are not in the tarball.

5) Are we sure we know this problem persists in a clean system
   recompiled with the lengthvec patch?  I currently cannot reproduce
   it from source, only partially with some binary only modules.

6) Does everyone else see this elt message in 1)?  Perhaps this
   indicates a syntax error or is otherwise illustrative?

Take care,

root <address@hidden> writes:

> Camm,
> 
> At present the CVS tree does not build all of the algebra. Until
> your latest patch it couldn't. There are still about 25% of the
> domains to compile which is why PF and FAXF don't exist.
> 
> The binary version was hand-built. It differs from the CVS version
> primarily in the algebra. If you build Axiom from CVS you need to
> download the binary version, copy the CVS interpsys over into the
> binary /spad/mnt/linux/bin directory and execute it from there.
> Be sure to reset your $AXIOM variable to /spad/mnt/linux first.
> 
> I'm working to update the algebra build makefile. The algebra forms
> a lattice (with cycles) and I'm working out that lattice. It used
> to be the case that you needed a working axiom to build axiom. In
> the near future you'll be able to build it from scratch. Until that
> time you need a "working" axiom (i.e. the binary version).
> 
> Tim
> address@hidden
> address@hidden
> 
> 
> _______________________________________________
> Gcl-devel mailing list
> address@hidden
> http://mail.gnu.org/mailman/listinfo/gcl-devel
> 
> 
> 

-- 
Camm Maguire                                            address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah