# D4 = V4

M := [ [1] ];
G := Group( (1,2), (3,4) );
iso := rec( 1 := G );
mu := [];
dim := 8;

# matrix dimensions:
# <A homalg internal 1 by 3 matrix>
# <A homalg internal 3 by 9 matrix>
# <A homalg internal 9 by 27 matrix>
# <A homalg internal 27 by 81 matrix>
# <A homalg internal 81 by 243 matrix>
# <A homalg internal 243 by 729 matrix>
# <A homalg internal 729 by 2187 matrix>
# <A homalg internal 2187 by 6561 matrix>
# factor = 4 - 1 = 3

#cohomology over Z:
#-------------------------->>>>  Z^(1 x 1)
#-------------------------->>>>  0
#-------------------------->>>>  Z/< 2 > + Z/< 2 >
#-------------------------->>>>  Z/< 2 >
#-------------------------->>>>  Z/< 2 > + Z/< 2 > + Z/< 2 >
#-------------------------->>>>  Z/< 2 > + Z/< 2 >
#-------------------------->>>>  Z/< 2 > + Z/< 2 > + Z/< 2 > + Z/< 2 >
#-------------------------->>>>  Z/< 2 > + Z/< 2 > + Z/< 2 >