integer part

URNurn:iso:std:iso:80000:-2:ed-2:en:item:2-10.19

https://metanorma.github.io/isq-smart/math/part-2-10/t2-10.19
urn:iso:std:iso:80000:-2:ed-2:en:item:2-10.19

ISQ Identifiers

ISO

urn:iso:std:iso:80000:-2:ed-2:en:item:2-10.19

IEC

urn:iec:std:iec:80000-2:2019:::item:2-10.19

Designations

ENinteger part

FRpartie entière

Symbol

int a

Notation systems

AsciiMath

"int "a

LaTeX

\text{int } a

Definition

integer part of the real number $a$

partie entière du nombre réel $a$

$int a = sgn a \cdot ⌊ | a | ⌋$

[example] ====

$int (2, 4) = 2$

$int (- 2, 4) = - 2$

====

$int a = sgn a \cdot ⌊ | a | ⌋$

[example] ====

$int (2, 4) = 2$

$int (- 2, 4) = - 2$

====

A mathematical concept as defined in ISO/IEC 80000 Part 2.

isq:t2-10.19

Property	Value
rdf:type	isq:MathConcept smart:TermEntry
dcterms:identifier	2-10.19
skosxl:prefLabel	"integer part"@en
skosxl:altLabel	""int "a"@en
skos:definition	integer part of the real number stem:[a]
skos:note	stem:["int "a = "sgn "a * floor(abs(a))] [example] ==== stem:["int"(2,4) = 2] stem:["int"(-2,4) = -2] ====
smart:hasBindingnessType	bindingness-type:normative
dcterms:isPartOf	isq:part-2-10