Struct Time 

pub struct Time(/* private fields */);

Time [s].

Implementations

impl Time

pub fn seconds(val: &Ex) -> Self

Create a Time from a value in seconds (SI base unit).

pub fn milliseconds(val: &Ex) -> Self

Create a Time from a value in milliseconds.

pub fn microseconds(val: &Ex) -> Self

Create a Time from a value in microseconds.

pub fn nanoseconds(val: &Ex) -> Self

Create a Time from a value in nanoseconds.

pub fn minutes(val: &Ex) -> Self

Create a Time from a value in minutes (1 min = 60 s).

pub fn hours(val: &Ex) -> Self

Create a Time from a value in hours (1 h = 3600 s).

pub fn days(val: &Ex) -> Self

Create a Time from a value in days (1 d = 86400 s).

impl Time

pub fn from_ex(ex: impl IntoEx) -> Self

Create from a symbolic expression (or anything that implements IntoEx).

pub fn checked_from_ex(ex: impl IntoEx, dims: &DimMap) -> Result<Self, String>

Create from a symbolic expression with runtime dimension validation.

Checks that the expression’s inferred dimension matches this type’s dimension using the provided DimMap. Returns an error if the dimensions don’t match.

Use this instead of from_ex when you want runtime validation of dimensional correctness (e.g., in tests or debug builds).

pub fn symbol(ctx: &Context, name: &str) -> Self

Create a named symbolic variable with this dimension.

pub fn constant(ctx: &Context, val: i64) -> Self

Create from an integer constant.

pub fn rational(ctx: &Context, p: i64, q: i64) -> Self

Create from a rational constant.

pub fn zero(ctx: &Context) -> Self

Zero value.

pub fn into_inner(self) -> Ex

Escape hatch: drop dimension, return raw Ex.

pub fn inner(&self) -> &Ex

Borrow the inner Ex.

pub fn as_qty(self) -> Qty<TimeDim>

Convert to generic Qty<D>.

pub fn dim_name_str() -> &'static str

Runtime dimension name.

pub fn dim_symbol_str() -> &'static str

Runtime dimension symbol.

pub fn simplify(&self) -> Self

Apply simplify, preserving dimension.

pub fn expand(&self) -> Self

Apply expand, preserving dimension.

pub fn eval(&self) -> Self

Apply eval, preserving dimension.

pub fn subs(&self, var: &impl AsRef<Ex>, val: &impl AsRef<Ex>) -> Self

Substitute a variable.

pub fn simplify_full(&self) -> Self

Full multi-pass simplification, preserving dimension.

pub fn simplify_trig(&self) -> Self

Trigonometric simplification, preserving dimension.

pub fn simplify_powers(&self) -> Self

Power/exponent simplification, preserving dimension.

pub fn simplify_rational(&self) -> Self

Rational simplification, preserving dimension.

pub fn expand_trig(&self) -> Self

Expand trigonometric identities, preserving dimension.

pub fn expand_log(&self) -> Self

Expand logarithmic identities, preserving dimension.

pub fn log_combine(&self) -> Self

Combine logarithmic terms, preserving dimension.

pub fn trig_combine(&self) -> Self

Combine trigonometric terms, preserving dimension.

pub fn factor(&self, var: &impl AsRef<Ex>) -> Self

Factor with respect to a variable, preserving dimension.

pub fn collect(&self, var: &impl AsRef<Ex>) -> Self

Collect terms with respect to a variable, preserving dimension.

pub fn cancel(&self, var: &Ex) -> Self

Cancel common factors, preserving dimension.

pub fn together(&self) -> Self

Combine fractions over a common denominator, preserving dimension.

pub fn partial_fractions(&self, var: &impl AsRef<Ex>) -> Self

Partial-fraction decomposition with respect to a variable, preserving dimension.

pub fn rationalize_denom(&self) -> Self

Rationalize the denominator, preserving dimension.

pub fn diff(&self, var: &impl AsRef<Ex>) -> Ex

Differentiate with respect to a variable. Returns raw Ex. Wrap result in the correct output type: Acceleration::from_ex(v.diff(&t))

pub fn integrate(&self, var: &impl AsRef<Ex>) -> Ex

Integrate with respect to a variable. Returns raw Ex.

pub fn to_latex(&self) -> String

Render as LaTeX string.

pub fn free_symbols(&self) -> Vec<Ex>

Free symbols in the expression.

pub fn contains(&self, other: &impl AsRef<Ex>) -> bool

Whether the expression contains a given sub-expression.

pub fn term_count(&self) -> usize

Number of top-level additive terms.

pub fn count_ops(&self) -> usize

Count of internal operations.

pub fn is_zero(&self) -> bool

Check whether this quantity is provably zero.

pub fn equals(&self, other: &Self) -> bool

Check symbolic equality with another quantity of the same type.

pub fn eval_f64(&self) -> Result<f64, SymplexError>

Evaluate to f64.

pub fn eval_f64_with(&self, subs: &[(&Ex, i64)]) -> Result<f64, SymplexError>

Substitute integer values and evaluate to f64.

pub fn eval_decimal(&self, digits: u32) -> Result<String, SymplexError>

Evaluate to a decimal string with the given number of digits.

Trait Implementations

impl Add for Time

type Output = Time

The resulting type after applying the + operator.

fn add(self, rhs: Time) -> Time

Performs the + operation.

impl Add<&Time> for &Time

type Output = Time

The resulting type after applying the + operator.

fn add(self, rhs: &Time) -> Time

Performs the + operation.

impl Add<&Time> for Time

type Output = Time

The resulting type after applying the + operator.

fn add(self, rhs: &Time) -> Time

Performs the + operation.

impl Add<Time> for &Time

type Output = Time

The resulting type after applying the + operator.

fn add(self, rhs: Time) -> Time

Performs the + operation.

impl AsRef<Expr<Numeric>> for Time

fn as_ref(&self) -> &Ex

Converts this type into a shared reference of the (usually inferred) input type.

impl Clone for Time

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Time

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

Formats the value using the given formatter.

impl DiffWrt<Time> for Length

type Output = Velocity

The output quantity type after differentiation.

fn diff_wrt(&self, var: &Time) -> Velocity

Differentiate this quantity with respect to the given variable.

impl DiffWrt<Time> for Velocity

type Output = Acceleration

The output quantity type after differentiation.

fn diff_wrt(&self, var: &Time) -> Acceleration

Differentiate this quantity with respect to the given variable.

impl DiffWrt<Time> for Angle

type Output = AngularVelocity

The output quantity type after differentiation.

fn diff_wrt(&self, var: &Time) -> AngularVelocity

Differentiate this quantity with respect to the given variable.

impl DiffWrt<Time> for AngularVelocity

type Output = AngularAcceleration

The output quantity type after differentiation.

fn diff_wrt(&self, var: &Time) -> AngularAcceleration

Differentiate this quantity with respect to the given variable.

impl DiffWrt<Time> for Energy

type Output = Power

The output quantity type after differentiation.

fn diff_wrt(&self, var: &Time) -> Power

Differentiate this quantity with respect to the given variable.

impl DiffWrt<Time> for Momentum

type Output = Force

The output quantity type after differentiation.

fn diff_wrt(&self, var: &Time) -> Force

Differentiate this quantity with respect to the given variable.

impl DiffWrt<Time> for AngularMomentum

type Output = Torque

The output quantity type after differentiation.

fn diff_wrt(&self, var: &Time) -> Torque

Differentiate this quantity with respect to the given variable.

impl DiffWrt<Time> for Charge

type Output = Current

The output quantity type after differentiation.

fn diff_wrt(&self, var: &Time) -> Current

Differentiate this quantity with respect to the given variable.

impl DiffWrt<Time> for MagneticFlux

type Output = Voltage

The output quantity type after differentiation.

fn diff_wrt(&self, var: &Time) -> Voltage

Differentiate this quantity with respect to the given variable.

impl Display for Time

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

Formats the value using the given formatter.

impl Div<i64> for Time

type Output = Time

The resulting type after applying the / operator.

fn div(self, rhs: i64) -> Time

Performs the / operation.

impl From<Qty<Dim<Z0, Z0, PInt<UInt<UTerm, B1>>, Z0, Z0, Z0, Z0>>> for Time

fn from(q: Qty<TimeDim>) -> Time

Converts to this type from the input type.

impl From<Time> for Qty<TimeDim>

fn from(q: Time) -> Qty<TimeDim>

Converts to this type from the input type.

impl FromDimExpr<Dim<Z0, Z0, PInt<UInt<UTerm, B1>>, Z0, Z0, Z0, Z0>> for Time

fn from_dim_expr(qty: Qty<TimeDim>) -> Self

Convert from a generic Qty with the matching dimension.

impl IntWrt<Time> for Velocity

type Output = Length

The output quantity type after integration.

fn integrate_wrt(&self, var: &Time) -> Length

Integrate this quantity with respect to the given variable.

impl IntWrt<Time> for Acceleration

type Output = Velocity

The output quantity type after integration.

fn integrate_wrt(&self, var: &Time) -> Velocity

Integrate this quantity with respect to the given variable.

impl IntWrt<Time> for AngularVelocity

type Output = Angle

The output quantity type after integration.

fn integrate_wrt(&self, var: &Time) -> Angle

Integrate this quantity with respect to the given variable.

impl IntWrt<Time> for AngularAcceleration

type Output = AngularVelocity

The output quantity type after integration.

fn integrate_wrt(&self, var: &Time) -> AngularVelocity

Integrate this quantity with respect to the given variable.

impl IntWrt<Time> for Power

type Output = Energy

The output quantity type after integration.

fn integrate_wrt(&self, var: &Time) -> Energy

Integrate this quantity with respect to the given variable.

impl IntWrt<Time> for Force

type Output = Momentum

The output quantity type after integration.

fn integrate_wrt(&self, var: &Time) -> Momentum

Integrate this quantity with respect to the given variable.

impl IntWrt<Time> for Torque

type Output = AngularMomentum

The output quantity type after integration.

fn integrate_wrt(&self, var: &Time) -> AngularMomentum

Integrate this quantity with respect to the given variable.

impl IntWrt<Time> for Current

type Output = Charge

The output quantity type after integration.

fn integrate_wrt(&self, var: &Time) -> Charge

Integrate this quantity with respect to the given variable.

impl IntWrt<Time> for Voltage

type Output = MagneticFlux

The output quantity type after integration.

fn integrate_wrt(&self, var: &Time) -> MagneticFlux

Integrate this quantity with respect to the given variable.

impl Mul<&Expr<Numeric>> for Time

type Output = Time

The resulting type after applying the * operator.

fn mul(self, rhs: &Ex) -> Time

Performs the * operation.

impl Mul<&Expr<Numeric>> for &Time

type Output = Time

The resulting type after applying the * operator.

fn mul(self, rhs: &Ex) -> Time

Performs the * operation.

impl Mul<&Time> for i64

type Output = Time

The resulting type after applying the * operator.

fn mul(self, rhs: &Time) -> Time

Performs the * operation.

impl Mul<Time> for i64

type Output = Time

The resulting type after applying the * operator.

fn mul(self, rhs: Time) -> Time

Performs the * operation.

impl Mul<Time> for &Ex

type Output = Time

The resulting type after applying the * operator.

fn mul(self, rhs: Time) -> Time

Performs the * operation.

impl Mul<i64> for Time

type Output = Time

The resulting type after applying the * operator.

fn mul(self, rhs: i64) -> Time

Performs the * operation.

impl Mul<i64> for &Time

type Output = Time

The resulting type after applying the * operator.

fn mul(self, rhs: i64) -> Time

Performs the * operation.

impl Neg for Time

type Output = Time

The resulting type after applying the - operator.

fn neg(self) -> Time

Performs the unary - operation.

impl Neg for &Time

type Output = Time

The resulting type after applying the - operator.

fn neg(self) -> Time

Performs the unary - operation.

impl Sub for Time

type Output = Time

The resulting type after applying the - operator.

fn sub(self, rhs: Time) -> Time

Performs the - operation.

impl Sub<&Time> for &Time

type Output = Time

The resulting type after applying the - operator.

fn sub(self, rhs: &Time) -> Time

Performs the - operation.