Approximate

com.phasmidsoftware.number.algebra.core.Approximate
trait Approximate

Trait representing a structure that supports approximation.

The Approximate trait provides a contract for classes that need to define how their numerical representation can be approximated in some way, typically to account for uncertainty, imprecision, or computational limitations.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Eager
trait Nat
object NatZero
class Succ
trait Solution
trait Algebraic
class Complex
trait Structure
trait Functional
trait Radians
class Angle
trait Transformed
class Exponential
class InversePower
trait Scalar
object NoScalar
trait Number
trait ExactNumber
class WholeNumber
class Real
trait Expression
class Noop
trait Root
class AbstractRoot
class LinearRoot
object L2
object LgE
class Literal
object E
object I
object Infinity
object Half
object MinusOne
object One
object Pi
object Two
object Zero
class Euler
trait Multiple
class Aggregate
class BiFunction
class UniFunction
Show all

Members list

Value members

Abstract methods

def approximation(force: Boolean = ...): Option[Real]

Attempts to compute an approximate representation of the current value.

Attempts to compute an approximate representation of the current value.

This method provides an optional approximation of the value represented by the implementing class. The approximation may account for uncertainties or computational limitations. By default, this method does not force computation of the approximation unless explicitly requested.

Value parameters

force

a boolean flag indicating whether to force computation of the approximation. If true, the method will attempt to generate an approximation even if such computation is resource-intensive or not strictly necessary.

Attributes

Returns

an Option containing the approximate value as a Real if available, or None if no approximation can be computed.

def fuzzy: Eager

Attempts to yield an Eager value from the current Approximate.

Attempts to yield an Eager value from the current Approximate.

This method leverages the approximation mechanism to compute an eager evaluation of the value represented by the instance. It handles potential errors during the conversion process by raising an AlgebraException if the approximation fails.

Attributes

Returns

an Eager representation of the approximated value if recovery is successful; otherwise, an AlgebraException is thrown indicating the failure to convert to Real.

Concrete methods

Computes an approximate representation of the current value.

Computes an approximate representation of the current value.

This method utilizes the approximation mechanism to derive the most likely value in the form of a Real. Should the approximation fail, an AlgebraException will be raised to indicate the error.

Attributes

Returns

the approximate value as a Real if successful; throws an AlgebraException otherwise.

def approximationComplex(force: Boolean = ...): Option[Eager]

Attempts to compute an approximate complex representation of the current value.

Attempts to compute an approximate complex representation of the current value.

This method provides an optional approximation in the form of an Eager type. By default, it does not perform the computation unless explicitly requested through the force flag. The method may return None if no approximation can be computed or if the operation fails.

Value parameters

force

a boolean flag indicating whether to force computation of the approximation. If true, the method will attempt to perform a complex approximation even if it is resource-intensive or otherwise unwarranted.

Attributes

Returns

an Option containing the approximate value as an Eager if successful, or None if no approximation is available.

Concrete fields

lazy val toDouble: Double

Converts the approximate representation of this number into a Double.

Converts the approximate representation of this number into a Double.

This method attempts to approximate the value of this number by invoking the approximation method with force = true. If the approximation exists, it is converted to a Double. If no approximation can be obtained, an AlgebraException is thrown to indicate a logic error.

Attributes

Returns

the approximate value as a Double.

Note

Throws an com.phasmidsoftware.number.algebra.util.AlgebraException if no approximation can be obtained.