How to use FreeFreeModule?

Commit https://github.com/fricas/fricas/commit/e5785c16bf7552522aac47ab5bb698244bffe090 removed the domain FreeAbelianGroup? from FriCAS.

See also https://groups.google.com/g/fricas-devel/c/yYgfAC-KWhg/m/p23BP5ZSBQAJ .

It can be replaced by FreeModule as follows.

(1) -> )version

"FriCAS 1.3.12 compiled at Sat  7 Jun 23:54:49 CEST 2025"
Z ==> Integer

FreeAbelianGroup X ==> FreeModule(Integer,X)

A ==> FreeAbelianGroup(M)

M ==> Matrix Z

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

(1)

m2 := matrix [[8,3]]

(2)

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

(3)

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

x1 := 2*a1+a2

(4)

x2 := 3*a1-5*a3

(5)

x1+x2

(6)