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. fricas (1) -> )version Type: Void
fricas FreeAbelianGroup X ==> FreeModule(Integer, Type: Void
fricas A ==> FreeAbelianGroup(M) Type: Void
fricas M ==> Matrix Z Type: Void
fricas m1 := matrix [[1,
Type: Matrix(Integer)
fricas m2 := matrix [[8,
Type: Matrix(Integer)
fricas m3 := matrix [[6],
Type: Matrix(Integer)
fricas a1 := m1::A; a2:=m2::A;a3:=m3::A; Type: FreeModule(Integer,
fricas x1 := 2*a1+a2
Type: FreeModule(Integer,
fricas x2 := 3*a1-5*a3
Type: FreeModule(Integer,
fricas x1+x2
Type: FreeModule(Integer,
|
|
|
|
last edited 6 hours ago by hemmecke |
![\label{eq1}\left[
\begin{array}{cc}
1 & 2
\
3 & 4](images/7642698909323582480-16.0px.png "\label{eq1}\left[
\begin{array}{cc}
1 & 2
\
3 & 4")
![\label{eq3}\left[
\begin{array}{c}
6
\
7](images/4318726487444237231-16.0px.png "\label{eq3}\left[
\begin{array}{c}
6
\
7")
![\label{eq4}{2 \ {\left[
\begin{array}{cc}
1 & 2
\
3 & 4](images/5079614153276866189-16.0px.png "\label{eq4}{2 \ {\left[
\begin{array}{cc}
1 & 2
\
3 & 4")
![\label{eq5}\begin{array}{@{}l}
\displaystyle
{3 \ {\left[
\begin{array}{cc}
1 & 2
\
3 & 4](images/1018843857026034101-16.0px.png "\label{eq5}\begin{array}{@{}l}
\displaystyle
{3 \ {\left[
\begin{array}{cc}
1 & 2
\
3 & 4")
![\label{eq6}\begin{array}{@{}l}
\displaystyle
{5 \ {\left[
\begin{array}{cc}
1 & 2
\
3 & 4](images/5177410769646267830-16.0px.png "\label{eq6}\begin{array}{@{}l}
\displaystyle
{5 \ {\left[
\begin{array}{cc}
1 & 2
\
3 & 4")