comp.lang.ada
 help / color / mirror / Atom feed
From: Brian Kolden <bakolden5@gmail.com>
Subject: [Spark] Proving GCD
Date: Thu, 16 Mar 2017 18:20:42 -0700 (PDT)
Date: 2017-03-16T18:20:42-07:00	[thread overview]
Message-ID: <54c1f128-2929-48a1-930f-6c3b037d23c2@googlegroups.com> (raw)
In-Reply-To: <58caf63b$0$24793$426a74cc@news.free.fr>

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.

  reply	other threads:[~2017-03-17  1:20 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 [this message]
2017-03-17  9:07   ` Frédéric PRACA
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