Greater

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

Greater-than comparison (strictly greater than).

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

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

SymPyGt(any, any*)Rustgreater(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\lt1$Out$\mathrm{True}$

Scope #

Exact rationals compare without rounding

live ↗

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

A tiny offset is still seen as below 1

live ↗

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

A doubled offset is likewise below 1

live ↗

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

live ↗

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

Properties #

Positivity of $x$ lets $\sqrt{x^2}$ simplify to $x$

live ↗

In$\mathrm{Refine}(\sqrt{x^2}, x\gt0)$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	9
Checked against	Wolfram Language 6 agree2 differSymPy 5 agree2 differ1 errormpmath 5 agree1 differ1 errorRust 5 agree1 differ
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