Less

Generated from the engine's own definition: compute-engine's symbol, which we neither extend nor document by hand.

Less-than comparison (strictly less than).

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

Less(any, any*) -> booleanas compute-engine declares it

SymPyLt(any, any*)Rustless(any, any*)

Typed signatures

Type	Package	Applies
(any, any*) -> boolean	compute-engine	always

Domain: Compute engine

Examples

Basic #

A chained comparison decides exactly, mixing rationals and $\pi$

live ↗

In$\frac{2}{17}\lt\frac{1}{5}\lt\frac{π}{10}$Out$\mathrm{True}$

Scope #

Rationals compare exactly: $\frac{3}{2} < \frac{5}{3}$

live ↗

In$\frac{3}{2}\lt\frac{5}{3}$Out$\mathrm{True}$

A difference far below double precision still counts, exactly

live ↗

In$1\lt1+128×(10^{-16})$Out$\mathrm{True}$

Exact arithmetic separates 1 from a slightly larger number

live ↗

In$1\lt1+256×(10^{-16})$Out$\mathrm{True}$

live ↗

In$π^{e}\lt e^{π}$Out$\mathrm{True}$

Properties #

Under the assumption $x<0$, $\sqrt{x^2}$ simplifies to $-x$

live ↗

In$\mathrm{Refine}(\sqrt{x^2}, x\lt0)$Out$-x$

live ↗

In$\int_{-∞}^{∞}\int_{-∞}^{∞}\!\lbrack1\lt x^2+y^2\lt2\rbrack x^2\, \mathrm{d}x \mathrm{d}y$Out$\int_{-∞}^{∞}\!\int_{-∞}^{∞}\!\lbrack1\lt x^2+y^2\lt2\rbrack x^2\, \mathrm{d}y\, \mathrm{d}x$

About

Examples	7
Checked against	Wolfram Language 6 agree1 differSymPy 5 agree1 differmpmath 4 agreeRust 4 agree
Crosswalk	FungrimWolfram LanguageSymPy ×2Rust

Implementation

mappedsympypackages/oracle/src/mappings.ts

mappedsympypackages/oracle/src/mappings.ts

A chain is the conjunction of its neighbors.

mappedmpmathpackages/oracle/src/mappings.ts

mappedrustpackages/oracle/src/mappings.ts