1

IEEE 754-1985 section 7.4(Underflow) says

After rounding - when a nonzero result computed as though the exponent range were unbounded would lie strictly between K(which is some value).

The following is my interpretation.

when a nonzero result computed as thought the exponent range unbounded is adverb clause.
would lie is verb phrase.
strictly between K is prepositional phrase.

So, when removing adverb clause and prepositional phrase, only verb remains there is no subject. Therefore my thought is wrong. What structure is used and what does it mean?

2
  • The quotation doesn't seem to be complete. For one thing, it ends with "between K". The preposition "between" requires a plural or double object, for example "between limits", or "between K and L". It seems to start with a preposition phrase "after rounding", followed by a clause, and so it is not a sentence. The quotation isn't available on a search because of the IEEE paywall. Oct 26, 2020 at 6:04
  • @JackO'Flaherty in the original source, "K" is actually a +/- value, and the whole thing is a bulleted list item under the introductory text "Tininess can be detected..."
    – TypeIA
    Oct 26, 2020 at 6:34

1 Answer 1

6

This is not a sentence at all, it's an adverbial clause. As an entry in a bulleted list, it should be combined with the introductory sentence fragment: "Tininess may be detected ..."

The completed sentence is then:

Tininess may be detected after rounding - when a nonzero result computed as though the exponent range were unbounded would lie strictly between +/- k.

The fragment "computed as though the exponent range were unbounded" is a restrictive clause, and would be clearer if set off by commas and marked with "that is." This does not change the parsing of the sentence.

Tininess may be detected after rounding - when a nonzero result, that is computed as though the exponent range were unbounded, would lie strictly between +/- k.

The sentence should be understood like this:

  • If one makes a calculation,
  • ... by assuming an unbounded exponent range,
  • ... and gets a nonzero result,
  • ... and rounds the result,
  • ... and the result is between +/- k,
  • ... then that result is called "tiny."

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .