[GAP Forum] GAP's type hierarchy

[Grigory Sarnitskiy]

Hello! I've never used GAP but I heard it's uses some kind of hierarchy to represent mathematical structures. I'm trying to collect information of such hierarchies in various computer algebra system's and languages.

I would like to find a graph representing the GAP's hierarchy. For example Axiom's graph of its math categories is http://ubuntuone.com/p/19TT/ (although it is not complete and categories' names are abbreviated) and the graph of Haskell's basic algebra library is http://ubuntuone.com/p/19TS/.

And does anybody knows the same thing for MAGMA?  MAGMA is not very open and I couldn't find a mailing list or a forum for its  users to ask the question.