i1 : M = universalExtension({-2}, {2}) o1 = cokernel {2, 0} | x_0 x_1 x_2 | {1, 1} | y_0 0 0 | {1, 1} | y_1 y_0 0 | {1, 1} | 0 y_1 y_0 | {1, 1} | 0 0 y_1 | ZZ ZZ 5 o1 : ---[x , x , x ][y , y ]-module, quotient of (---[x , x , x ][y , y ]) 101 0 1 2 0 1 101 0 1 2 0 1 |
i2 : M = universalExtension({-2,-3}, {2,3}) o2 = cokernel {2, 0} | y_1x_0 y_1x_1 y_1x_2 y_1x_3 y_1x_4 y_1x_5 y_1x_6 y_1x_7 y_1x_8 | {3, 0} | x_9 x_10 x_11 x_12 x_13 x_14 x_15 x_16 x_17 | {2, 1} | y_0 0 0 0 0 0 0 0 0 | {2, 1} | y_1 y_0 0 0 0 0 0 0 0 | {2, 1} | 0 y_1 y_0 0 0 0 0 0 0 | {2, 1} | 0 0 y_1 y_0 0 0 0 0 0 | {2, 1} | 0 0 0 y_1 0 0 0 0 0 | {2, 1} | 0 0 0 0 y_0 0 0 0 0 | {2, 1} | 0 0 0 0 y_1 y_0 0 0 0 | {2, 1} | 0 0 0 0 0 y_1 y_0 0 0 | {2, 1} | 0 0 0 0 0 0 y_1 y_0 0 | {2, 1} | 0 0 0 0 0 0 0 y_1 y_0 | {2, 1} | 0 0 0 0 0 0 0 0 y_1 | ZZ ZZ 13 o2 : ---[x , x , x , x , x , x , x , x , x , x , x , x , x , x , x , x , x , x ][y , y ]-module, quotient of (---[x , x , x , x , x , x , x , x , x , x , x , x , x , x , x , x , x , x ][y , y ]) 101 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 0 1 101 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 0 1 |