-- -*- M2-comint -*- hash: 4134003075535921236

i1 : R = ZZ/101[a,b]/ideal(a^2)

o1 = R

o1 : QuotientRing

i2 : k = coker vars R

o2 = cokernel | a b |

                            1
o2 : R-module, quotient of R

i3 : approximation k

o3 = (| 0 1 |, 0)

o3 : Sequence

i4 : M = image vars R

o4 = image | a b |

                             1
o4 : R-module, submodule of R

i5 : approximation M

o5 = ({1} | -1 0 |, 0)
      {1} | 0  1 |

o5 : Sequence

i6 : approximation(M, Total=>false)

o6 = {1} | -1 0 |
     {1} | 0  1 |

o6 : Matrix

i7 : approximation(M, CoDepth => 0)

o7 = ({1} | 1 0 |, 0)
      {1} | 0 1 |

o7 : Sequence

i8 : 
