[<<][rtl][>>][..]
Sat Apr 20 23:01:11 EDT 2019

System solving

Could also be implemented in Seq.  It's probably useful to have as a
library operation.  Do it first without pivoting.  Later, pivoting
might be necessary.

Not ideal:
- cramer's rule  (< 4 variables ok?)
- gaussian elimination

Better:
- LDU factorization?

RAI computes m_inv.



[Reply][About]
[<<][rtl][>>][..]