-- -*- M2-comint -*- {* hash: -1362773759 *}

i1 : A = matrix{{1,1,1},{0,1,2}}

o1 = | 1 1 1 |
     | 0 1 2 |

              2        3
o1 : Matrix ZZ  <--- ZZ

i2 : b = {3,4}

o2 = {3, 4}

o2 : List

i3 : I = gkz (A,b)

             2
o3 = ideal (D  - D D , x D  + x D  + x D  - 3, x D  + 2x D  - 4)
             2    1 3   1 1    2 2    3 3       2 2     3 3

o3 : Ideal of QQ[x , x , x , D , D , D ]
                  1   2   3   1   2   3

i4 :