-- -*- M2-comint -*- hash: 13833582648941182051

i1 : F = toField(QQ[w]/ideal(1+w+w^2))

o1 = F

o1 : PolynomialRing

i2 : R = F[x_1..x_4]

o2 = R

o2 : PolynomialRing

i3 : conj = map(F,F,{w^2})

o3 = map (F, F, {- w - 1})

o3 : RingMap F <-- F

i4 : X = character(R,4,hashTable {(1,{2}) => matrix{{1,1,w,w^2}}})

o4 = Character over R
      
     (1, {2}) => | 1 1 w -w-1 |

o4 : Character

i5 : X' = dual(X,conj)

o5 = Character over R
      
     (-1, {-2}) => | 1 1 -w-1 w |

o5 : Character

i6 : perm = {1,2,4,3}

o6 = {1, 2, 4, 3}

o6 : List

i7 : dual(X,perm) === X'

o7 = true

i8 : 
