Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Type inference problem
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Nils Goesche <cartan@c...>
Subject: Re: [Caml-list] Type inference problem
Vasilij Karpow <malc@boblycat.com> writes:

> P.S. A bit offtopic. I suspect this mailing list is filled with
> skilled mathematicians (and just intelligent people), and since
> nobody i know was able to solve my problem, here it is:
> http://algol.prosalg.no/~malc/moo.ps [.dvi|.pdf|.tex]    

Subtract g(n) on both sides.  You'll get a system of linear equations
which has g(0)...g(n) as solutions:

  M x = b,

where M = (m_ij), m_ij = Binom(i, j) is a lower triangular matrix.  It
is possible to write down a closed expression for M^{-1}, although
this might be a rather huge formula with many sum signs, I am not
sure.  Check some numeric text book.  Cholesky might be of help, or
maybe not; check some numeric text book.

Regards,
-- 
Nils Goesche
"Don't ask for whom the <CTRL-G> tolls."

PGP key ID 0x42B32FC9

-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr