a := [ [ Z(3), 0*Z(3), Z(3), 0*Z(3), Z(3), Z(3) ], [ Z(3)^0, 0*Z(3), Z(3), 0*Z(3), 0*Z(3), Z(3)^0 ], [ Z(3)^0, Z(3), Z(3)^0, Z(3), Z(3)^0, Z(3) ], [ 0*Z(3), 0*Z(3), Z(3), Z(3), Z(3), Z(3) ], [ 0*Z(3), Z(3)^0, Z(3)^0, Z(3), Z(3)^0, Z(3) ], [ Z(3), 0*Z(3), Z(3), Z(3), Z(3), 0*Z(3) ] ]; ConvertToMatrixRep(a); b := [ [ 0*Z(3), 0*Z(3), 0*Z(3), Z(3)^0, Z(3)^0, Z(3) ], [ Z(3)^0, 0*Z(3), 0*Z(3), Z(3), 0*Z(3), 0*Z(3) ], [ Z(3)^0, 0*Z(3), Z(3), Z(3)^0, Z(3)^0, Z(3) ], [ Z(3), Z(3)^0, Z(3)^0, Z(3), Z(3)^0, Z(3) ], [ Z(3)^0, 0*Z(3), Z(3), Z(3)^0, 0*Z(3), Z(3) ], [ Z(3)^0, Z(3), 0*Z(3), 0*Z(3), Z(3), 0*Z(3) ] ]; ConvertToMatrixRep(b); v := [ Z(3), 0*Z(3), Z(3), Z(3), Z(3), Z(3) ]; ConvertToVectorRep(v);