Class RationalNumber

java.lang.Object

org.ojalgo.scalar.RationalNumber

All Implemented Interfaces:

Comparable<RationalNumber>, Field<Scalar<RationalNumber>>, Group, Group.Additive<Scalar<RationalNumber>>, Group.Multiplicative<Scalar<RationalNumber>>, NormedVectorSpace<Scalar<RationalNumber>, RationalNumber>, Operation, Operation.Addition<Scalar<RationalNumber>>, Operation.Division<Scalar<RationalNumber>>, Operation.Multiplication<Scalar<RationalNumber>>, Operation.Subtraction<Scalar<RationalNumber>>, Ring<Scalar<RationalNumber>>, ScalarOperation, ScalarOperation.Addition<Scalar<RationalNumber>, RationalNumber>, ScalarOperation.Division<Scalar<RationalNumber>, RationalNumber>, ScalarOperation.Multiplication<Scalar<RationalNumber>, RationalNumber>, ScalarOperation.Subtraction<Scalar<RationalNumber>, RationalNumber>, VectorSpace<Scalar<RationalNumber>, RationalNumber>, Scalar<RationalNumber>, SelfDeclaringScalar<RationalNumber>, AccessScalar<RationalNumber>, Tensor<RationalNumber, Scalar<RationalNumber>>, NumberContext.Enforceable<RationalNumber>, NumberDefinition

public final class RationalNumber
extends Object
implements SelfDeclaringScalar<RationalNumber>

Nested Class Summary

Nested classes/interfaces inherited from interface Group

Group.Additive<T>, Group.Multiplicative<T>

Nested classes/interfaces inherited from interface Operation

Operation.Addition<T>, Operation.Division<T>, Operation.Multiplication<T>, Operation.Subtraction<T>

Nested classes/interfaces inherited from interface Scalar

Scalar.Factory<N>

Nested classes/interfaces inherited from interface ScalarOperation

ScalarOperation.Addition<T,N>, ScalarOperation.Division<T,N>, ScalarOperation.Multiplication<T,N>, ScalarOperation.Subtraction<T,N>

Field Summary

Fields

Modifier and Type	Field	Description
private static final String	DIVIDE
static final Scalar.Factory<RationalNumber>	FACTORY
private static final String	LEFT
private static final int	MAX_BITS
static final RationalNumber	MAX_VALUE
static final RationalNumber	MIN_VALUE
private BigDecimal	myDecimal
private final long	myDenominator
private final long	myNumerator
static final RationalNumber	NaN
static final RationalNumber	NEG
static final RationalNumber	NEGATIVE_INFINITY
static final RationalNumber	ONE
static final RationalNumber	POSITIVE_INFINITY
private static final String	RIGHT
private static final long	SAFE_LIMIT
static final RationalNumber	TWO
static final RationalNumber	ZERO

Constructor Summary

Constructors

Modifier	Constructor	Description
	RationalNumber()
private	RationalNumber(long numerator, long denominator)

Method Summary

Modifier and Type	Method	Description
RationalNumber	add(double arg)
RationalNumber	add(RationalNumber arg)
private static RationalNumber	add(RationalNumber arg1, RationalNumber arg2)
int	compareTo(RationalNumber reference)
RationalNumber	conjugate()	This method will (most likely) be moved to some other interface in the future! Just have to figure out where it fits...
RationalNumber	divide(double arg)
RationalNumber	divide(RationalNumber arg)
private static RationalNumber	divide(RationalNumber arg1, RationalNumber arg2)
double	doubleValue()
RationalNumber	enforce(NumberContext context)
boolean	equals(Object obj)
float	floatValue()
private static RationalNumber	fromLong(long d)
private static long	gcd(long a, long b)	Greatest Common Denominator
RationalNumber	get()
(package private) long	getDenominator()
(package private) long	getNumerator()
int	hashCode()
int	intValue()
RationalNumber	invert()	The multiplicative inverse.
boolean	isAbsolute()
static boolean	isAbsolute(RationalNumber value)
private boolean	isInfinite()
static boolean	isInfinite(RationalNumber value)
private boolean	isNaN()
static boolean	isNaN(RationalNumber value)
boolean	isSmall(double comparedTo)
static boolean	isSmall(double comparedTo, RationalNumber value)
boolean	isZero()	Tests if this scalar value is exactly zero.
long	longValue()
RationalNumber	multiply(double arg)
RationalNumber	multiply(RationalNumber arg)
private static RationalNumber	multiply(RationalNumber arg1, RationalNumber arg2)
RationalNumber	negate()	The additive inverse of this.
double	norm()	this == this.signum().multiply(this.norm())
static RationalNumber	of(long numerator, long denominator)
private static RationalNumber	of(BigInteger numer, BigInteger denom)
static RationalNumber	parse(CharSequence plainNumberString)
RationalNumber	power(int power)	Multiply by itself power times.
static RationalNumber	rational(double d)
private static RationalNumber	rational(double d, double error, int depthLimit)
private int	sign()
RationalNumber	signum()	this == this.signum().multiply(this.norm())
private long	size()
RationalNumber	subtract(double arg)
RationalNumber	subtract(RationalNumber arg)
private static RationalNumber	subtract(RationalNumber arg1, RationalNumber arg2)
BigDecimal	toBigDecimal()
private BigDecimal	toBigDecimal(MathContext context)
String	toString()
private static String	toString(RationalNumber aNmbr)
String	toString(NumberContext context)
static RationalNumber	valueOf(double value)
static RationalNumber	valueOf(long value)
static RationalNumber	valueOf(Comparable<?> number)

Methods inherited from class Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface NumberDefinition

booleanValue, byteValue, shortValue

Methods inherited from interface Scalar

add, dimensions, divide, multiply, rank, subtract, toPlainString

Methods inherited from interface SelfDeclaringScalar

add, divide, multiply, subtract

Methods inherited from interface Tensor

components, isSameShape

Field Details

FACTORY

public static final Scalar.Factory<RationalNumber> FACTORY

MAX_VALUE

public static final RationalNumber MAX_VALUE

MIN_VALUE

public static final RationalNumber MIN_VALUE

NaN

public static final RationalNumber NaN

NEG

public static final RationalNumber NEG

NEGATIVE_INFINITY

public static final RationalNumber NEGATIVE_INFINITY

ONE

public static final RationalNumber ONE

POSITIVE_INFINITY

public static final RationalNumber POSITIVE_INFINITY

TWO

public static final RationalNumber TWO

ZERO

public static final RationalNumber ZERO

DIVIDE

private static final String DIVIDE

See Also:

• Constant Field Values

LEFT

private static final String LEFT

See Also:

• Constant Field Values

MAX_BITS

private static final int MAX_BITS

RIGHT

private static final String RIGHT

See Also:

• Constant Field Values

SAFE_LIMIT

private static final long SAFE_LIMIT

myDecimal

private transient BigDecimal myDecimal

myDenominator

private final long myDenominator

myNumerator

private final long myNumerator

Constructor Details

RationalNumber

public RationalNumber()

RationalNumber

private RationalNumber(long numerator,
 long denominator)

Method Details

isAbsolute

public static boolean isAbsolute(RationalNumber value)

isInfinite

public static boolean isInfinite(RationalNumber value)

isNaN

public static boolean isNaN(RationalNumber value)

isSmall

public static boolean isSmall(double comparedTo,
 RationalNumber value)

of

public static RationalNumber of(long numerator,
 long denominator)

parse

public static RationalNumber parse(CharSequence plainNumberString)

rational

public static RationalNumber rational(double d)

valueOf

public static RationalNumber valueOf(Comparable<?> number)

valueOf

public static RationalNumber valueOf(double value)

valueOf

public static RationalNumber valueOf(long value)

add

private static RationalNumber add(RationalNumber arg1,
 RationalNumber arg2)

divide

private static RationalNumber divide(RationalNumber arg1,
 RationalNumber arg2)

fromLong

private static RationalNumber fromLong(long d)

gcd

private static long gcd(long a,
 long b)

Greatest Common Denominator

It uses Python-style gcd, with the sign of gcd equal to sign of b; that enables us to simplify fractions in one step

multiply

private static RationalNumber multiply(RationalNumber arg1,
 RationalNumber arg2)

of

private static RationalNumber of(BigInteger numer,
 BigInteger denom)

rational

private static RationalNumber rational(double d,
 double error,
 int depthLimit)

subtract

private static RationalNumber subtract(RationalNumber arg1,
 RationalNumber arg2)

toString

private static String toString(RationalNumber aNmbr)

add

public RationalNumber add(double arg)

Specified by:

add in interface ScalarOperation.Addition<Scalar<RationalNumber>, RationalNumber>

Specified by:

add in interface SelfDeclaringScalar<RationalNumber>

Returns:

this + scalarAddend.

add

public RationalNumber add(RationalNumber arg)

Specified by:

add in interface ScalarOperation.Addition<Scalar<RationalNumber>, RationalNumber>

Specified by:

add in interface SelfDeclaringScalar<RationalNumber>

Returns:

this + scalarAddend.

compareTo

public int compareTo(RationalNumber reference)

Specified by:

compareTo in interface Comparable<RationalNumber>

conjugate

public RationalNumber conjugate()

Description copied from interface: VectorSpace

This method will (most likely) be moved to some other interface in the future! Just have to figure out where it fits...

The conjugate transpose of a matrix and/or the conjugate of a scalar/field like ComplexNumber or Quaternion.

The conjugate transpose of a real matrix is simply its transpose.

Specified by:

conjugate in interface SelfDeclaringScalar<RationalNumber>

Specified by:

conjugate in interface VectorSpace<Scalar<RationalNumber>, RationalNumber>

divide

public RationalNumber divide(double arg)

Specified by:

divide in interface ScalarOperation.Division<Scalar<RationalNumber>, RationalNumber>

Specified by:

divide in interface SelfDeclaringScalar<RationalNumber>

Returns:

this / scalarDivisor.

divide

public RationalNumber divide(RationalNumber arg)

Specified by:

divide in interface ScalarOperation.Division<Scalar<RationalNumber>, RationalNumber>

Specified by:

divide in interface SelfDeclaringScalar<RationalNumber>

Returns:

this / scalarDivisor.

doubleValue

public double doubleValue()

Specified by:

doubleValue in interface NumberDefinition

enforce

public RationalNumber enforce(NumberContext context)

Specified by:

enforce in interface NumberContext.Enforceable<RationalNumber>

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

floatValue

public float floatValue()

Specified by:

floatValue in interface NumberDefinition

get

public RationalNumber get()

Specified by:

get in interface AccessScalar<RationalNumber>

hashCode

public int hashCode()

Overrides:

hashCode in class Object

intValue

public int intValue()

Specified by:

intValue in interface NumberDefinition

invert

public RationalNumber invert()

Description copied from interface: Group.Multiplicative

The multiplicative inverse.

Specified by:

invert in interface Group.Multiplicative<Scalar<RationalNumber>>

Specified by:

invert in interface SelfDeclaringScalar<RationalNumber>

Returns:

IDENTITY / this.

isAbsolute

public boolean isAbsolute()

Specified by:

isAbsolute in interface Scalar<RationalNumber>

Returns:

true if this is equal to its own norm, modulus or absolute value (non-negative real part and no imaginary part); otherwise false.

See Also:

• Scalar.isAbsolute()

isSmall

public boolean isSmall(double comparedTo)

Specified by:

isSmall in interface NormedVectorSpace<Scalar<RationalNumber>, RationalNumber>

Parameters:

comparedTo - What to compare with

Returns:

true if this is small compared to the magnitude of the input reference value.

isZero

public boolean isZero()

Description copied from interface: Scalar

Tests if this scalar value is exactly zero.

Each implementation should test for zero as exactly as possible based on what's achievable with that specific scalar type. The purpose is NOT to have similar behavior between different implementations, but rather to leverage the full precision and capabilities of each type.

For example:

• Primitive types (like double) should use exact equality comparison
• High-precision types (like Quadruple) should check both base and remainder components
• Arbitrary-precision types (like BigDecimal) should use their built-in zero detection
• Complex types should check both real and imaginary parts

This method should NOT use tolerance-based comparisons or approximate zero detection, as those are better handled by context-aware methods like NormedVectorSpace.isSmall(double).

Specified by:

isZero in interface Scalar<RationalNumber>

Returns:

true if this scalar represents exactly zero, false otherwise

See Also:

• NormedVectorSpace.isSmall(double)

longValue

public long longValue()

Specified by:

longValue in interface NumberDefinition

multiply

public RationalNumber multiply(double arg)

Specified by:

multiply in interface ScalarOperation.Multiplication<Scalar<RationalNumber>, RationalNumber>

Specified by:

multiply in interface SelfDeclaringScalar<RationalNumber>

Returns:

this * scalarMultiplicand.

multiply

public RationalNumber multiply(RationalNumber arg)

Specified by:

multiply in interface ScalarOperation.Multiplication<Scalar<RationalNumber>, RationalNumber>

Specified by:

multiply in interface SelfDeclaringScalar<RationalNumber>

Returns:

this * multiplicand.

negate

public RationalNumber negate()

Description copied from interface: Group.Additive

The additive inverse of this.

Specified by:

negate in interface Group.Additive<Scalar<RationalNumber>>

Specified by:

negate in interface SelfDeclaringScalar<RationalNumber>

Returns:

-this.

norm

public double norm()

Description copied from interface: NormedVectorSpace

this == this.signum().multiply(this.norm())

Specified by:

norm in interface NormedVectorSpace<Scalar<RationalNumber>, RationalNumber>

Returns:

The norm

power

public RationalNumber power(int power)

Description copied from interface: Operation.Multiplication

Multiply by itself power times.

Specified by:

power in interface Operation.Multiplication<Scalar<RationalNumber>>

Specified by:

power in interface SelfDeclaringScalar<RationalNumber>

signum

public RationalNumber signum()

Description copied from interface: NormedVectorSpace

this == this.signum().multiply(this.norm())

Specified by:

signum in interface NormedVectorSpace<Scalar<RationalNumber>, RationalNumber>

Specified by:

signum in interface SelfDeclaringScalar<RationalNumber>

Returns:

A unit "vector"

subtract

public RationalNumber subtract(double arg)

Specified by:

subtract in interface ScalarOperation.Subtraction<Scalar<RationalNumber>, RationalNumber>

Specified by:

subtract in interface SelfDeclaringScalar<RationalNumber>

Returns:

this - scalarSubtrahend.

subtract

public RationalNumber subtract(RationalNumber arg)

Specified by:

subtract in interface ScalarOperation.Subtraction<Scalar<RationalNumber>, RationalNumber>

Specified by:

subtract in interface SelfDeclaringScalar<RationalNumber>

Returns:

this - scalarSubtrahend.

toBigDecimal

public BigDecimal toBigDecimal()

Specified by:

toBigDecimal in interface Scalar<RationalNumber>

toString

public String toString()

Overrides:

toString in class Object

toString

public String toString(NumberContext context)

Specified by:

toString in interface Scalar<RationalNumber>

isInfinite

private boolean isInfinite()

isNaN

private boolean isNaN()

sign

private int sign()

size

private long size()

toBigDecimal

private BigDecimal toBigDecimal(MathContext context)

getDenominator

long getDenominator()

getNumerator

long getNumerator()