X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=src%2FLinear%2FSystem.hs;h=85a1dd4b4a619affd6401a5d0e890e19ac007efc;hb=613b25028368b3651bea0c801e05d9962ad9b604;hp=58d8d78e7a6fe866751109a1c1dfb1610eeeb728;hpb=1f64a1a33b2636ef2e863a0b577c8d8d50233580;p=numerical-analysis.git diff --git a/src/Linear/System.hs b/src/Linear/System.hs index 58d8d78..85a1dd4 100644 --- a/src/Linear/System.hs +++ b/src/Linear/System.hs @@ -31,6 +31,11 @@ import qualified Algebra.Field as Field -- >>> forward_substitute m b -- ((1.0),(0.0)) -- +-- >>> let m = fromList [[4,0],[0,2]] :: Mat2 Double +-- >>> let b = vec2d (2, 1.5 :: Double) +-- >>> forward_substitute m b +-- ((0.5),(0.75)) +-- forward_substitute :: forall a m. (Field.C a, Arity m) => Mat m m a -> Mat m N1 a @@ -75,8 +80,8 @@ backward_substitute :: (Field.C a, Arity m) => Mat m m a -> Mat m N1 a -> Mat m N1 a -backward_substitute m b = - forward_substitute (transpose m) b +backward_substitute m = + forward_substitute (transpose m) -- | Solve the linear system m*x = b where m is positive definite.