-- -*- M2-comint -*- {* hash: 864540485 *} i1 : R = ZZ/2[x,y]; i2 : f = random(R^3,R^{3:-1}) o2 = | x+y 0 0 | | y y 0 | | 0 0 x | 3 3 o2 : Matrix R <--- R i3 : exteriorPower_2 f o3 = | xy+y2 0 0 | | 0 x2+xy 0 | | 0 xy xy | 3 3 o3 : Matrix R <--- R i4 : g = map(coker matrix {{x^2},{x*y},{y^2}}, R^3, id_(R^3)) o4 = | 1 0 0 | | 0 1 0 | | 0 0 1 | o4 : Matrix i5 : g2 = exteriorPower(2,g) o5 = | 1 0 0 | | 0 1 0 | | 0 0 1 | o5 : Matrix i6 : target g2 o6 = cokernel | xy x2 0 | | y2 0 x2 | | 0 y2 xy | 3 o6 : R-module, quotient of R i7 :