Hi, Tensor products (of commutative rings) are "necessary" for representing the coordinate rings of a product of [affine] schemes.
For commutative rings, a new tensor product class imay not be needed or desirable, rather what is missing currently is the homomorphisms. Given algebras A and B, I would return C and the two maps m1: A -> C and m2: B -> C: (C, m1, m2) = A.tensor_product(B,ring=R) The algebra C would be an algebra which represents the tensor product and whose class could depend on A and B. If the ring is not specified, then A and B should have the same base_ring. Tensor products of polynomial rings and their quotients would be the first natural cases to implement. --David --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
