|
Epstein Zeta Library 0.6.2
Calculates the Epstein Zeta function
|
Fixed-size high-precision dyadic number (hpdyad) with separate sign and binary exponent. More...
#include <hpdyad.h>
Public Attributes | |
| signed char | sign |
| unsigned char | n |
| int | exp2 |
| unsigned int | limb [HPDYAD_MAX_LIMBS] |
Fixed-size high-precision dyadic number (hpdyad) with separate sign and binary exponent.
Representation: value = sign × (mantissa in base 2^32) × 2^exp2 Supports both integers (exp2 ≥ 0) and dyadic rationals (exp2 < 0). Limbs are little-endian: limb[0] is least significant. Maximum precision: HPDYAD_MAX_LIMBS × 32 bits. Invariant: if n > 0, then limb[n-1] != 0 (no leading zeros). Invariant: if n > 0, then limb[0] != 0 (no trailing zeros after normalization).