Class Quadruple

java.lang.Object

org.ojalgo.scalar.Quadruple

All Implemented Interfaces:

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

public class Quadruple
extends Object
implements SelfDeclaringScalar<Quadruple>

https://stackoverflow.com/questions/66962567/how-to-emulate-double-precision-using-two-floats-in-opengl-es

https://blog.cyclemap.link/2011-06-09-glsl-part2-emu/

https://www.researchgate.net/publication/228570156_Library_for_Double-Double_and_Quad-Double_Arithmetic

https://libntl.org

http://mrob.com/pub/math/f161.html

https://www.davidhbailey.com/dhbsoftware/

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
static Scalar.Factory<Quadruple>	FACTORY
static final Quadruple	MAX_VALUE
static final Quadruple	MIN_VALUE
private final double	myBase
private BigDecimal	myDecimal
private final double	myRemainder
static final Quadruple	NaN
static final Quadruple	NEG
static final Quadruple	NEGATIVE_INFINITY
static final Quadruple	ONE
static final Quadruple	POSITIVE_INFINITY
private static final double	SPLIT	1+2^27 (Example code, that emulated double using float, had 1+2^13)
static final Quadruple	TWO
static final Quadruple	ZERO

Constructor Summary

Constructors

Modifier	Constructor	Description
	Quadruple()
private	Quadruple(double base)
private	Quadruple(double base, double remainder)

Method Summary

Modifier and Type	Method	Description
Quadruple	add(double arg)
private static Quadruple	add(double base1, double remainder1, double base2, double remainder2)	https://blog.cyclemap.link/2011-06-09-glsl-part2-emu/
Quadruple	add(Quadruple arg)
int	compareTo(Quadruple reference)
Quadruple	conjugate()	This method will (most likely) be moved to some other interface in the future! Just have to figure out where it fits...
Quadruple	divide(double arg)
private static Quadruple	divide(double base1, double remainder1, double base2, double remainder2)	High-precision division.
Quadruple	divide(Quadruple arg)
private static Quadruple	divide(Quadruple arg1, Quadruple arg2)
double	doubleValue()
Quadruple	enforce(NumberContext context)
boolean	equals(Object obj)
float	floatValue()
Quadruple	get()
(package private) double	getBase()
(package private) double	getRemainder()
int	hashCode()
int	intValue()
Quadruple	invert()	The multiplicative inverse.
boolean	isAbsolute()
static boolean	isAbsolute(Quadruple value)
static boolean	isInfinite(Quadruple value)
static boolean	isNaN(Quadruple value)
boolean	isSmall(double comparedTo)
static boolean	isSmall(double comparedTo, Quadruple value)
boolean	isZero()	Tests if this scalar value is exactly zero.
long	longValue()
Quadruple	multiply(double arg)
private static Quadruple	multiply(double base1, double remainder1, double base2, double remainder2)	https://blog.cyclemap.link/2011-06-09-glsl-part2-emu/
Quadruple	multiply(Quadruple arg)
Quadruple	negate()	The additive inverse of this.
double	norm()	this == this.signum().multiply(this.norm())
static Quadruple	parse(CharSequence plainNumberString)
Quadruple	power(int power)	Multiply by itself power times.
private int	sign()
Quadruple	signum()	this == this.signum().multiply(this.norm())
Quadruple	subtract(double arg)
Quadruple	subtract(Quadruple arg)
BigDecimal	toBigDecimal()
private BigDecimal	toBigDecimal(MathContext context)
String	toString()
String	toString(NumberContext context)
static Quadruple	valueOf(double value)
static Quadruple	valueOf(Comparable<?> number)
static Quadruple	valueOf(BigDecimal 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 Scalar.Factory<Quadruple> FACTORY

MAX_VALUE

public static final Quadruple MAX_VALUE

MIN_VALUE

public static final Quadruple MIN_VALUE

NaN

public static final Quadruple NaN

NEG

public static final Quadruple NEG

NEGATIVE_INFINITY

public static final Quadruple NEGATIVE_INFINITY

ONE

public static final Quadruple ONE

POSITIVE_INFINITY

public static final Quadruple POSITIVE_INFINITY

TWO

public static final Quadruple TWO

ZERO

public static final Quadruple ZERO

SPLIT

private static final double SPLIT

1+2^27 (Example code, that emulated double using float, had 1+2^13)

See Also:

• Constant Field Values

myBase

private final double myBase

myDecimal

private transient BigDecimal myDecimal

myRemainder

private final double myRemainder

Constructor Details

Quadruple

public Quadruple()

Quadruple

private Quadruple(double base)

Quadruple

private Quadruple(double base,
 double remainder)

Method Details

isAbsolute

public static boolean isAbsolute(Quadruple value)

isInfinite

public static boolean isInfinite(Quadruple value)

isNaN

public static boolean isNaN(Quadruple value)

isSmall

public static boolean isSmall(double comparedTo,
 Quadruple value)

parse

public static Quadruple parse(CharSequence plainNumberString)

valueOf

public static Quadruple valueOf(BigDecimal number)

valueOf

public static Quadruple valueOf(Comparable<?> number)

valueOf

public static Quadruple valueOf(double value)

add

private static Quadruple add(double base1,
 double remainder1,
 double base2,
 double remainder2)

https://blog.cyclemap.link/2011-06-09-glsl-part2-emu/

divide

private static Quadruple divide(double base1,
 double remainder1,
 double base2,
 double remainder2)

High-precision division.

divide

private static Quadruple divide(Quadruple arg1,
 Quadruple arg2)

multiply

private static Quadruple multiply(double base1,
 double remainder1,
 double base2,
 double remainder2)

https://blog.cyclemap.link/2011-06-09-glsl-part2-emu/

add

public Quadruple add(double arg)

Specified by:

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

Specified by:

add in interface SelfDeclaringScalar<Quadruple>

Returns:

this + scalarAddend.

add

public Quadruple add(Quadruple arg)

Specified by:

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

Specified by:

add in interface SelfDeclaringScalar<Quadruple>

Returns:

this + scalarAddend.

compareTo

public int compareTo(Quadruple reference)

Specified by:

compareTo in interface Comparable<Quadruple>

conjugate

public Quadruple 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<Quadruple>

Specified by:

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

divide

public Quadruple divide(double arg)

Specified by:

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

Specified by:

divide in interface SelfDeclaringScalar<Quadruple>

Returns:

this / scalarDivisor.

divide

public Quadruple divide(Quadruple arg)

Specified by:

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

Specified by:

divide in interface SelfDeclaringScalar<Quadruple>

Returns:

this / scalarDivisor.

doubleValue

public double doubleValue()

Specified by:

doubleValue in interface NumberDefinition

enforce

public Quadruple enforce(NumberContext context)

Specified by:

enforce in interface NumberContext.Enforceable<Quadruple>

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

floatValue

public float floatValue()

Specified by:

floatValue in interface NumberDefinition

get

public Quadruple get()

Specified by:

get in interface AccessScalar<Quadruple>

hashCode

public int hashCode()

Overrides:

hashCode in class Object

intValue

public int intValue()

Specified by:

intValue in interface NumberDefinition

invert

public Quadruple invert()

Description copied from interface: Group.Multiplicative

The multiplicative inverse.

Specified by:

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

Specified by:

invert in interface SelfDeclaringScalar<Quadruple>

Returns:

IDENTITY / this.

isAbsolute

public boolean isAbsolute()

Specified by:

isAbsolute in interface Scalar<Quadruple>

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<Quadruple>, Quadruple>

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<Quadruple>

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 Quadruple multiply(double arg)

Specified by:

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

Specified by:

multiply in interface SelfDeclaringScalar<Quadruple>

Returns:

this * scalarMultiplicand.

multiply

public Quadruple multiply(Quadruple arg)

Specified by:

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

Specified by:

multiply in interface SelfDeclaringScalar<Quadruple>

Returns:

this * multiplicand.

negate

public Quadruple negate()

Description copied from interface: Group.Additive

The additive inverse of this.

Specified by:

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

Specified by:

negate in interface SelfDeclaringScalar<Quadruple>

Returns:

-this.

norm

public double norm()

Description copied from interface: NormedVectorSpace

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

Specified by:

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

Returns:

The norm

power

public Quadruple power(int power)

Description copied from interface: Operation.Multiplication

Multiply by itself power times.

Specified by:

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

Specified by:

power in interface SelfDeclaringScalar<Quadruple>

signum

public Quadruple signum()

Description copied from interface: NormedVectorSpace

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

Specified by:

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

Specified by:

signum in interface SelfDeclaringScalar<Quadruple>

Returns:

A unit "vector"

subtract

public Quadruple subtract(double arg)

Specified by:

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

Specified by:

subtract in interface SelfDeclaringScalar<Quadruple>

Returns:

this - scalarSubtrahend.

subtract

public Quadruple subtract(Quadruple arg)

Specified by:

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

Specified by:

subtract in interface SelfDeclaringScalar<Quadruple>

Returns:

this - scalarSubtrahend.

toBigDecimal

public BigDecimal toBigDecimal()

Specified by:

toBigDecimal in interface Scalar<Quadruple>

toString

public String toString()

Overrides:

toString in class Object

toString

public String toString(NumberContext context)

Specified by:

toString in interface Scalar<Quadruple>

sign

private int sign()

toBigDecimal

private BigDecimal toBigDecimal(MathContext context)

getBase

double getBase()

getRemainder

double getRemainder()