Hi, axiom-developers, I'm new to axiom and just getting aquainted to it, trying to solve my problems using it, so please, forgive me, if I ask questions with obvious answers.
The one thing, which confused me is what do diagrams in bookvol10.3 (Domains reference) mean. The first question is what is the legend? It seems to me, that green boxes are domains and blue ones are categories. But there are some other colors and shapes. What do they mean? Is some kind of legend given anywhere? The sencod question is what kind of relation is depicted on those diagrams? E.g. for the category Symbol we have diagram with arrow pointing to STRICAT (StringCategory) category. But if I look at the code bellow (in the same section of the bookvol10.3) or browse documentation of the Symbol in the HyperDoc, I cannot find any reference to StringCategory. So, what is the relation, depicted in the diagram in the bookvol 10.3? (Note: similar situation presents for other domains eiher). Thanks in advance, Dmitry Semikin.
_______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org https://lists.nongnu.org/mailman/listinfo/axiom-developer
