-- -*- M2-comint -*- hash: 4614210494240508811

i1 : S = QQ[a,b,c,d]

o1 = S

o1 : PolynomialRing

i2 : I = ideal(a*d - b*c - 1)

o2 = ideal(- b*c + a*d - 1)

o2 : Ideal of S

i3 : A = S[u,v]

o3 = A

o3 : PolynomialRing

i4 : M = transpose (map(S,A)) last coefficients sub(basis(2,A),{u=>a*u+b*v,v=>c*u+d*v})

o4 = | a2 2ab   b2 |
     | ac bc+ad bd |
     | c2 2cd   d2 |

             3      3
o4 : Matrix S  <-- S

i5 : R = QQ[x_1..x_3]

o5 = R

o5 : PolynomialRing

i6 : V = linearlyReductiveAction(I,M,R)

o6 = R <- S/ideal(- b*c + a*d - 1) via 

     | a2 2ab   b2 |
     | ac bc+ad bd |
     | c2 2cd   d2 |

o6 : LinearlyReductiveAction

i7 : invariants(V,2)

       2
o7 = {x  - 4x x }
       2     1 3

o7 : List

i8 : invariants(V,3)

o8 = {}

o8 : List

i9 : 
