[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Re: Axiom interactive input syntax
From: |
David MENTRE |
Subject: |
Re: [Axiom-developer] Re: Axiom interactive input syntax |
Date: |
Thu, 11 Dec 2003 21:48:56 +0100 |
User-agent: |
Gnus/5.1002 (Gnus v5.10.2) Emacs/21.2 (gnu/linux) |
Bertfried Fauser <address@hidden> writes:
> browse Ring
>
> Ring
> |___ Euclidean Ring
> | |____ Division Ring
> |___ Artinear Ring
> |...
> ...
>
> which shows which types are subtypes, (downsearch)
>
> A second way of working should diplay the upbraces of teh type tree
> (graph?) so that you see all datastructures which contain the type
> Ring, that may be modules, groups, abelian monoids, etc....
Thank you Bertfried, it's more clearer now.
Yours,
d.
--
David MENTRE <address@hidden> -- http://www.nongnu.org/axiom/
- [Axiom-developer] Re: [Axiom-mail] RE: AXIOM / TeXmacs problems (bugs?), David MENTRE, 2003/12/08
- [Axiom-developer] Axiom interactive input syntax (was: [Axiom-mail] RE: AXIOM / TeXmacs problems(bugs?)), Bill Page, 2003/12/09
- [Axiom-developer] Re: Axiom interactive input syntax, David MENTRE, 2003/12/10
- Re: [Axiom-developer] Re: Axiom interactive input syntax, Bertfried Fauser, 2003/12/10
- Re: [Axiom-developer] Re: Axiom interactive input syntax, nic, 2003/12/10
- RE: [Axiom-developer] Re: Axiom interactive input syntax, Bill Page, 2003/12/10
- Type coercicion (was: Re: [Axiom-developer] Re: Axiom interactive input syntax), David MENTRE, 2003/12/10
- Re: Type coercicion (was: Re: [Axiom-developer] Re: Axiom interactive input syntax), nic, 2003/12/15
- Re: [Axiom-developer] Re: Axiom interactive input syntax, David MENTRE, 2003/12/10
- Re: [Axiom-developer] Re: Axiom interactive input syntax, Bertfried Fauser, 2003/12/11
- Re: [Axiom-developer] Re: Axiom interactive input syntax,
David MENTRE <=