Re: [open-axiom-help] New operators

[Игорь П. <pas...@gm...>]

5 июня 2010 г. 19:08 пользователь Gabriel Dos Reis <gd...@cs...> написал:
>
> This is because SquareMatrix was not exposed by default in the interpreter.
> I discovered that right after I sent the other email, so I committed a fix to
> trunk.  You can either
>   (1) build the most recent version, or
>   (2) execute
>         )expose SQMATRIX
>
> and try again -- you should get the right answer.

I tried )expose SQMATRIX, but with the same results :-)

(1) -> )expose SQMATRIX
   SquareMatrix is now explicitly exposed in frame frame778
(1) -> A: SquareMatrix(2,Expression Complex Integer) := matrix[[1,2],[3,4]]

        +1  2+
   (1)  |    |
        +3  4+
                             Type: SquareMatrix(2,Expression Complex Integer)
(2) -> %i*A

   (2)  [4%i,6%i]
                            Type: DirectProduct(2,Expression Complex Integer)
(3) -> 2*A

        +2  4+
   (3)  |    |
        +6  8+
                             Type: SquareMatrix(2,Expression Complex Integer)
(4) -> A*2

   (4)  [6,14]
                            Type: DirectProduct(2,Expression Complex Integer)