help links subscribe changes refresh edit

	FrontPage
DoyenCD ←	↑	→ ExampleGroebner

ExampleFreeAbelianGroup

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

(1) -> Z ==> Integer

Type: Void

fricas

A==>FreeAbelianGroup(M)

Type: Void

fricas

M==>Matrix Z

Type: Void

fricas

m1 := matrix [[1,2],[3,4]]

$\label{eq1}\left[ \begin{array}{cc} 1 & 2 \ 3 & 4$

(1)

Type: Matrix(Integer)

fricas

m2 := matrix [[8,3]]

$\label{eq2}\left[ \begin{array}{cc} 8 & 3$

(2)

Type: Matrix(Integer)

fricas

m3 := matrix [[6],[7]]

$\label{eq3}\left[ \begin{array}{c} 6 \ 7$

(3)

Type: Matrix(Integer)

fricas

a1 := m1::A; a2:=m2::A;a3:=m3::A;

   There are no library operations named FreeAbelianGroup 
      Use HyperDoc Browse or issue
                          )what op FreeAbelianGroup
      to learn if there is any operation containing " FreeAbelianGroup 
      " in its name.

   Cannot find a definition or applicable library operation named 
      FreeAbelianGroup with argument type(s) 
                                    Type

      Perhaps you should use "@" to indicate the required return type, 
      or "$" to specify which version of the function you need.