Hi Tim, On Sun, Nov 9, 2008 at 1:21 PM, root <[EMAIL PROTECTED]> wrote: > There are at least two possible paths toward a category hierarchy in Sage, > adopting Axiom's version or designing a new one. > > The key advantage of adopting the Axiom category hierarchy is the Sage > system could reuse a lot of the algorithms in Axiom. The Spad language > used in Axiom is similar in style and spirit to the Sage python language. > If the same categories were available it should be possible to use the > algorithms in Axiom's domains as written. > > The temptation to re-design is very seductive but not very productive.
What is the relationship between "categories" in Axiom and the mathematical notion of a category? --Mike _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
