login  home  contents  what's new  discussion  bug reports help  links  subscribe  changes  refresh  edit

# Edit detail for ExampleFreeAbelianGroup revision 1 of 1

 1 Editor: hemmecke Time: 2016/03/15 21:31:31 GMT+0 Note:

changed:
-
How to use FreeAbelianGroup

\begin{axiom}
Z ==> Integer
A==>FreeAbelianGroup(M)
M==>Matrix Z
m1 := matrix [[1,2],[3,4]]
m2 := matrix [[8,3]]
m3 := matrix [[6],[7]]
a1 := m1::A; a2:=m2::A;a3:=m3::A;
x1 := 2*a1+a2
x2 := 3*a1-5*a3
x1+x2
\end{axiom}



How to use FreeAbelianGroup?

fricas
Z ==> Integer
Type: Void
fricas
A==>FreeAbelianGroup(M)
Type: Void
fricas
M==>Matrix Z
Type: Void
fricas
m1 := matrix [[1,2],[3,4]]
 (1)
Type: Matrix(Integer)
fricas
m2 := matrix [[8,3]]
 (2)
Type: Matrix(Integer)
fricas
m3 := matrix [[6],[7]]
 (3)
Type: Matrix(Integer)
fricas
a1 := m1::A; a2:=m2::A;a3:=m3::A;
Type: FreeAbelianGroup?(Matrix(Integer))
fricas
x1 := 2*a1+a2
 (4)
Type: FreeAbelianGroup?(Matrix(Integer))
fricas
x2 := 3*a1-5*a3
 (5)
Type: FreeAbelianGroup?(Matrix(Integer))
fricas
x1+x2
 (6)
Type: FreeAbelianGroup?(Matrix(Integer))