Re: Cancellation of Office hours on Tuesday

Stephen Edwards (edwards@CS.VT.EDU)
Tue, 27 Feb 2001 20:50:56 -0500

• Next message: Stephen Edwards: "The Curator is working smoothly again"
• Previous message: Pak Chung: "Re: Cancellation of Office hours on Tuesday"
• In reply to: David Paroulek: "Re: Cancellation of Office hours on Tuesday"

Message-ID:  <3A9C5980.AE824BC6@cs.vt.edu>
Date:         Tue, 27 Feb 2001 20:50:56 -0500
From: Stephen Edwards <edwards@CS.VT.EDU>
Subject:      Re: Cancellation of Office hours on Tuesday

> -is it necessary to simplify the following {I} for problem 3b?
> {2 * b + a > 1}

Any assertion that is logically equivalent to the weakest loop invariant
is OK. In other words, all of the following logical assertions (for
some hypothetical precondition) are equivalent:

   x + 3y < 1
        x < 1 - 3y
       3y < 1 - x
        y < (1-x)/3

I don't think there are any "common terms" you can remove from the
assertion you quote to make it simpler.

                                -- Steve

--
Stephen Edwards            604 McBryde Hall          Dept. of Computer Science
e-mail      : edwards@cs.vt.edu           U.S. mail: Virginia Tech (VPI&SU)
office phone: (540)-231-5723                         Blacksburg, VA  24061-0106
-------------------------------------------------------------------------------

• Next message: Stephen Edwards: "The Curator is working smoothly again"
• Previous message: Pak Chung: "Re: Cancellation of Office hours on Tuesday"
• In reply to: David Paroulek: "Re: Cancellation of Office hours on Tuesday"