- Current status
- Noindex beta
- Accepted numbers
- Integers, rational numbers, finite decimals
- Authority
- Exact value
- Not included
- Variable rational expressions
Keep the fraction exact
A fraction is a ratio of two integers. Converting too early to a decimal can introduce rounding, so Proofline treats the exact rational value as the result. A decimal can be useful for intuition, but it must remain explicitly marked as an approximation.
Supported example
A common denominator of 4 turns one half into two quarters, so the numerators add to 5 while the denominator remains 4.
Typed input
Use a slash for a numeric fraction, such as 1/2+3/4. Parentheses can make the intended grouping explicit when multiplication or division is involved. Always confirm the interpretation shown by the workspace before solving.
Current limitations
- Numeric exact arithmetic only on this page.
- No mixed-number notation claim; enter an improper fraction or an explicit sum.
- No algebraic cancellation with variables or domain restrictions.
- No repeating-decimal or arbitrary measurement-unit conversion claim.
Division by zero: A denominator of zero is outside the valid numeric domain and must produce an explicit error rather than a numeric answer.