QR decomposition: Difference between revisions
m
Changed signValue function
m (Changed signValue function) |
m (Changed signValue function) |
||
Line 236:
R has (sign: R -> Integer) => coerce(sign(r)$R)$R
zero? r => r
householder(a) ==
m := nrows a
|