ISQ
20 / 22
2-10.20

fractional part

URNurn:iso:std:iso:80000:-2:ed-2:en:item:2-10.20
Download RDF.jsonld.ttl
https://metanorma.github.io/isq-smart/math/part-2-10/t2-10.20
urn:iso:std:iso:80000:-2:ed-2:en:item:2-10.20
ISQ Identifiers
ISO
urn:iso:std:iso:80000:-2:ed-2:en:item:2-10.20
IEC
urn:iec:std:iec:80000-2:2019:::item:2-10.20
Designations
ENfractional part
FRpartie fractionnaire
Symbol
frac a
Notation systems
AsciiMath
"frac "a
LaTeX
\text{frac } a

Definition

EN

fractional part of the real number a

FR

partie fractionnaire du nombre réel a

Notes

EN

frac a = a − int a

[example] ====

frac ( 2 , 4 ) = 0 , 4

frac ( − 2 , 4 ) = − 0 , 4

====

FR

frac a = a − int a

[example] ====

frac ( 2 , 4 ) = 0 , 4

frac ( − 2 , 4 ) = − 0 , 4

====

Ontology

Class Hierarchy

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

Instance IRI

isq:t2-10.20
PropertyValue
rdf:type
dcterms:identifier
2-10.20
skosxl:prefLabel
"fractional part"@en
skosxl:altLabel
""frac "a"@en
skos:definition
fractional part of the real number stem:[a]
skos:note
stem:["frac "a = a - "int "a] [example] ==== stem:["frac"(2,4) = 0,4] stem:["frac"(-2,4) = -0,4] ====
smart:hasBindingnessType
dcterms:isPartOf