ratmat.at Function Index¶

Functions

Function	Argument(s) -> Results
gcd	`mat M->int`
simplify	`ratmat(M,,d)->ratmat`
/	`mat M,int d->ratmat`
*	`rat f,mat M->ratmat`
/	`mat M,rat f->ratmat`
entry	`ratmat(M,,d),int i,int j->rat`
matrix	`(int,int)(r,c),(int,int->rat) f->ratmat`
n_rows	`ratmat(M,,)->int`
n_columns	`ratmat(M,,)->int`
columns	`ratmat(M,,d)->[ratvec]`
rows	`ratmat(M,,d)->[ratvec]`
column	`ratmat(M,,d),int j->ratvec`
row	`ratmat(M,,d),int i->ratvec`
columns_with	`(int,ratvec->bool) p,ratmat(M,,d)->ratmat`
columns_with	`(ratvec->bool) p,ratmat T->ratmat`
columns_with	`(int->bool) p,ratmat(M,,d)->ratmat`
rows_with	`(int,ratvec->bool) p,ratmat(M,,d)->ratmat`
rows_with	`(ratvec->bool) p,ratmat T->ratmat`
rows_with	`(int->bool) p,ratmat(M,,d)->ratmat`
det	`ratmat(M,,d)->rat`
^	`ratmat(M,,d)->ratmat`
+	`ratmat(M,,d),ratmat(MM,,dd)->ratmat`
-	`ratmat(M,,d),ratmat(MM,,dd)->ratmat`
*	`ratvec v,ratmat(M,,d)->ratvec`
*	`ratmat(M,,d),ratvec v->ratvec`
*	`ratmat(M,,d),mat MM->ratmat`
*	`mat M,ratmat(MM,,d)->ratmat`
*	`ratmat(M,,d),ratmat(MM,,dd)->ratmat`
/	`ratmat(M,,d)->ratmat`
^	`ratmat(M,,d):Md,int e->ratmat`
ratmat_as_mat	`ratmat(M,,d)->mat`
mat_as_ratmat	`mat M->ratmat`
diagonal	`ratvec v->ratmat`
ratvecs_as_ratmat	`[ratvec] A->ratmat`
det	`[ratvec] M->rat`
^	`[ratvec] M->ratmat`
*	`[ratvec] M,ratmat MM->ratmat`
*	`ratmat M,[ratvec] MM->ratmat`
+	`[ratvec] M,ratmat MM->ratmat`
+	`ratmat M,[ratvec] MM->ratmat`
-	`[ratvec] M,ratmat MM->ratmat`
-	`ratmat M,[ratvec] MM->ratmat`
inverse	`ratmat(M,,d)->ratmat`
solve	`ratmat(M,,d), ratvec v->[ratvec]`
*	`[ratvec] M,mat MM->ratmat`
*	`mat M,[ratvec] MM->ratmat`
+	`[ratvec] M,mat MM->ratmat`
+	`mat M,[ratvec] MM->ratmat`
-	`[ratvec] M,mat MM->ratmat`
-	`mat M,[ratvec] MM->ratmat`
rational_inverse	`mat M->ratmat`
right_inverse	`ratmat M->ratmat`
left_inverse	`ratmat M->ratmat`
ratvec_to_string	`ratvec v->string`
show	`ratmat(M,,d)->void`

Data Types

Data Type Name	Definition
ratmat	`(mat,string,int)`