Contents

Fortran 95 Interval Arithmetic Programming Reference

Sun trademark Studio 10

819-0503-10

Contents

Before You Begin

Who Should Use This Book

How This Book Is Organized

What Is Not in This Book

Related Interval References

Online Resources

Typographic Conventions

TABLE P-2 Supported Platforms -xvii

Accessing Sun Studio Software and Man Pages

Accessing Sun Studio Documentation

Accessing Related Solaris Documentation

Resources for Developers

Contacting Sun Technical Support

Sending Your Comments

1. Using Interval Arithmetic With f95

1.1 f95 INTERVAL Type and Interval Arithmetic Support

1.2 f95 Interval Support Goal: Implementation Quality

1.2.1 Quality Interval Code

1.2.2 Narrow-Width Interval Results

1.2.3 Rapidly Executing Interval Code

1.2.4 Easy to Use Development Environment

1.3 Writing Interval Code for f95

1.3.1 Command-Line Options

1.3.2 Hello Interval World

1.3.3 Interval Declaration and Initialization

1.3.4 INTERVAL Input/Output

1.3.5 Single-Number Input/Output

1.3.6 Interval Statements and Expressions

1.3.7 Default Kind Type Parameter Value (KTPV)

1.3.8 Value Assignment V = expr

1.3.9 Mixed-Type Expression Evaluation

1.3.10 Arithmetic Expressions

1.3.11 Interval Order Relations

1.3.12 Intrinsic INTERVAL-Specific Functions

1.3.13 Interval Versions of Standard Intrinsic Functions

1.4 Code Development Tools

1.4.1 Debugging Support

1.4.2 Global Program Checking

1.4.3 Interval Functionality Provided in Sun Fortran Libraries

1.4.4 Porting Code and Binary Files

1.4.5 Parallelization

1.5 Error Detection

1.5.1 Known Containment Failures

2. f95 Interval Reference

2.1 Fortran Extensions

2.1.1 Character Set Notation

2.1.2 INTERVAL Constants

2.1.3 Internal Approximation

2.1.4 INTERVAL Statement

2.2 Data Type and Data Items

2.2.1 Name: INTERVAL

2.2.2 Kind Type Parameter Value (KTPV)

2.2.3 INTERVAL Arrays

2.3 INTERVAL Arithmetic Expressions

2.3.1 Mixed-Mode INTERVAL Expressions

2.3.2 Value Assignment

2.3.3 Interval Command-Line Options

2.3.4 Constant Expressions

2.4 Intrinsic Operators

2.4.1 Arithmetic Operators +, -, *, /

2.5 Power Operators X**N and X**Y

2.6 Dependent Subtraction Operator

2.7 Set Theoretic Operators

2.7.1 Hull: X Y or (X.IH.Y)

2.7.2 Intersection: XY or (X.IX.Y)

2.8 Set Relations

2.8.1 Disjoint: X intersection Y = empty set or (X .DJ. Y)

2.8.2 Element: r element Y or (R.IN. Y)

2.8.3 Interior: (X .INT. Y)

2.8.4 Proper Subset: X Y or (X .PSB. Y)

2.8.5 Proper Superset: X proper super set Y or (X .PSP. Y)

2.8.6 Subset: X reflex subset Y or (X .SB. Y)

2.8.7 Superset: X reflex super set Y or (X .SP. Y)

2.8.8 Relational Operators

2.9 Extending Intrinsic INTERVAL Operators

2.9.1 Extended Operators With Widest-Need Evaluation

2.9.2 INTERVAL (X [,Y, KIND])

2.9.3 Specific Names for Intrinsic Generic INTERVAL Functions

2.10 INTERVAL Statements

2.10.1 Type Declaration

2.10.2 Input and Output

2.10.3 Intrinsic INTERVAL Functions

2.10.4 Mathematical Functions

2.10.5 Random Number Subroutine

2.11 References

Copyright © 2004, Sun Microsystems, Inc. All Rights Reserved.