viewtopic.php?p=19492#p19492quickfur wrote:In the past few days I kinda got back into dabbling with 4D stuff -- considering how to represent polytope cell complexes as a way of interactively finding 4D CRFs by hand ("4D lego", if you will). Found some interesting theorems; but I'll have to post about that another time.
Have you posted that anywhere yet? (Or, do you even remember what you were talking about then?)
viewtopic.php?p=26001#p26001quickfur wrote:Also, when coloring a very large polytope, often the surtope subset that needs coloring contains elements that are touching each other, so individual elements have to be assigned different colors. The program currently has no automation for this, so I end up having to solve the graph coloring problem by hand over and over, once per subset of cells to color.

You could add a slight random variation to the colours, so that different cells look different, but still similar enough if they're in the same subset.
viewtopic.php?p=26132#p26132Mercurial, the Spectre wrote:quickfur wrote:username5243 wrote:quickfur wrote:Nothing new here, but this is the last of the known scaliform polychora on my website, so it seems like a natural thing to follow after spidrox.
Actually, there's one more convex scaliform polytope you haven't posted yet - tutcup (truncated tetrahedral cupolipirsm), which has 2 truncated tetrahedra, 6 tetrahedra, and 8 triangular cupolae. It is a segmentotope whose bases are two oppositely oriented truncated tetrahedra.
Ooh! Thanks for the tip! I'll be sure to post that next month!

Are all of the convex scaliforms already known? Or are these only the currently-known ones?
Definitely yes in 4D. They are related to a specific convex uniform polychoron (ex. tutcup-sircope, bidex-ex, and prissi-prico).
quickfur wrote:Not sure I understand. Are you saying we know all of them, or these are the only ones we know of? If the former, do we have proof that there are no others?
I also want an answer to this. I didn't find anything on Klitzing's site saying that all 4D convex scaliforms have been found. (Surely not all 4D scaliforms have been found, as the search for 4D non-convex uniforms is on-going.)
ΓΔΘΛΞΠΣΦΨΩ αβγδεζηθϑικλμνξοπρϱσςτυϕφχψωϖ °±∓½⅓⅔¼¾×÷†‡• ⁰¹²³⁴⁵⁶⁷⁸⁹⁺⁻⁼⁽⁾₀₁₂₃₄₅₆₇₈₉₊₋₌₍₎
ℕℤℚℝℂ∂¬∀∃∅∆∇∈∉∋∌∏∑ ∗∘∙√∛∜∝∞∧∨∩∪∫≅≈≟≠≡≤≥⊂⊃⊆⊇ ⊕⊖⊗⊘⊙⌈⌉⌊⌋⌜⌝⌞⌟〈〉⟨⟩