Repository owner: art-rasa

rational_number

Exact rational arithmetic with integer numerators and denominators.

Repository · Pinned source (b6ff702a0f51) · Try in playground · Checked package example

GAMS classifications

About this package

Category: Number theory
License: MIT

Topics: exact-arithmetic, number-theory, rational-arithmetic

Package dependencies

Resolved GitHub repositories used by the verified playground build, combining direct and indirect dependencies. This list does not describe internal module dependencies or native system libraries.

Required by this build

art-rasa/math · source at 83035edb1963

Build record verified 2026-10-27.

Used by (0 selected packages)

No other selected build records this repository as a dependency. This is not a measure of usage outside the catalog.

Reviewed procedures

These mappings have pinned source evidence. A checked package example may exercise only some of them; source review is not a numerical benchmark.

ratNumAdd

Module: rational_number

A2: verified

Derivatives / callbacks: not applicable

Arithmetic on integer numerator/denominator pairs. Dedicated A2 driver checks exact addition with simplify off/on across 5832 small cases and verifies positive-result reduction against enumerated divisors. The pinned math dependency returns zero GCD for nonpositive numerator inputs, so negative and zero results can remain unreduced; only value equivalence is claimed for those results.

Pinned source: src/rational_number.f90

Load checked GAMS driver: gams-rational-addition-reference