Changes between Initial Version and Version 1 of SigMmt/Templates/LowerUpperOfNumberRange

Show
Ignore:
Timestamp:
06/05/10 16:33:37 (11 years ago)
Author:
onnopaap (IP: 84.104.92.156)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/LowerUpperOfNumberRange

    v0 v1  
     1=== Base Template !LowerUpperOfNumberRange === 
     2 
     3[[br]]!LowerUpperOfNumberRange is a template for stating what the upper and lower bounds of a number range are.  
     4[[br]] 
     5[[br]]!LowerUpperOfNumberRange(a, b, c) means that a is a number range and b and c are numbers,  
     6[[br]]and that b is the lower, c the upper bound of a.  
     7[[br]] 
     8[[br]]Roles:  
     9[[br]]1 hasRange !NumberRange  
     10[[br]]2 hasLowerBound !ArithmeticNumber  
     11[[br]]3 hasUpperBound !ArithmeticNumber  
     12 
     13Axiom:  
     14{{{ 
     15LowerUpperOfNumberRange(x1, x2, x3) <->  
     16NumberRange(x1) &  
     17ArithmeticNumber(x2) &  
     18ArithmeticNumber(x3) &  
     19LowerBoundOfNumberRangeTemplate(x2, x1) &  
     20UpperBoundOfNumberRangeTemplate(x3, x1) .  
     21}}} 
     22 
     23NOTE To represent number ranges which are not bounded, use the reference items Infinity and -Infinity (see 8.2.1). 
Home
About PCA
Reference Data Services (RDS)
RDS Operations Support
Meetings and Conferences
ISO 15926
Special Interest Groups
Technical Advisory Board
Norwegian Continental Shelf Std
Projects
Search