Re: [Axiom-developer] Re: Axiom interactive input syntax

[David MENTRE]

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/