[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

*From*: Kevin Sullivan <sulliva...@xxxxxxxxx>*Date*: Fri, 25 Oct 2013 08:59:13 -0700 (PDT)

Let me know if this isn't the place to provide such feedback, I happen to be

going through the Hyperbook with some care, so I figured I'd let you know

the places where I saw little glitches, but if this is the wrong forum, sorry, and

I'll stop.

====

In 5.1

"In other words, initially injug equals a function with domain Jugs that

assigns 0 to every element in its domain. Mathematics provides no standard

notation for writing this function."

==> lambda j \in Jugs => 0. (* Maybe lambda calculus isn't construed as "math"? *)

In 5.1

" To understand why not, you need to know to additional rules for labels in a PlusCal algorithm."

==> Typo: third "to" -> two

First sentence of 5.2

" Me now use TLC to check algorithm"

==> typo: Me -> We

In 5.2

"We want the model to assign to Capacity a function with domain {big; small}

such that Capacity [big ] = 3 and Capacity [small ] = 4."

==> I think the literals should be 5 and 3, not 3 and 4.

In 5.2, there are no explicit instructions as to how to enter (big :> 5) @@ (small :> 3) into the model, and, moreover, when you enter this code as a model variable, the value disappears from the view of the model variable values, and even if you edit it, the (big :> 5) @@ (small :> 3) seems to have disappeared. Bug? I'm a little mystified as to what's happening here.

- Prev by Date:
**Minor hyper book issue (?)** - Next by Date:
**Toolbox and colors** - Previous by thread:
**Minor hyper book issue (?)** - Next by thread:
**Toolbox and colors** - Index(es):