FractionalPart

The fractional part of x, with the sign of x: x minus its integer part.

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

FractionalPart(x)x minus IntegerPart(x), with the sign of x.

Rustfract(x)

Typed signatures

Type	Package	Applies
(number) -> number	analytic	always

Domain: Elementary functions

Details

• Keeps the sign of x, unlike compute-engine's native Fract, which always lands in $[0, 1)$: $\mathrm{FractionalPart}(-7/2) = -1/2$, where $\mathrm{Fract}(-7/2) = 1/2$.
• Exact where IntegerPart is: an exact rational reduces to an exact rational, and a symbolic constant like Pi stays exact and symbolic ($\mathrm{FractionalPart}(\pi) = \pi - 3$).
• Zero exactly on the integers.
• Real domain -- a concretely complex argument is left unevaluated.

Plot

Examples

Basic #

live ↗

In$\mathrm{FractionalPart}(2.5)$Out$0.5$

live ↗

In$\mathrm{FractionalPart}(\frac{7}{2})$Out$\frac{1}{2}$

Keeps the sign of x, unlike compute-engine's Fract

live ↗

In$\mathrm{FractionalPart}(-\frac{7}{2})$Out$-\frac{1}{2}$

Scope #

Exact numeric arguments stay exact

live ↗

In$\mathrm{FractionalPart}(π)$Out$π-3$

Threads element-wise over a list

live ↗

In$\mathrm{FractionalPart}(\bigl\lbrack\frac{7}{2}, -\frac{1}{3}\bigr\rbrack)$Out$\bigl\lbrack\frac{1}{2}, -\frac{1}{3}\bigr\rbrack$

Properties #

Zero exactly on the integers

live ↗

In$\mathrm{FractionalPart}(5)$Out$0$

About

Examples	6
Checked against	Wolfram Language 6 agreeSageMath 6 agreeRust 6 agree
Crosswalk	Wolfram LanguageRust

Implementation

mappedsagepackages/oracle/src/mappings.ts

mappedrustpackages/oracle/src/mappings.ts