Comments on BLD draft

My comments:

 

1 RIF BLD does not display properly in Internet Explorer 6 (display in
IE7 has not been tested). Specifically virtually all the maths/logic
symbols in section 2.1.1.1 appear as a box rather than as set membership
operator arrow universal and existential quantifier etc etc. Apparently
display is correct in Firefox. Printing the document from IE6 also
causes problems.

 

2. Section 2.1.1.1 Signatures. Use of "base" and "basic" are
inconsistent (we talk of a base signature expression, then a basic
signature expression)

 

3. Section 2.1.1.1 Signatures. I'm not convinced I understand the phrase
"no two different signatures in s have the same name"

 

4. Section  2.1.4. "It is convenient to define a more general mapping
..." this claims to include IR, but it doesn't (and shouldn't as far as
I can see).

 

5. Section 4.2.2 The last sentence of this section doesn't seem to make
any sense unless "squared" is being used in some manner unknown to me

 

I'm not a great proof reader, so I am afraid apart from the first item
I've not found anything big. General point though is the document is
very dry and would benefit by peppering in a few more examples. I'm not
quite confident that the signatures section is "correct", but then I'm
struggling since I've no idea what most of the operator symbols are.

 

 

 

Dr Bob Moore 
Manager for Blaze Advisor Professional Services

Solutions and Technical Consulting Group International
mailto:bobmoore@fairisaac.com <mailto:bobmoore@fairisaac.com> 
Fair, Isaac International UK Corporation
Fair, Isaac House
International Square
Starley Way
Birmingham B37 7GN
United Kingdom
Mob: +44 - (0) 7778-417-555 
Fax: +44 - (0) 0870-420-3601

 


This email and any files transmitted with it are confidential, proprietary
and intended solely for the individual or entity to whom they are addressed.
If you have received this email in error please delete it immediately.