For two arguments, this is the same as A ** B except that options are allowed. These optional arguments are valid only in the cases tensor(Ring,Ring) or tensor(Monoid,Monoid). For multiple arguments, the tensor product is constructed iteratively from the binary tensor products, working from left to right.
i1 : tensor (ZZ^2, ZZ^3, ZZ^4) 24 o1 = ZZ o1 : ZZ-module, free |
The object tensor is a function closure.