- In order to be as general as possible, we define an indexed functor
SparseMatrix : Index -> Ring -> Set
thus giving us the possibility to index elements either by usingPervasives
' limited precisionint
,Batteries
'Big_int
or any other index set with the right structure.
The content of this repository is licensed under the WTFPL:
DO WHATEVER THE FUCK YOU WANT, PUBLIC LICENSE
TERMS AND CONDITIONS FOR COPYING, DISTRIBUTION AND MODIFICATION
0. You just DO WHATEVER THE FUCK YOU WANT.