Truncate

The integer part of x, rounding toward 0.

✓ checked against that system · ! checked, with disagreements (hover a chip)WikipediaTruncation↗Wolfram LanguageIntegerPart✓↗

Truncate(x)the integer part of x, rounded toward 0.

Typed signatures

Type	Package	Applies
(x: real | signed_infinity | ~oo, step: real?) -> real | signed_infinity | ~oo	compute-engine	always

Domain: Arithmetic

Details

• Rounds toward 0: Floor for $x \ge 0$ and Ceil for $x < 0$, so $\operatorname{Truncate}(-3.7) = -3$.
• An exact rational is truncated exactly, however large: $\operatorname{Truncate}\big((25! - 1)/24!\big) = 24$.

Examples

2 more kept as data, checked against the oracles

Basic #

live ↗

In$\mathrm{Truncate}(\frac{7}{2})$Out$3$

live ↗

In$\mathrm{Truncate}(-\frac{7}{2})$Out$-3$

About

Examples	4
Checked against	Wolfram Language 4 agree
Crosswalk	WikipediaWolfram Language

Implementation

mappedwolframpackages/oracle/src/mappings.ts

See also: Floor, Ceil, Round