Re: [Axiom-developer] Re: Hyperdoc

[Bill Page]

On 6/13/07, Waldek Hebisch wrote:
> Martin Rubey wrote:
> >
> > Waldek, in case you know, could you just provide an example call
> > from within the Axiom interpreter?  I tried
> >
> > getDependentsOfConstructor(Integer)$Lisp
> >
> > but only nil was returned.
> >
>
> >From interpreter you may use:
>
> )lisp (|getDependentsOfConstructor| '|Integer|)
>
> The argument is an unevaluated (because of quote) symbol.  If you
> want to call it from Spad you need to use something like:
>
> (getDependentsOfConstructor$Lisp)((INTERN$Lisp)("Integer"))
>
> or maybe use FIND_-SYMBOL insted of INTERN.  I do not know if
> there is easier method to pass Lisp symbol from Spad to Lisp
> function.

Martin,

Perhaps the ultimate example of what you want (except
nicely formated HTML output) is 'displayDatabase' defined in
/src/interp/as.boot.pamphlet.

For example:

(1) -> displayDatabase(INTERN("Integer")$Lisp)$Lisp

----------------- CONSTRUCTORFORM --------------------
(|Integer|)
----------------- CONSTRUCTORKIND --------------------
|domain|
----------------- CONSTRUCTORMODEMAP --------------------
(((|Integer|)
 (|Join| (|IntegerNumberSystem|) (|ConvertibleTo| (|String|))
         (|OpenMath|)
         (CATEGORY |domain| (SIGNATURE |random| ($ $))
             (ATTRIBUTE |canonical|) (ATTRIBUTE |canonicalsClosed|)
             (ATTRIBUTE |noetherian|) (ATTRIBUTE |infinite|))))
(T |Integer|))
----------------- ABBREVIATION --------------------
INT
----------------- CONSTRUCTORCATEGORY --------------------
(|Join| (|IntegerNumberSystem|) (|ConvertibleTo| (|String|))
       (|OpenMath|)
       (CATEGORY |domain| (SIGNATURE |random| ($ $))
           (ATTRIBUTE |canonical|) (ATTRIBUTE |canonicalsClosed|)
           (ATTRIBUTE |noetherian|) (ATTRIBUTE |infinite|)))
----------------- PARENTS --------------------
NIL

...

Regards,
Bill Page.