Vector ** Vector -- tensor product

Synopsis

• Operator: **

• Usage:

  v ** w

  tensor(v, w)

• Inputs:
  • v, a vector,
  • w, a vector,
• Outputs:
  • a vector, the tensor product of $v$ and $w$

Description

i1 : R = ZZ[a..d];

i2 : F = R^3

      3
o2 = R

o2 : R-module, free

i3 : G = coker vars R

o3 = cokernel | a b c d |

                            1
o3 : R-module, quotient of R

i4 : v = (a-37)*F_1

o4 = |   0  |
     | a-37 |
     |   0  |

      3
o4 : R

i5 : v ** G_0

o5 = |  0  |
     | -37 |
     |  0  |

o5 : Vector

See also

• flip -- isomorphism map of commutativity of tensor product
• tensor(Module,Module) -- tensor product of modules
• tensor(Matrix,Module) -- tensor product
• tensor(Matrix,Matrix) -- tensor product