DoCon (math/DoCon) Add to my watchlist
DoCon is the Algebraic Domain ConstructorDoCon joins the categorial approach to mathematical computation expressed via the Haskell type classes, and explicit processing of the domain description terms. It implements recently a good piece of commutative algebra: linear algebra, polynomial gcd, factorization, Groebner bases, and other functions.
Version: 2.11 License: unknown
GitHub
28 build(s) found
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 15 | 16660 | 2024-10-19 3:26:07 | 0:00:51 | 2192 | failed install-port |
| 14.arm64 | 12243 | 2024-01-24 3:00:10 | 0:01:11 | 4538 | failed install-port |
| 14 | 24519 | 2024-01-07 12:37:23 | 0:02:38 | 4079 | failed install-port |
| 12 | 76648 | 2023-07-22 0:54:04 | 0:02:25 | 23835 | failed install-port |
| 10.14 | 173794 | 2023-07-21 23:11:42 | 0:00:59 | 56127 | failed install-dependencies |
| 10.13 | 199145 | 2023-07-21 22:05:36 | 0:02:18 | 65369 | failed install-port |
| 11.arm64 | 98059 | 2023-07-21 21:08:58 | 0:00:57 | 35030 | failed install-port |
| 13.arm64 | 28820 | 2023-07-21 19:58:17 | 0:01:01 | 9435 | failed install-port |
| 12.arm64 | 100662 | 2023-07-21 17:04:52 | 0:00:56 | 23845 | failed install-port |
| 11 | 121415 | 2023-07-21 16:50:07 | 0:02:47 | 35035 | failed install-port |
| 10.15 | 149057 | 2023-07-21 16:14:37 | 0:02:49 | 45117 | failed install-port |
| 10.12 | 238368 | 2023-07-21 12:30:56 | 0:01:03 | 73289 | failed install-dependencies |
| 13 | 41347 | 2023-07-21 12:30:11 | 0:01:51 | 9588 | failed install-port |
| 11.arm64 | 97926 | 2023-07-21 7:54:34 | 0:00:57 | 34993 | failed install-port |
| 12.arm64 | 100519 | 2023-07-21 3:03:07 | 0:00:58 | 23807 | failed install-port |
| 10.14 | 173625 | 2023-07-20 18:56:48 | 0:01:40 | 56090 | failed install-dependencies |
| 10.15 | 148889 | 2023-07-20 18:17:47 | 0:03:32 | 45080 | failed install-port |
| 12 | 76479 | 2023-07-20 18:10:08 | 0:03:39 | 23797 | failed install-port |
| 11 | 121241 | 2023-07-20 18:03:29 | 0:03:07 | 34998 | failed install-port |
| 10.13 | 198974 | 2023-07-20 18:03:25 | 0:03:16 | 65332 | failed install-port |
| 13.arm64 | 28636 | 2023-07-20 17:52:59 | 0:00:59 | 9397 | failed install-port |
| 13 | 41182 | 2023-07-20 17:48:20 | 0:02:16 | 9550 | failed install-port |
| 10.12 | 238197 | 2023-07-20 17:46:58 | 0:01:20 | 73252 | failed install-dependencies |
| 13.arm64 | 12954 | 2023-03-09 21:26:25 | 0:01:00 | 4319 | failed install-port |
| 13 | 17547 | 2023-01-19 12:53:10 | 0:04:18 | 2473 | failed install-port |
| 12 | 16191 | 2022-01-18 9:18:30 | 0:02:38 | 3657 | failed install-port |
| 12.arm64 | 14203 | 2021-11-14 6:39:33 | 0:00:01 | 1026 | failed install-dependencies |
| 10.15 | 19197 | 2020-01-04 23:34:47 | 0:02:15 | 1832 | failed install-port |