[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.

David MENTRE <address@hidden> --

reply via email to

[Prev in Thread] Current Thread [Next in Thread]