GreaterEqual

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

Greater-than-or-equal comparison (greater than or equal to).

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

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

SymPyGe(any, any*)Rustgreater_equal(any, any*)

Typed signatures

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

Domain: Compute engine

Examples

2 more kept as data, checked against the oracles

Basic #

Comparison of integers

live ↗

In$0≤1$Out$\mathrm{True}$

Scope #

Exact rationals compare without rounding

live ↗

In$\frac{4}{3}≤\frac{3}{2}$Out$\mathrm{True}$

An exact constant compares against its 20-digit approximation

live ↗

In$π≤N(π, 20)$Out$\mathrm{True}$

Equal radicals satisfy a non-strict inequality

live ↗

In$\sqrt{5+2\sqrt{6}}≤\sqrt{2}+\sqrt{3}$Out$\mathrm{True}$

live ↗

In$π(1+256×(10^{-20}))≤N(π, 20)$Out$\mathrm{True}$

live ↗

In$x≤x$Out$\mathrm{True}$

live ↗

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

Properties #

Nonnegativity of $x$ is enough for $\sqrt{x^2}=x$

live ↗

In$\mathrm{Refine}(\sqrt{x^2}, x≥0)$Out$x$

live ↗

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

About

Examples	11
Checked against	Wolfram Language 7 agree4 differSymPy 5 agree5 differmpmath 5 agree3 differRust 8 agree
Crosswalk	FungrimWolfram LanguageSymPy ×2Rust

Implementation

mappedsympypackages/oracle/src/mappings.ts

mappedsympypackages/oracle/src/mappings.ts

A chain is the conjunction of its neighbors.

mappedrustpackages/oracle/src/mappings.ts