Post by dvgrn » March 7th, 2018, 12:06 am

calcyman wrote: This came out of ikpx (my search program, which is essentially a multithreaded hybrid of LLS and gfind) when I fed one of Tom Rokicki's long partials into it...

It was terribly tempting to edit the original post and change one cell toward the end, so that the knightship didn't quite work.Unfortunately April Fool's Day is still almost a month away... well. With great power comes great responsibility. With infinitesimal power comes a reasonably small amount of responsibility. I'll just add my congratulations, and say "welcome" to 282P6H2V1, until another name appears!(Am trying to find some kind of pun, maybe on "C-horse" with the chess-knight connection. But "(2,1)c/6horse" just isn't very close.): I believe we're up to two dozen spaceship velocities now, counting the five infinite families only once each. Some of the infinite families -- Gemini, half-baked knightships, Demonoid, Caterloopillar, Orthogonoid -- may really be multiple infinite families, but it's too hard to count them if you start thinking like that.