- July 7th, 2017:
In LU-decomposition of matrices you have square P-matrix:
[[1,0..],
[0,2,0..],
[0,0,3,0..],
...]
For matrices of n² size
Code that- ∃! David Turner @DaveCTurner
- matrix n = let td = take n . drop 1 in td [td $ replicate i 0 ++ [i] ++ repeat 0 | i <- [0..]]
Incorporates strong typing over predicate logic programming, and, conversely, incorporates predicate logic programming into strongly typed functional languages. The style of predicate logic is from Prolog; the strongly typed functional language is Haskell.
Tuesday, August 1, 2017
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment