From: "Frédéric PRACA" <frederic.praca@free.fr>
Subject: Re: [Spark] Proving GCD
Date: Fri, 17 Mar 2017 02:07:37 -0700 (PDT)
Date: 2017-03-17T02:07:37-07:00 [thread overview]
Message-ID: <6a8b0f95-ab79-4e47-b6e9-2cca27e0e45d@googlegroups.com> (raw)
In-Reply-To: <54c1f128-2929-48a1-930f-6c3b037d23c2@googlegroups.com>
Le vendredi 17 mars 2017 02:20:43 UTC+1, Brian Kolden a écrit :
> The gcd'Result <= A will fail if A = 0 and B = 1, I think. I can't verify that at the moment, but I'm fairly confident it will be false.
Arf !! You're right, this one is obviously wrong but even if I remove this part of the post conditon, I get the same message.
next prev parent reply other threads:[~2017-03-17 9:07 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-03-16 20:31 [Spark] Proving GCD Frédéric Praca
2017-03-17 1:20 ` Brian Kolden
2017-03-17 9:07 ` Frédéric PRACA [this message]
2017-04-05 23:52 ` moy
-- strict thread matches above, loose matches on Subject: below --
2017-03-16 20:27 Frédéric Praca
2017-03-17 9:33 ` Frédéric PRACA
2017-03-17 13:00 ` Phil Thornley
2017-03-17 13:24 ` Frédéric PRACA
2017-03-17 13:28 ` Frédéric PRACA
2017-03-17 17:16 ` Phil Thornley
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox