David,
> On 1 Nov 2019, at 16:13, David Topham wrote:
>
> Ok, I can work within integers for awhile! I was trying to use the general
> form of the geometric progression that may involve fractions, but I can
> explore whole numbers more first.
As an aside from what Roger has been trying to
Ok, I can work within integers for awhile! I was trying to use the general
form of the geometric progression that may involve fractions, but I can
explore whole numbers more first. I see the "induction_thm" won't work
with R anyway since it has the base case as 0 and SML would expect 0.0
there