pure-rational (pure/pure-rational) Add to my watchlist

a Pure port of Q+Q, Rob Hubbard's rational number library

pure-rational is a Pure port of Q+Q, Rob Hubbard's rational number library. It contains rational.pure, a collection of utility functions for rational numbers, and rat_interval.pure, a module for doing interval arithmetic needed by rational.pure. These modules are designed to work with the math.pure module (part of the standard Pure library), which contains the definition of Pure's rational type and implements the basic rational arithmetic.

Version: 0.1 License: GPL-2+ GitHub
Reset

21 build(s) found
Builder Build Number Start Time Elapsed Time Watcher Build Status
10.14 154317 2023-01-25 20:11:50 0:01:14 49443 build successful
10.11 209365 2023-01-25 19:53:11 0:00:52 67798 build successful
11 101379 2023-01-25 18:24:18 0:01:12 28349 build successful
12 57725 2023-01-25 18:20:41 0:01:03 17132 build successful
10.15 128665 2023-01-25 18:18:09 0:01:09 38435 build successful
10.6 107480 2023-01-25 18:08:21 0:00:20 40343 failed install-dependencies
13 19469 2023-01-25 17:49:44 0:01:34 2889 build successful
10.6.x86_64 142117 2023-01-25 17:42:40 0:00:16 40374 failed install-dependencies
10.8 121024 2023-01-25 17:41:10 0:00:55 38159 build successful
10.13 178991 2023-01-25 17:40:12 0:00:52 58677 build successful
10.10 212186 2023-01-25 17:32:39 0:00:42 67679 build successful
10.12 217007 2023-01-25 17:24:07 0:00:42 66599 build successful
10.7 131953 2023-01-25 17:02:41 0:00:37 40115 build successful
10.9 217954 2023-01-25 17:01:42 0:01:03 67374 build successful
11.arm64 83519 2023-01-25 16:44:11 0:00:04 28327 failed install-dependencies
13 12630 2023-01-09 18:49:27 0:02:46 1767 build successful
12 17158 2022-01-19 16:28:41 0:00:14 3727 build successful
12.arm64 39401 2022-01-19 14:50:49 0:00:01 3812 failed install-dependencies
12.arm64 15403 2021-11-15 2:50:05 0:00:01 1068 failed install-dependencies
11 12867 2021-01-08 19:20:24 0:03:01 1746 build successful
10.15 17491 2019-12-29 5:54:56 0:02:49 1779 build successful