-- -*- M2-comint -*- hash: 2770010738451063554

i1 : A = QQ<|x,y|>

o1 = A

o1 : FreeAlgebra

i2 : sigma = map(A,A,{y,x})

o2 = map (A, A, {y, x})

o2 : RingMap A <-- A

i3 : delta = derivation(A,{-x*y,y*x},sigma)

o3 = Derivation{generators => HashTable{x => -x*y}}
                                        y => y*x
                homomorphism => map (A, A, {y, x})
                "imageCache" => MutableHashTable{}
                matrix => | -xy yx |
                source => A

o3 : Derivation

i4 : delta y^2

o4 = x*y*x + y*x*y

o4 : A

i5 : 
