chiark / gitweb /
nimber.git
5 weeks agoCompute one more polynomial
Simon Tatham [Sat, 12 Apr 2025 09:28:27 +0000 (10:28 +0100)]
Compute one more polynomial

This is the one I computed originally, and checked was primitive, but
was not able to include in the A382121 text file because of a line
length limit.

5 weeks agoAha, a mistake in the simplest part, of course
Simon Tatham [Sat, 12 Apr 2025 09:21:27 +0000 (10:21 +0100)]
Aha, a mistake in the simplest part, of course

5 weeks agoSmall answers right, but large ones off by one level!
Simon Tatham [Sat, 12 Apr 2025 09:11:18 +0000 (10:11 +0100)]
Small answers right, but large ones off by one level!

5 weeks agoFirst attempt at making the example program work
Simon Tatham [Sat, 12 Apr 2025 08:54:12 +0000 (09:54 +0100)]
First attempt at making the example program work

5 weeks agoFix addition of different-sized vectors
Simon Tatham [Sat, 12 Apr 2025 08:54:00 +0000 (09:54 +0100)]
Fix addition of different-sized vectors

5 weeks agoExpose Vec-based initialisation publicly
Simon Tatham [Sat, 12 Apr 2025 07:26:11 +0000 (08:26 +0100)]
Expose Vec-based initialisation publicly

5 weeks agofmt
Simon Tatham [Sat, 12 Apr 2025 07:22:56 +0000 (08:22 +0100)]
fmt

5 weeks agoDon't keep recomputing levels during multiplication
Simon Tatham [Sat, 12 Apr 2025 07:22:30 +0000 (08:22 +0100)]
Don't keep recomputing levels during multiplication

5 weeks agoImplement Display
Simon Tatham [Fri, 11 Apr 2025 18:34:59 +0000 (19:34 +0100)]
Implement Display

5 weeks agoStart of an example
Simon Tatham [Fri, 11 Apr 2025 18:31:10 +0000 (19:31 +0100)]
Start of an example

5 weeks agoGet the package name right, ahem
Simon Tatham [Fri, 11 Apr 2025 18:31:04 +0000 (19:31 +0100)]
Get the package name right, ahem

5 weeks agoTrivially implement subtraction.
Simon Tatham [Fri, 11 Apr 2025 18:24:31 +0000 (19:24 +0100)]
Trivially implement subtraction.

5 weeks agoSome tests of multiplication.
Simon Tatham [Fri, 11 Apr 2025 18:24:19 +0000 (19:24 +0100)]
Some tests of multiplication.

5 weeks agoHide some of the boring boilerplate.
Simon Tatham [Fri, 11 Apr 2025 18:18:29 +0000 (19:18 +0100)]
Hide some of the boring boilerplate.

5 weeks agoMultiplication passes first test!
Simon Tatham [Fri, 11 Apr 2025 17:46:44 +0000 (18:46 +0100)]
Multiplication passes first test!

5 weeks agoMissing add implementation
Simon Tatham [Fri, 11 Apr 2025 17:44:33 +0000 (18:44 +0100)]
Missing add implementation

5 weeks agoDetermine starting level
Simon Tatham [Fri, 11 Apr 2025 17:44:21 +0000 (18:44 +0100)]
Determine starting level

5 weeks agomul_by_h working
Simon Tatham [Fri, 11 Apr 2025 17:17:34 +0000 (18:17 +0100)]
mul_by_h working

6 weeks agoI think that's refs, split and join?
Simon Tatham [Fri, 11 Apr 2025 07:58:46 +0000 (08:58 +0100)]
I think that's refs, split and join?

6 weeks agoRestart without the trait system
Simon Tatham [Fri, 11 Apr 2025 07:51:10 +0000 (08:51 +0100)]
Restart without the trait system

6 weeks agoAllow converting back into slice references.
Simon Tatham [Thu, 10 Apr 2025 11:55:25 +0000 (12:55 +0100)]
Allow converting back into slice references.

6 weeks agoAllow FiniteNimber based on a slice.
Simon Tatham [Thu, 10 Apr 2025 11:49:34 +0000 (12:49 +0100)]
Allow FiniteNimber based on a slice.

This should make it easier to partition things.

6 weeks agoAllow variable-sized FiniteNimber.
Simon Tatham [Thu, 10 Apr 2025 11:41:43 +0000 (12:41 +0100)]
Allow variable-sized FiniteNimber.

6 weeks agoImplement Add, via BitXor on the underlying type.
Simon Tatham [Thu, 10 Apr 2025 11:37:10 +0000 (12:37 +0100)]
Implement Add, via BitXor on the underlying type.

6 weeks agoStart work on a nimbers library.
Simon Tatham [Thu, 10 Apr 2025 11:25:39 +0000 (12:25 +0100)]
Start work on a nimbers library.