Macaulay2 » Documentation
Packages » Macaulay2Doc » modules » Module » wedgeProduct
next | previous | forward | backward | up | index | toc

wedgeProduct -- the exterior multiplication map

Description

i1 : F = QQ^4

       4
o1 = QQ

o1 : QQ-module, free
 
i2 : wp = wedgeProduct(1, 1, F)

o2 = | 0 1 0 0 -1 0 0 0 0  0  0 0 0  0  0  0 |
     | 0 0 1 0 0  0 0 0 -1 0  0 0 0  0  0  0 |
     | 0 0 0 0 0  0 1 0 0  -1 0 0 0  0  0  0 |
     | 0 0 0 1 0  0 0 0 0  0  0 0 -1 0  0  0 |
     | 0 0 0 0 0  0 0 1 0  0  0 0 0  -1 0  0 |
     | 0 0 0 0 0  0 0 0 0  0  0 1 0  0  -1 0 |

              6       16
o2 : Matrix QQ  <-- QQ
 
i3 : L = exteriorPower(1, F)

       4
o3 = QQ

o3 : QQ-module, free
 
i4 : R = exteriorPower(1, F)

       4
o4 = QQ

o4 : QQ-module, free
 
i5 : wp * (L_0 ** R_0)

o5 = 0

       6
o5 : QQ
 
i6 : wp * (L_0 ** R_1)

o6 = | 1 |
     | 0 |
     | 0 |
     | 0 |
     | 0 |
     | 0 |

       6
o6 : QQ

See also

Ways to use wedgeProduct:

  • wedgeProduct(ZZ,ZZ,Module)

For the programmer

The object wedgeProduct is a method function.

The source of this document is in Macaulay2Doc/functions/wedgeProduct-doc.m2:28:0.