Skip to main content

deep_time/
constants.rs

1//! Fundamental constants for time-scale conversions,
2//! relativistic corrections, and astronomical calculations.
3
4use crate::{Dt, Real, Scale};
5
6pub const STRFTIME_SIZE: usize = 512;
7
8pub(crate) const SEC_PER_YEAR: i128 = 31_557_600; // 365.25 days × 86_400
9pub(crate) const SEC_PER_MONTH: i128 = 2_629_800; // 30.4375 days × 86_400
10pub(crate) const SEC_PER_DAY: i128 = 86_400;
11
12/// 86,400 seconds in one standard Earth day  
13/// (24 hours × 60 minutes × 60 seconds).
14pub const SEC_PER_DAY_F: Real = 86_400.0;
15pub const SEC_PER_DAYI64: i64 = 86_400;
16pub(crate) const SEC_PER_DAYI128: i128 = 86_400;
17
18/// Seconds in one GPS week (7 days).
19pub(crate) const SEC_PER_WEEK: i64 = 7 * SEC_PER_DAYI64;
20/// Attoseconds in one GPS week.
21pub(crate) const ATTOS_PER_WEEK: i128 = SEC_PER_WEEK as i128 * ATTOS_PER_SEC_I128;
22pub const ATTOS_PER_DAY: i128 = SEC_PER_DAYI128 * ATTOS_PER_SEC_I128;
23pub const ATTOS_PER_HALF_DAY: i128 = ATTOS_PER_DAY / 2;
24pub const ATTOS_PER_HALF_DAYU: u128 = ATTOS_PER_HALF_DAY as u128;
25
26/// Solar gravitational parameter GM☉ in m³ s⁻²  
27/// (nominal value from IAU 2015 Resolution B3)
28pub const GM_SUN: Real = 1.3271244e20;
29
30/// Speed of light in m/s (SI definition)
31pub const C: Real = 299792458.0;
32
33/// Speed of light squared (c²) in m² s⁻².  
34pub const C_SQUARED: Real = C * C;
35
36/// GM☉ / c³ in seconds (from `GM_SUN` and `C` — used in Shapiro delay)
37pub const GM_SUN_OVER_C3: Real = GM_SUN / (C * C_SQUARED);
38
39/// 2GM☉ / c³ — the standard prefactor in the one-way Shapiro delay formula
40pub const TWO_GM_SUN_OVER_C3: Real = 2.0 * GM_SUN_OVER_C3;
41
42/// Attoseconds per second.
43pub const ATTOS_PER_SEC: u64 = 1_000_000_000_000_000_000;
44pub const ATTOS_PER_SECF: Real = f!(1_000_000_000_000_000_000.0);
45pub const ATTOS_PER_SEC_I128: i128 = ATTOS_PER_SEC as i128;
46pub const ATTOS_PER_SEC_U128: u128 = ATTOS_PER_SEC as u128;
47
48/// Attoseconds per millisecond (10⁻³ s).
49pub const ATTOS_PER_MS: u64 = 1_000_000_000_000_000;
50/// Attoseconds per microsecond (10⁻⁶ s).
51pub const ATTOS_PER_US: u64 = 1_000_000_000_000;
52/// Attoseconds per nanosecond (10⁻⁹ s).
53pub const ATTOS_PER_NS: u64 = 1_000_000_000;
54/// Attoseconds per picosecond (10⁻¹² s).
55pub const ATTOS_PER_PS: u64 = 1_000_000;
56/// Attoseconds per femtosecond (10⁻¹⁵ s).
57pub const ATTOS_PER_FS: u64 = 1_000;
58/// Attoseconds per millisecond (10⁻³ s).
59pub const ATTOS_PER_MS_I128: i128 = ATTOS_PER_MS as i128;
60/// Attoseconds per microsecond (10⁻⁶ s).
61pub const ATTOS_PER_US_I128: i128 = ATTOS_PER_US as i128;
62/// Attoseconds per nanosecond (10⁻⁹ s).
63pub const ATTOS_PER_NS_I128: i128 = ATTOS_PER_NS as i128;
64/// Attoseconds per picosecond (10⁻¹² s).
65pub const ATTOS_PER_PS_I128: i128 = ATTOS_PER_PS as i128;
66/// Attoseconds per femtosecond (10⁻¹⁵ s).
67pub const ATTOS_PER_FS_I128: i128 = ATTOS_PER_FS as i128;
68
69/// 0.184 sec as u64 attoseconds
70pub(crate) const TT_TAI_OFFSET_SUBSEC: u64 = 184_000_000_000_000_000; // 0.184 × 10¹⁸
71
72/// Helper that returns the TT–TAI offset as a `Dt` 32.184 s
73pub const TT_TAI_OFFSET: Dt = Dt::new(32_184_000_000_000_000_000i128, Scale::TAI, Scale::TAI);
74
75/// Julian Date of the J2000.0 epoch.
76pub const JD_2000_2_451_545: i64 = 2_451_545;
77pub const JD_2000_2_451_545F: Real = f!(2_451_545.0);
78/// MJD 40587.0 = 1970-01-01 00:00:00 UTC
79pub const MJD_1970: i64 = 40_587;
80/// Number of TAI seconds backwards from noon 2000-01-01 to midnight 1972-01-01
81pub const TAI_ATTOS_AT_1972: i128 = -883_655_990_000_000_000_000_000_000;
82
83/// TAI secs from 1970-01-01 midnight to 2000-01-01 noon
84pub(crate) const TAI_SECS_1970_MIDNIGHT_TO_2000_NOON: i64 = 946_728_000;
85
86pub const PLANCK_LENGTH: Real = 1.616255e-35; // meters (standard value)
87pub const PLANCK_LENGTH_4: Real = PLANCK_LENGTH * PLANCK_LENGTH * PLANCK_LENGTH * PLANCK_LENGTH;
88
89/// L_G = 6.969290134 × 10^{-10} (IAU) as fixed-point fraction.
90pub(crate) const LG_NUM: i128 = 6_969_290_134;
91pub(crate) const LG_DEN: i128 = 10_000_000_000_000_000_000; // 10^19
92
93/// L_B = 1.550519768 × 10^{-8} (IAU) as fixed-point fraction.
94pub(crate) const LB_NUM: i128 = 1_550_519_768;
95pub(crate) const LB_DEN: i128 = 100_000_000_000_000_000; // 10^17
96
97/// TCG/TCB reference epoch (JD 2443144.5003725) broken into integer parts for exact math.
98pub(crate) const TCG_TCB_REF_JD_INT: i64 = 2_443_144;
99pub(crate) const TCG_TCB_REF_TOD_SEC: i64 = 43_232; // 0.5003725 * 86400 = 43232.184
100pub(crate) const TCG_TCB_REF_TOD_SUBSEC: u64 = TT_TAI_OFFSET_SUBSEC;
101
102/// Attoseconds since J2000.0 TT of the TCG/TCB reference epoch
103/// (JD 2443144.5003725 TT). Computed from the existing reference constants.
104pub(crate) const TCG_TCB_REF_ATTOS_SINCE_J2000: i128 = {
105    let days_since_j2000 = (TCG_TCB_REF_JD_INT - JD_2000_2_451_545) as i128;
106    let sec_part = days_since_j2000 * SEC_PER_DAYI128 + (TCG_TCB_REF_TOD_SEC as i128);
107    sec_part * ATTOS_PER_SEC_I128 + (TCG_TCB_REF_TOD_SUBSEC as i128)
108};
109
110/// TDB₀ = −65.5 µs expressed in attoseconds.
111pub(crate) const TDB0_ATTOS: i128 = -65_500_000_000_000;