Skip to main content

UT1

Struct UT1 

Source
pub struct UT1;
Expand description

Universal Time 1 — Earth-rotation time axis.

Continuous in SI seconds, but UT1 ↔ TT requires a TimeContext because the mapping depends on the compiled ΔT model (and, in future phases, observed-ΔT data).

§Accuracy and modeling limitations

UT1 conversions are backed by a piecewise ΔT model:

  • Historical (pre-1973): polynomial approximations (Stephenson & Houlden 1986; Meeus Astronomical Algorithms). Accuracy varies from ±15 s (1620–1973) to ±hundreds of seconds (pre-948).
  • Modern (1973 – horizon): USNO monthly determinations with linear interpolation. For the currently compiled bundle fetched 2026-04-18, the default monthly-ΔT path differs from the bundled daily IERS-derived path by less than 10 ms over the observed overlap through 2026-04-16, and by less than 0.2 s over the compiled short-range prediction overlap through 2027-04-24. See DELTA_T_PREDICTION_HORIZON_MJD for the hard stop.

This model is suitable for archival astronomy and telescope scheduling, but not for precision geodesy, VLBI, or pulsar timing, which require daily IERS EOP (DUT1) solutions. Use crate::TimeContext::with_builtin_eop when you want the most accurate bundled UT1 route.

Trait Implementations§

Source§

impl Clone for UT1

Source§

fn clone(&self) -> UT1

Returns a duplicate of the value. Read more
1.0.0 · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
Source§

impl ConversionTarget<TAI> for UT1

Source§

impl ConversionTarget<TCB> for UT1

Source§

impl ConversionTarget<TCG> for UT1

Source§

impl ConversionTarget<TDB> for UT1

Source§

impl ConversionTarget<TT> for UT1

Source§

impl ConversionTarget<UT1> for TAI

Source§

impl ConversionTarget<UT1> for TCB

Source§

impl ConversionTarget<UT1> for TCG

Source§

impl ConversionTarget<UT1> for TDB

Source§

impl ConversionTarget<UT1> for TT

Source§

impl ConversionTarget<UT1> for UTC

Source§

impl ConversionTarget<UTC> for UT1

Source§

impl Debug for UT1

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
Source§

impl Hash for UT1

Source§

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher. Read more
1.3.0 · Source§

fn hash_slice<H>(data: &[Self], state: &mut H)
where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
Source§

impl Ord for UT1

Source§

fn cmp(&self, other: &UT1) -> Ordering

This method returns an Ordering between self and other. Read more
1.21.0 · Source§

fn max(self, other: Self) -> Self
where Self: Sized,

Compares and returns the maximum of two values. Read more
1.21.0 · Source§

fn min(self, other: Self) -> Self
where Self: Sized,

Compares and returns the minimum of two values. Read more
1.50.0 · Source§

fn clamp(self, min: Self, max: Self) -> Self
where Self: Sized,

Restrict a value to a certain interval. Read more
Source§

impl PartialEq for UT1

Source§

fn eq(&self, other: &UT1) -> bool

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl PartialOrd for UT1

Source§

fn partial_cmp(&self, other: &UT1) -> Option<Ordering>

This method returns an ordering between self and other values if one exists. Read more
1.0.0 · Source§

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator. Read more
1.0.0 · Source§

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator. Read more
1.0.0 · Source§

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator. Read more
1.0.0 · Source§

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator. Read more
Source§

impl Scale for UT1

Source§

const NAME: &'static str = "UT1"

Display name of the scale. Used by Debug on Time.
Source§

impl ContinuousScale for UT1

Source§

impl CoordinateScale for UT1

Source§

impl Copy for UT1

Source§

impl Eq for UT1

Source§

impl StructuralPartialEq for UT1

Auto Trait Implementations§

§

impl Freeze for UT1

§

impl RefUnwindSafe for UT1

§

impl Send for UT1

§

impl Sync for UT1

§

impl Unpin for UT1

§

impl UnsafeUnpin for UT1

§

impl UnwindSafe for UT1

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<S1, S2> ContextConversionTarget<S1> for S2
where S1: Scale + ContextScaleConvert<S2>, S2: Scale,

Source§

impl<S1, S2> ConversionTarget<S1> for S2
where S1: Scale + InfallibleScaleConvert<S2>, S2: Scale,

Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<S1, S2> InfallibleConversionTarget<S1> for S2
where S1: Scale + InfallibleScaleConvert<S2>, S2: Scale,

Source§

fn convert(src: Time<S1>) -> <S2 as ConversionTarget<S1>>::Output

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<SS, SP> SupersetOf<SS> for SP
where SS: SubsetOf<SP>,

Source§

fn to_subset(&self) -> Option<SS>

The inverse inclusion map: attempts to construct self from the equivalent element of its superset. Read more
Source§

fn is_in_subset(&self) -> bool

Checks if self is actually part of its subset T (and can be converted to it).
Source§

fn to_subset_unchecked(&self) -> SS

Use with care! Same as self.to_subset but without any property checks. Always succeeds.
Source§

fn from_subset(element: &SS) -> SP

The inclusion map: converts self to the equivalent element of its superset.
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<T> Scalar for T
where T: 'static + Clone + PartialEq + Debug,