Re: [math-fun] late follow-up

Isomorph rejection now accomplished for rational simplex search program, which finds 47 distinct examples of integer 3-flat 5-topes with edge at most 6; list available on request. This search cost only 1000 sec on a Mac Powerbook, and could be pushed a good way further if anybody's interested. All but 6 of these charts are conspheric. Two exceptions, having a common tetrahedron, with edges in natural order, are [6, 5, 4, 4, 5, 2, 4, 4, 3, 2] [6, 5, 4, 4, 5, 2, 6, 3, 4, 4] These looked a good bet for gluing together to form a rational 3-flat 6-tope; alas, the 15-th side turns out to be sqrt(40/7)! Fred Lunnon