chad-fast/src, branch user-typesAn implementation of CHAD, towards performance
https://git.tomsmeding.com/chad-fast/atom?h=user-types2025-11-27T20:30:17ZWIP user-specified custom types2025-11-27T20:30:17ZTom Smedingtom@tomsmeding.com2025-11-27T20:30:17Zurn:sha1:20f7d7be13cd7869b338f98d1ab3fd33e8bbfb3e
The big roadblock encountered is that accumulation wants addition of
monoids to be elementwise float addition; this fundamentally clashes
with the concept of a user type with a custom zero and plus.
APIv1: Some fixes2025-11-26T16:45:10ZTom Smedingtom@tomsmeding.com2025-11-26T16:44:25Zurn:sha1:ae634c056b500a568b2d89b7f8e225404a2c0c62Add a simplify rule2025-11-22T21:40:40ZTom Smedingtom@tomsmeding.com2025-11-22T21:40:40Zurn:sha1:b4f07c673b7c710f5861bb84e67233c63336c53dFix typo2025-11-22T18:56:06ZTom Smedingtom@tomsmeding.com2025-11-22T18:56:06Zurn:sha1:f78fe9b8dd634e06b5c729c1656cc1b752b3add3UnMonoid: Use eunPair2025-11-13T22:05:45ZTom Smedingtom@tomsmeding.com2025-11-13T22:05:45Zurn:sha1:0afc66d03e566025a0cd79c65723aa6565f10488Sparse: Maybe prevent another SpSparse introduction2025-11-13T20:38:52ZTom Smedingtom@tomsmeding.com2025-11-13T20:38:52Zurn:sha1:239fc967b4dfd0eba6ca5b0a9e0d9a2d29e6ad5eUser-facing API suggestion2025-11-11T22:56:47ZTom Smedingtom@tomsmeding.com2025-11-11T22:56:47Zurn:sha1:dc61318a22e3492774ab6f6345c9a369222ef2f6hlint cleanup2025-11-10T21:31:56ZTom Smedingtom@tomsmeding.com2025-11-10T21:31:56Zurn:sha1:cd135319f65f40a554d864b2a878a4ef44043a98Use ImportQualifiedPost2025-11-10T20:57:54ZTom Smedingtom@tomsmeding.com2025-11-10T20:57:54Zurn:sha1:57eb321eaeabc53c8c8b83d0554d8a8cca6eed76Move module hierarchy under CHAD.2025-11-10T20:50:25ZTom Smedingtom@tomsmeding.com2025-11-10T20:49:45Zurn:sha1:174af2ba568de66e0d890825b8bda930b8e7bb96