Ralf, You asked about the full graph for categories at some point in the past. In books/bookvol10.2.pamphlet, at the end, is the chunk dotfull. This chunk collects the subparts of the category graph from Category book (vol 10.2) into one place. Extracting this chunk will create a graphviz "dot" file for further processing.
Each category has a dotfull chunk with its part of the graph. For instance, A1AGG.dotfull. Tim _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org https://lists.nongnu.org/mailman/listinfo/axiom-developer
