Changes http://page.axiom-developer.org/zope/mathaction/187TroubleWithTuples/diff -- Product can be looked up in hyperdoc. It is listed in Appendix C (p. 613 of Axiom (paper) Book; p. 1028 of eBook). Tuple is more like Direct Product since the entries must come from the same domain. However, Product constructs only Cartesian product of two domains; Direct Product requires a dimension parameter; whereas Tuple does not (arbitrary length). Also Tuple is only a linear aggregate (or PRIMARR) and has no algebraic structure. Direct product exists in many categories.
So, a tuple is not an element of Product (it is a Cartesian product in a loose mathematical sense: Tuple S is actually the infinite union of DirectProduct(n,S) over all n. William -- forwarded from http://page.axiom-developer.org/zope/mathaction/[EMAIL PROTECTED] _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
