Tensor product of polynomial algebras

asked 2016-04-20 21:47:22 -0500

jan0 gravatar image

updated 2017-01-05 15:21:02 -0500

FrédéricC gravatar image

I want to make the tensor product of polynomial algebras. Evidently, the following is not the right way to do this:

sage: P.<x> = PolynomialRing(QQ)
sage: tensor([P, P])
AssertionError                            Traceback (most recent call last)
<ipython-input-2-17decd317813> in <module>()
----> 1 tensor([P, P])

/usr/lib/python2.7/site-packages/sage/categories/covariant_functorial_construction.pyc in __call__(self, args, **kwargs)
    219         """
    220         args = tuple(args) # a bit brute force; let's see if this becomes a bottleneck later
--> 221         assert(all( hasattr(arg, self._functor_name) for arg in args))
    222         assert(len(args) > 0)
    223         return getattr(args[0], self._functor_name)(*args[1:], **kwargs)


This does work for CombinatorialFreeModules but I can't figure out how to turn one of those into a polynomial algebra.

edit retag flag offensive close merge delete