ratmat.at Function References


gcd

gcd:mat M->int Defined in line number 12.


simplify

simplify:ratmat(M,,d)->ratmat Defined in line number 15.


/

/:mat M,int d->ratmat Defined in line number 18.


*

*:rat f,mat M->ratmat Defined in line number 22.


/

/:mat M,rat f->ratmat Defined in line number 23.


entry

entry:ratmat(M,,d),int i,int j->rat Defined in line number 25.


matrix

matrix:(int,int)(r,c),(int,int->rat) f->ratmat Defined in line number 28.


n_rows

n_rows:ratmat(M,,)->int Defined in line number 33.


n_columns

n_columns:ratmat(M,,)->int Defined in line number 34.


columns

columns:ratmat(M,,d)->[ratvec] Defined in line number 36.


rows

rows:ratmat(M,,d)->[ratvec] Defined in line number 37.


column

column:ratmat(M,,d),int j->ratvec Defined in line number 38.


row

row:ratmat(M,,d),int i->ratvec Defined in line number 39.


columns_with

columns_with:(int,ratvec->bool) p,ratmat(M,,d)->ratmat Defined in line number 41.


columns_with

columns_with:(ratvec->bool) p,ratmat T->ratmat Defined in line number 44.


columns_with

columns_with:(int->bool) p,ratmat(M,,d)->ratmat Defined in line number 46.


rows_with

rows_with:(int,ratvec->bool) p,ratmat(M,,d)->ratmat Defined in line number 49.


rows_with

rows_with:(ratvec->bool) p,ratmat T->ratmat Defined in line number 52.


rows_with

rows_with:(int->bool) p,ratmat(M,,d)->ratmat Defined in line number 54.


det

det:ratmat(M,,d)->rat Defined in line number 57.


^

^:ratmat(M,,d)->ratmat Defined in line number 59.


+

+:ratmat(M,,d),ratmat(MM,,dd)->ratmat Defined in line number 61.


-

-:ratmat(M,,d),ratmat(MM,,dd)->ratmat Defined in line number 62.


*

*:ratvec v,ratmat(M,,d)->ratvec Defined in line number 65.


*

*:ratmat(M,,d),ratvec v->ratvec Defined in line number 66.


*

*:ratmat(M,,d),mat MM->ratmat Defined in line number 68.


*

*:mat M,ratmat(MM,,d)->ratmat Defined in line number 69.


*

*:ratmat(M,,d),ratmat(MM,,dd)->ratmat Defined in line number 70.


/

/:ratmat(M,,d)->ratmat Defined in line number 72.


^

^:ratmat(M,,d):Md,int e->ratmat Defined in line number 76.


ratmat_as_mat

ratmat_as_mat:ratmat(M,,d)->mat Defined in line number 79.


mat_as_ratmat

mat_as_ratmat:mat M->ratmat Defined in line number 80.


diagonal

diagonal:ratvec v->ratmat Defined in line number 81.


ratvecs_as_ratmat

ratvecs_as_ratmat:[ratvec] A->ratmat Defined in line number 84.


det

det:[ratvec] M->rat Defined in line number 87.


^

^:[ratvec] M->ratmat Defined in line number 88.


*

*:[ratvec] M,ratmat MM->ratmat Defined in line number 89.


*

*:ratmat M,[ratvec] MM->ratmat Defined in line number 90.


+

+:[ratvec] M,ratmat MM->ratmat Defined in line number 91.


+

+:ratmat M,[ratvec] MM->ratmat Defined in line number 92.


-

-:[ratvec] M,ratmat MM->ratmat Defined in line number 93.


-

-:ratmat M,[ratvec] MM->ratmat Defined in line number 94.


inverse

inverse:ratmat(M,,d)->ratmat Defined in line number 95.


*

*:[ratvec] M,mat MM->ratmat Defined in line number 98.


*

*:mat M,[ratvec] MM->ratmat Defined in line number 99.


+

+:[ratvec] M,mat MM->ratmat Defined in line number 100.


+

+:mat M,[ratvec] MM->ratmat Defined in line number 101.


-

-:[ratvec] M,mat MM->ratmat Defined in line number 102.


-

-:mat M,[ratvec] MM->ratmat Defined in line number 103.


rational_inverse

rational_inverse:mat M->ratmat Defined in line number 106.


ratvec_to_string

ratvec_to_string:ratvec v->string Defined in line number 108.


show

show:ratmat(M,,d)->void Defined in line number 113.


ratmat

(mat,string,int) Defined in line number 9.