Section 2-1022 entries
2-10.20
fractional part
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.20IEC
urn:iec:std:iec:80000-2:2019:::item:2-10.20Designations
ENfractional part
FRpartie fractionnaire
Symbol
Notation systems
AsciiMath
"frac "aLaTeX
\text{frac } aDefinition
EN
fractional part of the real number
FR
partie fractionnaire du nombre réel
Notes
EN
[example] ====
====
FR
[example] ====
====
Ontology
Class Hierarchy
A mathematical concept as defined in ISO/IEC 80000 Part 2.
Instance IRI
isq:t2-10.20Properties
| Property | Value |
|---|---|
| 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 |