[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Re: Hyperdoc
From: |
Bill Page |
Subject: |
Re: [Axiom-developer] Re: Hyperdoc |
Date: |
Wed, 13 Jun 2007 18:38:48 -0400 |
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.
- [Axiom-developer] Hyperdoc, daly, 2007/06/12
- [Axiom-developer] Re: Hyperdoc, Martin Rubey, 2007/06/12
- Re: [Axiom-developer] Re: Hyperdoc, Waldek Hebisch, 2007/06/12
- Re: [Axiom-developer] Re: Hyperdoc, Martin Rubey, 2007/06/13
- Re: [Axiom-developer] Re: Hyperdoc, Waldek Hebisch, 2007/06/13
- Re: [Axiom-developer] Re: Hyperdoc, Bill Page, 2007/06/13
- Re: [Axiom-developer] Re: Hyperdoc,
Bill Page <=
- Re: [Axiom-developer] Re: Hyperdoc, Martin Rubey, 2007/06/15
- Re: [Axiom-developer] Re: Hyperdoc, Bill Page, 2007/06/15
- Re: [Axiom-developer] Re: Hyperdoc, Martin Rubey, 2007/06/15
- Re: [Axiom-developer] Re: Hyperdoc, Alfredo Portes, 2007/06/15
- Re: [Axiom-developer] Re: Hyperdoc, Bill Page, 2007/06/15
- Re: [Axiom-developer] Re: Hyperdoc, William Sit, 2007/06/15
- Re: [Axiom-developer] Re: Hyperdoc, William Sit, 2007/06/15
- Re: [Axiom-developer] Re: Hyperdoc, William Sit, 2007/06/15
- Re: [Axiom-developer] Re: Hyperdoc, Bill Page, 2007/06/15