Skip to main content
server.TemporalQuotient Exact rational arithmetic ending in predicates. Every intermediate domain exclusion remains unknown, including removable holes after inversion. Numerator and denominator degrees are bounded to four.

Type parameters

Hierarchy

  • Pick<TemporalSignals<D>, "gt" | "gte" | "lt" | "lte" | "eq" | "ne"> ↳ TemporalQuotient

Methods

gt

▸ gt(value): TemporalConditions<true>

Parameters

Returns

TemporalConditions<true>

Inherited from

Pick.gt

gte

▸ gte(value): TemporalConditions<true>

Parameters

Returns

TemporalConditions<true>

Inherited from

Pick.gte

lt

▸ lt(value): TemporalConditions<true>

Parameters

Returns

TemporalConditions<true>

Inherited from

Pick.lt

lte

▸ lte(value): TemporalConditions<true>

Parameters

Returns

TemporalConditions<true>

Inherited from

Pick.lte

eq

▸ eq(value): TemporalConditions<true>

Parameters

Returns

TemporalConditions<true>

Inherited from

Pick.eq

ne

▸ ne(value): TemporalConditions<true>

Parameters

Returns

TemporalConditions<true>

Inherited from

Pick.ne

add

▸ add(value): TemporalQuotient<D>

Parameters

Returns

TemporalQuotient<D>

sub

▸ sub(value): TemporalQuotient<Delta<D>>

Parameters

Returns

TemporalQuotient<Delta<D>> ▸ sub(value): TemporalQuotient<D>

Parameters

Returns

TemporalQuotient<D>

mul

▸ mul<R>(value): TemporalQuotient<Product<D, R>>

Type parameters

Parameters

Returns

TemporalQuotient<Product<D, R>> ▸ mul(value): TemporalQuotient<D>

Parameters

Returns

TemporalQuotient<D>

div

▸ div<R>(value): TemporalQuotient<Quotient<D, R>>

Type parameters

Parameters

Returns

TemporalQuotient<Quotient<D, R>> ▸ div(value): TemporalQuotient<D>

Parameters

Returns

TemporalQuotient<D>

neg

▸ neg(): TemporalQuotient<D>

Returns

TemporalQuotient<D>

abs

▸ abs(): TemporalQuotient<D>

Returns

TemporalQuotient<D>

min

▸ min(value): TemporalQuotient<D>

Parameters

Returns

TemporalQuotient<D>

max

▸ max(value): TemporalQuotient<D>

Parameters

Returns

TemporalQuotient<D>

convert

▸ convert<To>(from, to): TemporalQuotient<Dimension<To>>

Type parameters

Parameters

Returns

TemporalQuotient<Dimension<To>>

to

▸ to<U>(unit): TemporalQuotient<Dimension<U>>

Type parameters

Parameters

Returns

TemporalQuotient<Dimension<U>>