84:
74:
53:
243:
22:
246:, means that the second triangle is instead wound backwards - try testing out what the Schläfli symbol {3/2} really means. Because it is wound backward it is not exactly quasiregular. But it still is a triangle, so Steelpillow, I agree with you that it should be quasiregular. Unfortunately, that is not what many people think, so we cannot put that into the article.
234:
215:
Then, yes it has regular faces of two types alternating around each vertex. But there are more subtle issues which mean that it is not usually regarded as quasiregular. For example its vertex figure is sometimes written as {3.4.3/2.4}. Personally I think it should be (for an even more subtle reason),
599:
that would be an immersion but for the vertices (0-skeleton) a "near-immersion". Not a standard term though. Knowledge calls
Steiner's Roman surface "... a self-intersecting mapping of the real projective plane into three-dimensional space, with an unusually high degree of symmetry ..." A bit of a
648:
I don't see anything wrong with my edit. My open-link edits like this were done over about 30 articles, getting started linking some common terminology, still useful even without linked-article yet. I purposely removed the vertex/edge counts since it includes ALL of them, left the face info since
554:
Away from the vertices, the image in R^3 of the tetrahemihexahedron is also an immersion. Three distant points of the original polyhedron (in the projective plane) are mapped to the centre. But as you move along an axis from the centre towards a vertex, the self-intersection is between closer and
870:
terms. Doesn't seem to have gotten any uptake, so I agree that it should be left out. But yes, this is an infinite family that is uniform if the number of dimensions is at least 3 (and is in fact semiregular). The vertex figure is the demicross polytope of one less dimension, which is uniform if
528:
Immersion vs. embedding always confuses me, but you are the first person ever to explain to me that the tetrahemihexahedron in R^3 is neither. What then is it? An injection, a projection, or what? I also fail to understand why the vertices are not locally homeomorphic to R^2 - they are after all
576:
Thank you for the clearest explanation yet. One last piece of the puzzle, if I want to talk about the tetrahemihexahedron as "a xxxxxxx of the projective plane in R^3", what word should I use for "xxxxxxx"? "Injection" or "mapping" are very broad, is there a more specific term? â Cheers,
529:
embedded in a projective plane (or should that be diffeomorphic not homeomorphic? why mention both in the above, and what's the difference anyway? I do struggle with these long words which always seem to get explained in terms of each other.) â Cheers,
551:. The image self-intersects, so it is not an embedding. But no matter where you are on the original Klein bottle, if you consider a small area around you, the image of that area is non-self-intersecting. So it is a local embedding, AKA an immersion.
321:
Exactly so (though I am always unclear whether an "immersion" is allowed to self-intersect). All we need is a verifiable reference. Knowledge can't follow the logic through unless somebody else has already done so - and published. â Cheers,
184:
Viewing the HTML page source in my browser options, the graphic box is standards-compliant HTML table markup, set to right-align. I know that IE6 is obsolescent and not standards-compliant, but I wouldn't expect it to be
372:
Thanks for the clarification. I bet I forget it again though, sigh. These models of the projective plane, and many others, are well documented. What I cannot find is any study of their quasiregularity. â Cheers,
769:. However, itâs interesting to try to interpret that claim. Hereâs my guess, which will hopefully inspire someone else to look into the matter further (and possibly even create a citation for that claim?)
765:
This article claimed that the tetrahemihexahedron was the three-dimensional âdemicrossâ polytope. Iâve commented out that claim, since I canât find any other source replicating it, which violates
555:
closer points of the original. At the vertex itself, no matter how small a scale you consider, the self-intersection is always in your neighbourhood. So it fails to be an embedding, even locally.
488:. The immersion cannot have the same characteristics intrinsic to the surface - after all, it is not even an embedding. However, none of this is relevant to quasiregularity. HTH. â Cheers,
140:
558:
A fun fact is that you can pair up the vertices along three edges and perform an unwinding operation to get a genuine polyhedral immersion of the projective plane, that is very similar to
892:
What a shame. There've been so many kinds of polytopes and properties thereof discovered during the last decade, and it's just unfortunate that none have yet been published. â
288:
I don't consider the hemicuboctahedron as "wound backwards" in any way. I regard it as existing quite normally in the projective plane. The "winding backwards" occurs when we
189:
bad. Check around. Maybe IE6 really is that bad by modern standards, or you need to reinstall. (I use
Firefox and it's just fine). Sorry I can't help more. --
285:
in the projective plane). Therefore I believe that while the hemicuboctahedron is not a quasiregular polyhedron, it should still be regarded as quasiregular.
466:
can self-intersect but that is not the issue, the neighbourhoods of the six vertices are not homeomorphic to R^2. The article draws a good analogy to the
925:
130:
677:
OK with the broken links for now. It also has the same vertex arrangement as the octahedron, so I have added that in to replace the bit you deleted. --
920:
661:
253:
657:
106:
257:
169:
601:
563:
515:
471:
97:
58:
867:
871:
we're already in 4D or above, so we can truncate and rectify such polytopes in 4D and up and still get uniform polytopes.
614:
Thanks anyway. I am coming to suspect that there is no accepted term. Guess that leaves me free to invent one. â Cheers,
354:
Somebody else has already (although not exactly in the way
Maproom did) shown the relationship between thah and co; see
250:
33:
282:
484:
They are indeed disclike, or homeomorphic to R^2 as you describe them, as are the six points on the Roman surface
725:
In the rod-and-ball image, the squares are yellow. You can only see half of a given square at a time. -- Cheers,
303:. Arguably, "hemicuboctahedron" denotes the quasiregular map, and "tetrahemihexahedron" denotes its immersion in
842:
Seems like an interesting family, itâs a shame that uniform polytopes are still such an obscure field of study.
699:
270:
173:
21:
605:
567:
519:
475:
247:
876:
448:
398:
363:
411:, I think we can take his website as a reliable reference. Anybody got any problems with that? â Cheers,
899:
849:
808:
730:
619:
582:
548:
534:
493:
416:
408:
378:
327:
194:
39:
391:
83:
387:
165:
162:
This page doesn't display properly under IE 6, the graphics box completely obscures the main text.
695:
278:
238:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
274:
89:
73:
52:
887:
872:
748:
714:
444:
394:
359:
345:
312:
893:
861:
843:
726:
678:
615:
578:
530:
489:
412:
374:
323:
219:
190:
668:
I added back element counts, moved to first paragraph, and empty link to edge arrangement.
785:
340:
allowed to self-intersect. I can't help with what matters, though, the citable reference.
502:
Perhaps in the end not relevant, but for the record, that is not correct. The meaning of
836:
559:
507:
914:
811:
with the vertices of a square, and the demicross 3-polytope would effectively be the
511:
510:
is an immersion but not an embedding of the projective plane, for example, while the
467:
229:
804:â 1)-polytopes. I believe that this is what a demicross polytope is supposed to be.
766:
744:
710:
669:
650:
440:
Have a look at the "elco" entry at
Klitzing's page for GrĂźnbaumâCoxeter polytopes:
341:
308:
242:
355:
102:
788:âs facets can too. Furthermore, if we remove any two opposite vertices from an
506:
isn't disputed, and it does imply a local diffeomorphism, in this case to R^2.
903:
880:
853:
816:
752:
734:
718:
703:
681:
672:
653:
623:
609:
596:
586:
571:
538:
523:
497:
479:
452:
441:
420:
402:
382:
367:
349:
331:
316:
260:
222:
198:
177:
79:
824:
273:. This thing, the hemicuboctahedron, is derived by rectification, not from a
820:
777:
463:
233:
832:
544:
592:
269:
A quasiregular polyhedron is one derived from a regular polyhedron by
828:
209:
I just removed this from the stellation and quasiregular categories.
228:
I think I'll try to explain some subtle issues here. 3.4.3.4 is the
694:
It looks nice, but I don't quite see where the square faces are. --
392:
list of all the polyhedra that he considers to be quasiregular.
15:
709:
The squares intersect right through the center of the model.
823:(and would in fact correspond to what Bowers has dubbed the
807:
Under this assumption, the demicross 2-polytope would be a
388:
George Hart considers the hemipolyhedra to be quasiregular.
543:
Sorry, never mind the long words, I'd say the key word is
796:â 1)-hyperoctahedronâs vertices. We can then create an
212:
Firstly, it is not a stellation of any convex core.
514:
is not even an immersion, and this is not either. --
216:but that is not what the rest of the world thinks.
101:, a collaborative effort to improve the coverage of
336:An immersion is like an embedding, except that it
281:(which is not a regular polyhedron, but it is a
827:. The demicross 5-polytope would consist of 16
815:. The demicross 4-polytope would consist of 8
8:
19:
47:
562:. But this destroys "quasiregularity". --
470:which is also has six singular points. --
662:Special:Whatlinkshere/Vertex_arrangement
49:
658:Special:Whatlinkshere/Edge_arrangement
7:
95:This article is within the scope of
38:It is of interest to the following
800:-polytope with these two sets of (
780:âs vertices can be 2-colored, any
649:only half of triangle are shared.
549:this immersion of the Klein bottle
14:
926:Low-priority mathematics articles
115:Knowledge:WikiProject Mathematics
921:Start-Class mathematics articles
241:
232:
118:Template:WikiProject Mathematics
82:
72:
51:
20:
486:as seen from within the surface
294:
135:This article has been rated as
1:
792:-hyperoctahedron, we get an (
109:and see a list of open tasks.
835:(and correspond to Bowersâ
753:06:36, 11 August 2009 (UTC)
735:20:13, 10 August 2009 (UTC)
719:06:08, 10 August 2009 (UTC)
704:03:00, 10 August 2009 (UTC)
261:06:52, 25 August 2009 (UTC)
223:15:05, 8 January 2007 (UTC)
942:
904:03:49, 31 March 2020 (UTC)
881:03:13, 31 March 2020 (UTC)
854:06:21, 30 March 2020 (UTC)
624:21:32, 24 April 2012 (UTC)
610:16:57, 24 April 2012 (UTC)
587:09:51, 21 April 2012 (UTC)
572:21:22, 20 April 2012 (UTC)
539:21:07, 19 April 2012 (UTC)
524:22:02, 18 April 2012 (UTC)
498:21:18, 18 April 2012 (UTC)
480:01:32, 18 April 2012 (UTC)
421:10:53, 15 April 2012 (UTC)
403:11:40, 12 April 2012 (UTC)
383:20:28, 11 April 2012 (UTC)
368:13:35, 11 April 2012 (UTC)
350:21:30, 10 April 2012 (UTC)
332:19:59, 10 April 2012 (UTC)
317:09:41, 10 April 2012 (UTC)
591:I'm afraid I don't know.
299:the hemicuboctahedron in
199:17:50, 2 April 2008 (UTC)
178:23:53, 1 April 2008 (UTC)
134:
67:
46:
743:Two quarters, that is. â
682:09:05, 12 May 2007 (UTC)
673:21:13, 11 May 2007 (UTC)
654:21:07, 11 May 2007 (UTC)
453:13:51, 29 May 2012 (UTC)
141:project's priority scale
825:tesseracthemioctachoron
98:WikiProject Mathematics
772:By the same reason an
28:This article is rated
837:hexadecahemidecateron
809:crossed quadrilateral
237:, but 3.4.3/2.4, the
761:âDemicrossâ polytope
595:calls an image of a
547:. You might look at
121:mathematics articles
813:tetrahemihexahedron
239:tetrahemihexahedron
868:George Olshevsky's
293:(wrong word â see
275:regular polyhedron
90:Mathematics portal
34:content assessment
600:mouthful that. --
298:
180:
168:comment added by
155:
154:
151:
150:
147:
146:
933:
896:
891:
865:
846:
644:Edge arrangement
292:
245:
236:
163:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
941:
940:
936:
935:
934:
932:
931:
930:
911:
910:
894:
885:
866:This is one of
859:
844:
786:hyperoctahedron
763:
692:
646:
460:
407:OK, looking at
277:, but from the
207:
160:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
939:
937:
929:
928:
923:
913:
912:
909:
908:
907:
906:
762:
759:
758:
757:
756:
755:
738:
737:
722:
721:
696:Johanneskepler
691:
688:
687:
686:
685:
684:
645:
642:
641:
640:
639:
638:
637:
636:
635:
634:
633:
632:
631:
630:
629:
628:
627:
626:
556:
552:
459:
456:
438:
437:
436:
435:
434:
433:
432:
431:
430:
429:
428:
427:
426:
425:
424:
423:
409:WP:SELFPUBLISH
390:He also has a
286:
264:
263:
206:
203:
202:
201:
170:208.68.244.251
159:
156:
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
938:
927:
924:
922:
919:
918:
916:
905:
901:
897:
889:
884:
883:
882:
878:
874:
869:
863:
858:
857:
856:
855:
851:
847:
840:
839:. And so on.
838:
834:
830:
826:
822:
818:
814:
810:
805:
803:
799:
795:
791:
787:
783:
779:
775:
770:
768:
760:
754:
750:
746:
742:
741:
740:
739:
736:
732:
728:
724:
723:
720:
716:
712:
708:
707:
706:
705:
701:
697:
689:
683:
680:
676:
675:
674:
671:
667:
666:
665:
663:
659:
655:
652:
643:
625:
621:
617:
613:
612:
611:
607:
603:
602:192.75.48.150
598:
594:
593:Jon McCammond
590:
589:
588:
584:
580:
575:
574:
573:
569:
565:
564:192.75.48.150
561:
560:Boy's surface
557:
553:
550:
546:
542:
541:
540:
536:
532:
527:
526:
525:
521:
517:
516:192.75.48.150
513:
512:Roman surface
509:
508:Boy's surface
505:
501:
500:
499:
495:
491:
487:
483:
482:
481:
477:
473:
469:
468:roman surface
465:
462:
461:
457:
455:
454:
450:
446:
442:
422:
418:
414:
410:
406:
405:
404:
400:
396:
393:
389:
386:
385:
384:
380:
376:
371:
370:
369:
365:
361:
357:
353:
352:
351:
347:
343:
339:
335:
334:
333:
329:
325:
320:
319:
318:
314:
310:
306:
302:
296:
291:
287:
284:
280:
276:
272:
271:rectification
268:
267:
266:
265:
262:
259:
255:
252:
249:
244:
240:
235:
231:
230:cuboctahedron
227:
226:
225:
224:
221:
217:
213:
210:
204:
200:
196:
192:
188:
183:
182:
181:
179:
175:
171:
167:
157:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
888:Double sharp
873:Double sharp
841:
812:
806:
801:
797:
793:
789:
781:
773:
771:
764:
693:
647:
503:
485:
472:174.118.1.24
445:Double sharp
439:
395:Double sharp
360:Double sharp
337:
304:
300:
289:
218:
214:
211:
208:
186:
161:
137:Low-priority
136:
96:
62:Lowâpriority
40:WikiProjects
895:OfficialURL
862:OfficialURL
845:OfficialURL
727:Steelpillow
679:Steelpillow
616:Steelpillow
579:Steelpillow
531:Steelpillow
490:Steelpillow
413:Steelpillow
375:Steelpillow
324:Steelpillow
283:regular map
220:steelpillow
191:Steelpillow
164:âPreceding
112:Mathematics
103:mathematics
59:Mathematics
30:Start-class
915:Categories
817:tetrahedra
597:CW complex
464:Immersions
458:Immersions
205:Categories
158:layout bug
821:octahedra
778:hypercube
504:immersion
356:this page
248:Professor
833:16-cells
711:Tom Ruen
670:Tom Ruen
651:Tom Ruen
279:hemicube
254:Fiendish
166:unsigned
829:5-cells
745:Tamfang
545:locally
342:Maproom
309:Maproom
290:immerse
139:on the
831:and 5
819:and 4
36:scale.
767:WP:OR
656:See:
295:below
900:talk
877:talk
850:talk
749:talk
731:Talk
715:talk
700:talk
690:Wow!
660:and
620:Talk
606:talk
583:Talk
568:talk
535:Talk
520:talk
494:Talk
476:talk
449:talk
417:Talk
399:talk
379:Talk
364:talk
346:talk
328:Talk
313:talk
258:Esq.
195:talk
187:that
174:talk
131:Low
917::
902:)
879:)
852:)
751:)
733:)
717:)
702:)
664:.
622:)
608:)
585:)
570:)
537:)
522:)
496:)
478:)
451:)
443:.
419:)
401:)
381:)
366:)
358:.
348:)
338:is
330:)
315:)
307:.
256:,
251:M.
197:)
176:)
898:(
890::
886:@
875:(
864::
860:@
848:(
802:n
798:n
794:n
790:n
784:-
782:n
776:-
774:n
747:(
729:(
713:(
698:(
618:(
604:(
581:(
566:(
533:(
518:(
492:(
474:(
447:(
415:(
397:(
377:(
362:(
344:(
326:(
311:(
305:R
301:R
297:)
193:(
172:(
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.