RE: [Axiom-developer] help with Aldor categories, graphs and finite graphs.

[Bill Page]

Tim,

On September 11, 2005 6:53 PM I wrote:
> 
> However now in
> 
> http://axiom-developer.org/SandBoxCategoryOfGraphs
>
> I get a different apparently more serious error:
>
>  >> System error:
>   AxiomXL file "GRAPHCAT" is missing!
> 
> This error occurs when trying to call new()$FiniteGraph(INT) in
> spite of having already successfully defined g as a FiniteGraph.
>
> Ideas? Is this a "system error" or just another "user error"?

Tracing the message "AxiomXL file ..." leads me to 

http://www.axiom-developer.org/repository/axiom--main--1/src/interp/daas
e.lisp.pamphlet

;; following 2 functions are called by file-exports and file-imports
macros
(defun foam::process-import-entry (entry)
  (let* ((asharpname (car entry))
         (stringname (cadr entry))
         (hcode (caddr entry))
         (libname (cadddr entry))
         (bootname (intern stringname 'boot)))
    (declare (ignore libname))
    (if (and (eq hcode 'foam-user::|initializer|) (not (boundp
asharpname)))
        (error (format nil "AxiomXL file ~s is missing!" stringname)))
    (unless (or (not (numberp hcode)) (zerop hcode) (boundp asharpname))
          (when (|constructor?| bootname)
                (set asharpname
                     (if (getdatabase bootname 'niladic)
                         (|makeLazyOldAxiomDispatchDomain| (list
bootname))
                       (cons '|runOldAxiomFunctor|  bootname))))
          (when (|attribute?| bootname)
                (set asharpname (|makeLazyOldAxiomDispatchDomain|
bootname))))))

-----------

The 'file-imports' macro is defined here

http://www.axiom-developer.org/repository/axiom--main--1/src/interp/foam
_l.lisp.pamphlet

but from this point on I get lost. It is not clear to me where
this macro is called nor why it is being called for "GRAPHCAT".

These files have your name and Stephen M. Watt listed as
authors. I don't suppose you remember what all this was
about 10+ years ago :) or do you?

Any suggestions as to where I should look?

Do we have any working examples of Aldor categories being
used in the old version of Axiom?

Regards,
Bill Page.