-- -*- M2-comint -*- {* hash: -1118247975 *} i1 : F = QQ^4 4 o1 = QQ o1 : QQ-module, free i2 : 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 :