Vocabulary

math

Class description

The class of rational numbers, a disjoint union of integers and ratios.

Definition

Methods

math

Class description

The class of rational numbers, a disjoint union of integers and ratios.

Definition

Methods

This documentation was generated offline from a
`load-all`

image. If you want, you can also
browse the documentation from within the UI developer tools. See
the Factor website
for more information.

Factor 0.99 x86.64 (2203, heads/master-424edf64aa, Mar 8 2023 13:48:50)