Vector ** Vector -- tensor product

Synopsis

• Operator: **

• Usage:

  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 : cokernel | a b c d 0 0 0 0 0 0 0 0 |
              | 0 0 0 0 a b c d 0 0 0 0 |
              | 0 0 0 0 0 0 0 0 a b c d |

See also

• Module ** Module -- tensor product