All Packages Class Hierarchy This Package Previous Next Index
java.lang.Object | +----ia_math.IAMath
|x|**y<\code}
where x
is an interval and
y
is a double.
-
evenRoot(RealInterval, double)
- this is the Natural Interval extension of
xpos**(1/y)<\code}
where x
is an interval and xpos
is the
set of positive numbers contained in x and
y
is a non-zero double.
-
exp(RealInterval)
-
-
integerPower(RealInterval, RealInterval)
- returns (x**y) assuming that y is restricted to integer values
currently returns (-infty,infty) if y is not bound to an
interval containing a single integer
-
integerRoot(RealInterval, RealInterval)
- returns (x**1/y) assuming that y is restricted to integer values
currently returns (-infty,infty) if y is not bound to an
interval containing a single integer
-
intersect(RealInterval, RealInterval)
-
-
intersect_odiv(RealInterval, RealInterval, RealInterval)
- this performs (y := y intersect z/x) and succeeds if
y is nonempty.
-
intersectIntegerRoot(RealInterval, RealInterval, RealInterval)
- computes
u := (u intersect ((x**1/y) union -(x**1/y)))
and returns true if u is nonempty
Also, assumes that y is a constant integer interval
-
leftendpoint(RealInterval)
-
-
log(RealInterval)
-
-
main(String[])
-
-
midpoint(RealInterval)
-
-
mul(RealInterval, RealInterval)
-
-
nonempty(RealInterval)
-
-
oddPower(RealInterval, double)
- this is the Natural Interval extension of
sgn(x)*(|x|**y)<\code}
where x
is an interval and
y
is a double.
-
oddRoot(RealInterval, double)
- this is the Natural Interval extension of
sgn(x)*|x|**(1/y)<\code}
where x
is an interval and
y
is a non-zero double.
-
odiv(RealInterval, RealInterval)
- This is identical to the standard
div(x,y)
method,
except that if y
is identically zero, then
the infinite interval (-infinity, infinity) is returned.
-
oldcos2pi(RealInterval)
-
-
power(RealInterval, RealInterval)
- returns (x**y) computed as exp(y*log(x))
-
rightendpoint(RealInterval)
-
-
sin(RealInterval)
-
-
sin2pi(RealInterval)
-
-
sinRange(int, int)
-
-
sub(RealInterval, RealInterval)
-
-
tan(RealInterval)
-
-
tan2pi(RealInterval)
-
-
uminus(RealInterval)
-
-
union(RealInterval, RealInterval)
-
public IAMath()
public static final boolean nonempty(RealInterval x)
public static RealInterval intersect(RealInterval x, RealInterval y) throws IAException
public static RealInterval union(RealInterval x, RealInterval y) throws IAException
public static RealInterval add(RealInterval x, RealInterval y)
public static RealInterval sub(RealInterval x, RealInterval y)
public static RealInterval mul(RealInterval x, RealInterval y)
public static RealInterval div(RealInterval x, RealInterval y)
Division by Zero
.
public static RealInterval odiv(RealInterval x, RealInterval y)
div(x,y)
method,
except that if y
is identically zero, then
the infinite interval (-infinity, infinity) is returned.
public static boolean intersect_odiv(RealInterval y, RealInterval z, RealInterval x) throws IAException
public static RealInterval uminus(RealInterval x)
public static RealInterval exp(RealInterval x)
public static RealInterval log(RealInterval x) throws IAException
public static RealInterval sin(RealInterval x)
public static RealInterval cos(RealInterval x)
public static RealInterval tan(RealInterval x)
public static RealInterval asin(RealInterval x) throws IAException
public static RealInterval acos(RealInterval x)
public static RealInterval atan(RealInterval x)
public static RealInterval sinRange(int a, int b)
public static RealInterval sin2pi(RealInterval x)
public static RealInterval cos2pi(RealInterval x)
public static RealInterval oldcos2pi(RealInterval x)
public static RealInterval tan2pi(RealInterval x)
public static RealInterval asin2pi(RealInterval x) throws IAException
public static RealInterval acos2pi(RealInterval x)
public static RealInterval atan2pi(RealInterval x)
public static RealInterval midpoint(RealInterval x)
public static RealInterval leftendpoint(RealInterval x)
public static RealInterval rightendpoint(RealInterval x)
public static RealInterval power(RealInterval x, RealInterval y) throws IAException
public static RealInterval evenPower(RealInterval x, double y) throws IAException
|x|**y<\code}
where x
is an interval and
y
is a double.
public static RealInterval oddPower(RealInterval x, double y) throws IAException
sgn(x)*(|x|**y)<\code}
where x
is an interval and
y
is a double.
public static RealInterval evenRoot(RealInterval x, double y) throws IAException
xpos**(1/y)<\code}
where x
is an interval and xpos
is the
set of positive numbers contained in x and
y
is a non-zero double.
public static RealInterval oddRoot(RealInterval x, double y) throws IAException
sgn(x)*|x|**(1/y)<\code}
where x
is an interval and
y
is a non-zero double.
public static RealInterval integerPower(RealInterval x, RealInterval y) throws IAException
public static RealInterval integerRoot(RealInterval x, RealInterval y) throws IAException
public static boolean intersectIntegerRoot(RealInterval x, RealInterval y, RealInterval u) throws IAException
u := (u intersect ((x**1/y) union -(x**1/y)))
and returns true if u is nonempty
Also, assumes that y is a constant integer interval
public static void main(String argv[])
All Packages Class Hierarchy This Package Previous Next Index