-- -*- M2-comint -*- {* hash: 1574638725 *} i1 : R = ZZ/101[a..c]; i2 : image vars R ++ kernel vars R o2 = image {0} | a b c 0 0 0 | {1} | 0 0 0 -b 0 -c | {1} | 0 0 0 a -c 0 | {1} | 0 0 0 0 b a | 4 o2 : R-module, submodule of R i3 :
-- -*- M2-comint -*- {* hash: 1574638725 *} i1 : R = ZZ/101[a..c]; i2 : image vars R ++ kernel vars R o2 = image {0} | a b c 0 0 0 | {1} | 0 0 0 -b 0 -c | {1} | 0 0 0 a -c 0 | {1} | 0 0 0 0 b a | 4 o2 : R-module, submodule of R i3 :