12 Commits

Author	SHA1	Message	Date
Patrick Stevens	1831ef49c4	Move Functions (#119)	2020-04-18 17:47:27 +01:00
Patrick Stevens	9b80058157	Lots of speedups (#116)	2020-04-16 13:41:51 +01:00
Patrick Stevens	1bcb3f8537	Irrelevant field of fractions (#115)	2020-04-13 14:09:23 +01:00
Patrick Stevens	269f2aa14f	N-ary expansions (#113)	2020-04-12 12:16:20 +01:00
Patrick Stevens	380548134d	Move towards base-n expansions (#112)	2020-04-11 19:46:26 +01:00
Patrick Stevens	e9aa1bcc05	Lots of without-K (#110)	2020-04-11 12:14:03 +01:00
Patrick Stevens	412edaf4c7	Lots of refactoring towards partially-ordered ring R (#109)	2020-04-10 19:00:57 +01:00
Patrick Stevens	b6ef9b46f2	Reshuffle orders (#91)	2019-12-29 12:11:21 +00:00
Patrick Stevens	8377c23613	Polynomial ring (#76)	2019-11-17 17:37:10 +00:00
Patrick Stevens	c55dd5f63e	Reshuffle in preparation to break the dependency on N's implementation (#75)	2019-11-17 10:01:39 +00:00
Patrick Stevens	82b81b4bab	Elevate the real numbers to actually existing (#65)	2019-11-04 07:34:59 +00:00
Patrick Stevens	d95f510cdd	Tidy up groups (#64)	2019-11-03 17:12:48 +00:00