RationalNumbers

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

The set of all finite rational numbers.

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

RationalNumbers: set<rational>a constant, as compute-engine declares it

Typed signatures

Type	Package	Applies
`set<rational>`	`compute-engine`	always

Domain: Compute engine

Examples

Basic #

\frac{1}{2}∈ℚ

Out

\mathrm{True}

About