IntegerCeil

The least integer at or above x, in a floor ring.

IntegerCeil(x)The least integer at or above x, in a floor ring.

Typed signatures

Type	Package	Applies
(any) -> unknown	structures	always

Domain: Structures

Details

• The FloorRing protocol's member (Mathlib's Int.ceil), and what Ceil answers for such a type.

Examples

Basic #

$\lceil -2.5 \rceil = -2$

live ↗

In$\mathrm{IntegerCeil}(-2.5)$Out$-2$

$\lceil 7/2 \rceil = 4$

live ↗

In$\mathrm{IntegerCeil}(\frac{7}{2})$Out$4$

About

Examples	2
Checked against	Wolfram Language 2 agree

Implementation

mappedwolframpackages/oracle/src/mappings.ts

See also: IntegerFloor, Ceil, UpperTick