minh thu wrote:
maybe i wrong, anyway :
induction can be used to prove a property.
we claim that the property is true for any finite i.
so what's the property that you want to prove by induction ?
you say 'by induction on the lenght of yq'.. but yq is just y (modulo
the "a*xq + b*").
it's exactly the same in
ones = 1:ones
does the left "ones" longer than the right one ?
Thanks for pointing this out - I'd somehow missed the fact that yq was also
defined in terms of y, so of course the idea of length becomes meaningless
in this context (at least as far as trying to compare the length of yq with
that of y)
Best regards, Brian.
--
Logic empowers us and Love gives us purpose.
Yet still phantoms restless for eras long past,
congealed in the present in unthought forms,
strive mightily unseen to destroy us.
http://www.metamilk.com
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
