net.sourceforge.interval.ia_math
Class IANarrow

java.lang.Object
  |
  +--net.sourceforge.interval.ia_math.IANarrow

public class IANarrow
extends java.lang.Object

IANarrow.java -- classes implementing narrowing of arithmetic and elementary functions, as part of the "ia_math library" version 0.1beta1, 10/97

Copyright (C) 2000 Timothy J. Hickey

License: zlib/png

the class RealIntervalNarrow contains methods for narrowing the arithmetic operations and elementary functions.


Constructor Summary
IANarrow()
           
 
Method Summary
static boolean narrow_acos(RealInterval b, RealInterval a)
           
static boolean narrow_acos2pi(RealInterval a, RealInterval b)
           
static boolean narrow_add(RealInterval c, RealInterval a, RealInterval b)
           
static boolean narrow_asin(RealInterval b, RealInterval a)
           
static boolean narrow_asin2pi(RealInterval a, RealInterval b)
           
static boolean narrow_atan(RealInterval b, RealInterval a)
           
static boolean narrow_atan2pi(RealInterval a, RealInterval b)
           
static boolean narrow_carot(RealInterval z, RealInterval x, RealInterval y)
          z = x^y, where y is an integer
static boolean narrow_colon_equals(RealInterval a, RealInterval b, RealInterval c)
           
static boolean narrow_cos(RealInterval a, RealInterval b)
           
static boolean narrow_cos2pi(RealInterval a, RealInterval b)
           
static boolean narrow_div(RealInterval a, RealInterval b, RealInterval c)
           
static boolean narrow_eq(RealInterval a, RealInterval b, RealInterval c)
           
static boolean narrow_equals(RealInterval b, RealInterval c)
           
static boolean narrow_exp(RealInterval a, RealInterval b)
           
static boolean narrow_ge(RealInterval r, RealInterval x, RealInterval y)
           
static boolean narrow_gt(RealInterval r, RealInterval x, RealInterval y)
           
static boolean narrow_le(RealInterval r, RealInterval x, RealInterval y)
           
static boolean narrow_log(RealInterval a, RealInterval b)
           
static boolean narrow_lt(RealInterval result, RealInterval x, RealInterval y)
           
static boolean narrow_mul(RealInterval z, RealInterval x, RealInterval y)
           
static boolean narrow_ne(RealInterval r, RealInterval x, RealInterval y)
           
static boolean narrow_power(RealInterval z, RealInterval x, RealInterval y)
          z = x**y, assuming x > 0 and y is a real number
static boolean narrow_semi(RealInterval a, RealInterval b, RealInterval c)
           
static boolean narrow_sin(RealInterval a, RealInterval b)
           
static boolean narrow_sin2pi(RealInterval a, RealInterval b)
           
static boolean narrow_sub(RealInterval c, RealInterval a, RealInterval b)
           
static boolean narrow_tan(RealInterval a, RealInterval b)
           
static boolean narrow_tan2pi(RealInterval a, RealInterval b)
           
static boolean narrow_uminus(RealInterval a, RealInterval b)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

IANarrow

public IANarrow()
Method Detail

narrow_add

public static boolean narrow_add(RealInterval c,
                                 RealInterval a,
                                 RealInterval b)

narrow_sub

public static boolean narrow_sub(RealInterval c,
                                 RealInterval a,
                                 RealInterval b)

narrow_mul

public static boolean narrow_mul(RealInterval z,
                                 RealInterval x,
                                 RealInterval y)

narrow_div

public static boolean narrow_div(RealInterval a,
                                 RealInterval b,
                                 RealInterval c)

narrow_uminus

public static boolean narrow_uminus(RealInterval a,
                                    RealInterval b)

narrow_exp

public static boolean narrow_exp(RealInterval a,
                                 RealInterval b)

narrow_log

public static boolean narrow_log(RealInterval a,
                                 RealInterval b)

narrow_sin

public static boolean narrow_sin(RealInterval a,
                                 RealInterval b)

narrow_cos

public static boolean narrow_cos(RealInterval a,
                                 RealInterval b)

narrow_tan

public static boolean narrow_tan(RealInterval a,
                                 RealInterval b)

narrow_asin

public static boolean narrow_asin(RealInterval b,
                                  RealInterval a)

narrow_acos

public static boolean narrow_acos(RealInterval b,
                                  RealInterval a)

narrow_atan

public static boolean narrow_atan(RealInterval b,
                                  RealInterval a)

narrow_sin2pi

public static boolean narrow_sin2pi(RealInterval a,
                                    RealInterval b)

narrow_cos2pi

public static boolean narrow_cos2pi(RealInterval a,
                                    RealInterval b)

narrow_tan2pi

public static boolean narrow_tan2pi(RealInterval a,
                                    RealInterval b)

narrow_asin2pi

public static boolean narrow_asin2pi(RealInterval a,
                                     RealInterval b)

narrow_acos2pi

public static boolean narrow_acos2pi(RealInterval a,
                                     RealInterval b)

narrow_atan2pi

public static boolean narrow_atan2pi(RealInterval a,
                                     RealInterval b)

narrow_carot

public static boolean narrow_carot(RealInterval z,
                                   RealInterval x,
                                   RealInterval y)
z = x^y, where y is an integer

narrow_power

public static boolean narrow_power(RealInterval z,
                                   RealInterval x,
                                   RealInterval y)
z = x**y, assuming x > 0 and y is a real number

narrow_semi

public static boolean narrow_semi(RealInterval a,
                                  RealInterval b,
                                  RealInterval c)

narrow_colon_equals

public static boolean narrow_colon_equals(RealInterval a,
                                          RealInterval b,
                                          RealInterval c)

narrow_equals

public static boolean narrow_equals(RealInterval b,
                                    RealInterval c)

narrow_eq

public static boolean narrow_eq(RealInterval a,
                                RealInterval b,
                                RealInterval c)

narrow_lt

public static boolean narrow_lt(RealInterval result,
                                RealInterval x,
                                RealInterval y)

narrow_le

public static boolean narrow_le(RealInterval r,
                                RealInterval x,
                                RealInterval y)

narrow_gt

public static boolean narrow_gt(RealInterval r,
                                RealInterval x,
                                RealInterval y)

narrow_ge

public static boolean narrow_ge(RealInterval r,
                                RealInterval x,
                                RealInterval y)

narrow_ne

public static boolean narrow_ne(RealInterval r,
                                RealInterval x,
                                RealInterval y)