> with(linalg):
Warning, the protected names norm and trace have been redefined and
unprotected

> K[red]:=matrix(4,4,[3,sqrt(3),-2,0,   sqrt(3),3,0,0,  
> -2,0,3,-sqrt(3),   0,0,-sqrt(3),3]);

                        [         1/2                  ]
                        [ 3      3        -2        0  ]
                        [                              ]
                        [ 1/2                          ]
                        [3        3        0        0  ]
              K[red] := [                              ]
                        [                           1/2]
                        [ -2      0        3      -3   ]
                        [                              ]
                        [                  1/2         ]
                        [ 0       0      -3         3  ]

> DET(K[red]):=det(K[red]);

                           DET(K[red]) := 0

> 
> M[red]:=matrix(4,4,[3,sqrt(3),-2,0,   sqrt(3),3,0,0,  
> -2,0,3+sqrt(3),-1-sqrt(3),   0,0,-1-sqrt(3),3+1/sqrt(3)]);

                    [         1/2                          ]
                    [ 3      3          -2            0    ]
                    [                                      ]
                    [ 1/2                                  ]
                    [3        3          0            0    ]
                    [                                      ]
          M[red] := [                     1/2           1/2]
                    [ -2      0      3 + 3        -1 - 3   ]
                    [                                      ]
                    [                                  1/2 ]
                    [                      1/2        3    ]
                    [ 0       0      -1 - 3       3 + ---- ]
                    [                                  3   ]

> DET(M[red]):=det(M[red]);

                                          1/2
                        DET(M[red]) := 8 3

> 
> 
> 
> 
> 
