Package hydra.lib.literals

Class BigfloatToFloat64

java.lang.Object
hydra.tools.PrimitiveFunction
hydra.lib.literals.BigfloatToFloat64
public class BigfloatToFloat64 extends PrimitiveFunction
Primitive function which converts a bigfloat (arbitrary-precision decimal) to a float64 (64-bit floating-point). This conversion may result in loss of precision.

  • Constructor Details

    • BigfloatToFloat64

      public BigfloatToFloat64()

  • Method Details

    • name

      public Name name()
      Returns the unique name identifying this primitive function.
      Specified by:
      name in class PrimitiveFunction
      Returns:
      the function name "hydra.lib.literals.bigfloatToFloat64"

    • type

      public TypeScheme type()
      Returns the type scheme for this function: bigfloat -> float64.
      Specified by:
      type in class PrimitiveFunction
      Returns:
      the type scheme representing the function signature

    • implementation

      protected Function<List<Term>,Flow<Graph,Term>> implementation()
      Provides the implementation of this primitive function.
      Specified by:
      implementation in class PrimitiveFunction
      Returns:
      a function that converts bigfloat terms to float64 terms

    • apply

      public static Double apply(BigDecimal value)
      Converts a BigDecimal value to a Double (64-bit).
      Parameters:
      value - the BigDecimal value to convert
      Returns:
      the Double representation of the value