IsEvenTick

Whether a tick is an even one, in a type whose ticks have a parity.

IsEvenTick(t)Whether a tick is an even one, in a type whose ticks have a parity.

Typed signatures

Type	Package	Applies
(any) -> unknown	structures	always

Domain: Structures

Details

• The TickParity protocol's member: with it, Round breaks a tie toward the even tick, Wolfram's rule.
• TickParity is our extension of Mathlib, whose round sends ties up.

Examples

Basic #

Integers' ticks have a parity

live ↗

In$\mathrm{IsEvenTick}(4)$Out$\mathrm{True}$

About

Examples	1

See also: Round, LowerTick