choco.real
Class RealMath

java.lang.Object
  choco.real.RealMath

Direct Known Subclasses:

PalmRealMath

public class RealMath
extends java.lang.Object

Some tools for float computing. Inspired from IAMath : interval.sourceforge.net

Field Summary

static double	NEG_ZER0
static double	ZERO

Constructor Summary

RealMath()

Method Summary

static RealInterval	acos_wrt(RealInterval interval, RealInterval res)
static RealInterval	add(RealInterval x, RealInterval y)
static RealInterval	asin_wrt(RealInterval interval, RealInterval res)
static RealInterval	cos(RealInterval interval)
static RealInterval	evenIRoot(RealInterval i, int p, RealInterval res)
static RealInterval	firstHalf(RealInterval i)
static double	iPower_lo(double x, int p)
static double	iPower_up(double x, int p)
static RealInterval	iPower(RealInterval i, int p)
static double	iRoot_lo(double x, int p)
static double	iRoot_up(double x, int p)
static RealInterval	iRoot(RealInterval i, int p, RealInterval res)
static boolean	isCanonical(RealInterval i, double precision)
static RealInterval	mul(RealInterval x, RealInterval y)
static double	nextFloat(double x)
static RealInterval	oddIPower(RealInterval i, int p)
static RealInterval	oddIRoot(RealInterval i, int p)
static RealInterval	odiv_wrt(RealInterval x, RealInterval y, RealInterval res)
static RealInterval	odiv(RealInterval x, RealInterval y) y should not contain 0 !
static double	prevFloat(double x)
static RealInterval	secondHalf(RealInterval i)
static RealInterval	sin(RealInterval interval)
static RealInterval	sinRange(int a, int b)
static RealInterval	sub(RealInterval x, RealInterval y)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

ZERO

public static final double ZERO

See Also:

Constant Field Values

NEG_ZER0

public static final double NEG_ZER0

See Also:

Constant Field Values

Constructor Detail

RealMath

public RealMath()

Method Detail

nextFloat

public static double nextFloat(double x)

prevFloat

public static double prevFloat(double x)

add

public static RealInterval add(RealInterval x,
                               RealInterval y)

sub

public static RealInterval sub(RealInterval x,
                               RealInterval y)

mul

public static RealInterval mul(RealInterval x,
                               RealInterval y)

odiv

public static RealInterval odiv(RealInterval x,
                                RealInterval y)

y should not contain 0 !

Parameters:

x -

y -

Returns:

TODO

odiv_wrt

public static RealInterval odiv_wrt(RealInterval x,
                                    RealInterval y,
                                    RealInterval res)

isCanonical

public static boolean isCanonical(RealInterval i,
                                  double precision)

firstHalf

public static RealInterval firstHalf(RealInterval i)

secondHalf

public static RealInterval secondHalf(RealInterval i)

iPower_lo

public static double iPower_lo(double x,
                               int p)

iPower_up

public static double iPower_up(double x,
                               int p)

oddIPower

public static RealInterval oddIPower(RealInterval i,
                                     int p)

iPower

public static RealInterval iPower(RealInterval i,
                                  int p)

iRoot_lo

public static double iRoot_lo(double x,
                              int p)

iRoot_up

public static double iRoot_up(double x,
                              int p)

evenIRoot

public static RealInterval evenIRoot(RealInterval i,
                                     int p,
                                     RealInterval res)

oddIRoot

public static RealInterval oddIRoot(RealInterval i,
                                    int p)

iRoot

public static RealInterval iRoot(RealInterval i,
                                 int p,
                                 RealInterval res)

sinRange

public static RealInterval sinRange(int a,
                                    int b)

cos

public static RealInterval cos(RealInterval interval)

sin

public static RealInterval sin(RealInterval interval)

asin_wrt

public static RealInterval asin_wrt(RealInterval interval,
                                    RealInterval res)

acos_wrt

public static RealInterval acos_wrt(RealInterval interval,
                                    RealInterval res)