include("/home/bitnami/htdocs/websites/abstract-polytopes/www/subs.php"); ?>
Polytope of Type {10}
This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {10}*20
Also Known As : decagon, {10}. if this polytope has another name.
Group : SmallGroup(20,4)
Rank : 2
Schlafli Type : {10}
Number of vertices, edges, etc : 10, 10
Order of s0s1 : 10
Special Properties :
Universal
Spherical
Locally Spherical
Orientable
Self-Dual
Related Polytopes :
Facet
Vertex Figure
Dual
Facet Of :
{10,2} of size 40
{10,4} of size 80
{10,5} of size 100
{10,3} of size 120
{10,3} of size 120
{10,5} of size 120
{10,5} of size 120
{10,6} of size 120
{10,8} of size 160
{10,4} of size 200
{10,10} of size 200
{10,10} of size 200
{10,10} of size 200
{10,12} of size 240
{10,4} of size 240
{10,4} of size 240
{10,6} of size 240
{10,6} of size 240
{10,3} of size 240
{10,5} of size 240
{10,6} of size 240
{10,6} of size 240
{10,6} of size 240
{10,6} of size 240
{10,10} of size 240
{10,10} of size 240
{10,10} of size 240
{10,10} of size 240
{10,14} of size 280
{10,3} of size 300
{10,6} of size 300
{10,15} of size 300
{10,16} of size 320
{10,5} of size 320
{10,4} of size 320
{10,4} of size 320
{10,5} of size 320
{10,18} of size 360
{10,3} of size 360
{10,15} of size 360
{10,20} of size 400
{10,20} of size 400
{10,20} of size 400
{10,4} of size 400
{10,22} of size 440
{10,24} of size 480
{10,6} of size 480
{10,4} of size 480
{10,4} of size 480
{10,12} of size 480
{10,12} of size 480
{10,12} of size 480
{10,12} of size 480
{10,20} of size 480
{10,20} of size 480
{10,4} of size 480
{10,6} of size 480
{10,6} of size 480
{10,10} of size 480
{10,25} of size 500
{10,5} of size 500
{10,10} of size 500
{10,26} of size 520
{10,28} of size 560
{10,5} of size 600
{10,15} of size 600
{10,6} of size 600
{10,6} of size 600
{10,12} of size 600
{10,30} of size 600
{10,30} of size 600
{10,30} of size 600
{10,32} of size 640
{10,5} of size 640
{10,8} of size 640
{10,8} of size 640
{10,8} of size 640
{10,8} of size 640
{10,10} of size 640
{10,10} of size 640
{10,10} of size 640
{10,4} of size 640
{10,4} of size 640
{10,10} of size 640
{10,34} of size 680
{10,35} of size 700
{10,36} of size 720
{10,3} of size 720
{10,4} of size 720
{10,5} of size 720
{10,8} of size 720
{10,8} of size 720
{10,10} of size 720
{10,10} of size 720
{10,6} of size 720
{10,12} of size 720
{10,3} of size 720
{10,6} of size 720
{10,6} of size 720
{10,15} of size 720
{10,30} of size 720
{10,30} of size 720
{10,38} of size 760
{10,40} of size 800
{10,40} of size 800
{10,40} of size 800
{10,8} of size 800
{10,21} of size 840
{10,35} of size 840
{10,42} of size 840
{10,44} of size 880
{10,9} of size 900
{10,18} of size 900
{10,45} of size 900
{10,46} of size 920
{10,48} of size 960
{10,8} of size 960
{10,8} of size 960
{10,24} of size 960
{10,24} of size 960
{10,24} of size 960
{10,24} of size 960
{10,40} of size 960
{10,40} of size 960
{10,6} of size 960
{10,8} of size 960
{10,8} of size 960
{10,12} of size 960
{10,4} of size 960
{10,12} of size 960
{10,12} of size 960
{10,20} of size 960
{10,12} of size 960
{10,20} of size 960
{10,6} of size 960
{10,10} of size 960
{10,12} of size 960
{10,15} of size 960
{10,4} of size 1000
{10,20} of size 1000
{10,20} of size 1000
{10,20} of size 1000
{10,20} of size 1000
{10,50} of size 1000
{10,50} of size 1000
{10,10} of size 1000
{10,10} of size 1000
{10,10} of size 1000
{10,20} of size 1000
{10,10} of size 1000
{10,52} of size 1040
{10,54} of size 1080
{10,9} of size 1080
{10,45} of size 1080
{10,55} of size 1100
{10,56} of size 1120
{10,58} of size 1160
{10,12} of size 1200
{10,12} of size 1200
{10,60} of size 1200
{10,60} of size 1200
{10,60} of size 1200
{10,20} of size 1200
{10,30} of size 1200
{10,5} of size 1200
{10,5} of size 1200
{10,6} of size 1200
{10,6} of size 1200
{10,10} of size 1200
{10,10} of size 1200
{10,10} of size 1200
{10,10} of size 1200
{10,15} of size 1200
{10,15} of size 1200
{10,30} of size 1200
{10,30} of size 1200
{10,12} of size 1200
{10,62} of size 1240
{10,64} of size 1280
{10,8} of size 1280
{10,8} of size 1280
{10,20} of size 1280
{10,20} of size 1280
{10,4} of size 1280
{10,20} of size 1280
{10,8} of size 1280
{10,10} of size 1280
{10,4} of size 1280
{10,8} of size 1280
{10,20} of size 1280
{10,20} of size 1280
{10,4} of size 1280
{10,8} of size 1280
{10,8} of size 1280
{10,10} of size 1280
{10,10} of size 1280
{10,20} of size 1280
{10,65} of size 1300
{10,3} of size 1320
{10,3} of size 1320
{10,4} of size 1320
{10,4} of size 1320
{10,5} of size 1320
{10,5} of size 1320
{10,6} of size 1320
{10,6} of size 1320
{10,10} of size 1320
{10,10} of size 1320
{10,10} of size 1320
{10,10} of size 1320
{10,11} of size 1320
{10,11} of size 1320
{10,12} of size 1320
{10,12} of size 1320
{10,12} of size 1320
{10,12} of size 1320
{10,5} of size 1320
{10,5} of size 1320
{10,6} of size 1320
{10,6} of size 1320
{10,6} of size 1320
{10,6} of size 1320
{10,33} of size 1320
{10,55} of size 1320
{10,66} of size 1320
{10,68} of size 1360
{10,28} of size 1400
{10,70} of size 1400
{10,70} of size 1400
{10,70} of size 1400
{10,72} of size 1440
{10,12} of size 1440
{10,12} of size 1440
{10,12} of size 1440
{10,12} of size 1440
{10,12} of size 1440
{10,12} of size 1440
{10,60} of size 1440
{10,60} of size 1440
{10,4} of size 1440
{10,8} of size 1440
{10,8} of size 1440
{10,6} of size 1440
{10,6} of size 1440
{10,3} of size 1440
{10,4} of size 1440
{10,4} of size 1440
{10,4} of size 1440
{10,4} of size 1440
{10,4} of size 1440
{10,5} of size 1440
{10,5} of size 1440
{10,6} of size 1440
{10,6} of size 1440
{10,8} of size 1440
{10,8} of size 1440
{10,8} of size 1440
{10,8} of size 1440
{10,8} of size 1440
{10,8} of size 1440
{10,8} of size 1440
{10,8} of size 1440
{10,8} of size 1440
{10,8} of size 1440
{10,10} of size 1440
{10,10} of size 1440
{10,10} of size 1440
{10,10} of size 1440
{10,10} of size 1440
{10,10} of size 1440
{10,10} of size 1440
{10,10} of size 1440
{10,10} of size 1440
{10,10} of size 1440
{10,6} of size 1440
{10,12} of size 1440
{10,6} of size 1440
{10,30} of size 1440
{10,74} of size 1480
{10,3} of size 1500
{10,6} of size 1500
{10,15} of size 1500
{10,15} of size 1500
{10,15} of size 1500
{10,15} of size 1500
{10,30} of size 1500
{10,30} of size 1500
{10,30} of size 1500
{10,30} of size 1500
{10,75} of size 1500
{10,15} of size 1500
{10,30} of size 1500
{10,6} of size 1500
{10,15} of size 1500
{10,15} of size 1500
{10,30} of size 1500
{10,76} of size 1520
{10,39} of size 1560
{10,65} of size 1560
{10,78} of size 1560
{10,80} of size 1600
{10,80} of size 1600
{10,80} of size 1600
{10,16} of size 1600
{10,5} of size 1600
{10,20} of size 1600
{10,5} of size 1620
{10,6} of size 1620
{10,82} of size 1640
{10,84} of size 1680
{10,28} of size 1680
{10,42} of size 1680
{10,21} of size 1680
{10,35} of size 1680
{10,42} of size 1680
{10,42} of size 1680
{10,70} of size 1680
{10,70} of size 1680
{10,85} of size 1700
{10,86} of size 1720
{10,88} of size 1760
{10,18} of size 1800
{10,18} of size 1800
{10,36} of size 1800
{10,90} of size 1800
{10,90} of size 1800
{10,90} of size 1800
{10,15} of size 1800
{10,15} of size 1800
{10,92} of size 1840
{10,94} of size 1880
{10,95} of size 1900
{10,96} of size 1920
{10,15} of size 1920
{10,24} of size 1920
{10,24} of size 1920
{10,30} of size 1920
{10,12} of size 1920
{10,30} of size 1920
{10,16} of size 1920
{10,16} of size 1920
{10,48} of size 1920
{10,48} of size 1920
{10,48} of size 1920
{10,48} of size 1920
{10,80} of size 1920
{10,80} of size 1920
{10,8} of size 1920
{10,24} of size 1920
{10,24} of size 1920
{10,40} of size 1920
{10,8} of size 1920
{10,12} of size 1920
{10,4} of size 1920
{10,24} of size 1920
{10,12} of size 1920
{10,20} of size 1920
{10,24} of size 1920
{10,40} of size 1920
{10,6} of size 1920
{10,10} of size 1920
{10,5} of size 1920
{10,5} of size 1920
{10,6} of size 1920
{10,6} of size 1920
{10,6} of size 1920
{10,6} of size 1920
{10,5} of size 1920
{10,5} of size 1920
{10,98} of size 1960
{10,100} of size 2000
{10,100} of size 2000
{10,20} of size 2000
{10,20} of size 2000
{10,20} of size 2000
{10,4} of size 2000
{10,20} of size 2000
{10,20} of size 2000
{10,20} of size 2000
{10,20} of size 2000
{10,20} of size 2000
{10,4} of size 2000
{10,20} of size 2000
{10,20} of size 2000
Vertex Figure Of :
{2,10} of size 40
{4,10} of size 80
{5,10} of size 100
{3,10} of size 120
{3,10} of size 120
{5,10} of size 120
{5,10} of size 120
{6,10} of size 120
{8,10} of size 160
{4,10} of size 200
{10,10} of size 200
{10,10} of size 200
{10,10} of size 200
{12,10} of size 240
{4,10} of size 240
{4,10} of size 240
{6,10} of size 240
{6,10} of size 240
{3,10} of size 240
{5,10} of size 240
{6,10} of size 240
{6,10} of size 240
{6,10} of size 240
{6,10} of size 240
{10,10} of size 240
{10,10} of size 240
{10,10} of size 240
{10,10} of size 240
{14,10} of size 280
{3,10} of size 300
{6,10} of size 300
{15,10} of size 300
{16,10} of size 320
{5,10} of size 320
{4,10} of size 320
{4,10} of size 320
{5,10} of size 320
{18,10} of size 360
{3,10} of size 360
{15,10} of size 360
{20,10} of size 400
{20,10} of size 400
{20,10} of size 400
{4,10} of size 400
{22,10} of size 440
{24,10} of size 480
{6,10} of size 480
{4,10} of size 480
{4,10} of size 480
{12,10} of size 480
{12,10} of size 480
{12,10} of size 480
{12,10} of size 480
{20,10} of size 480
{20,10} of size 480
{4,10} of size 480
{6,10} of size 480
{6,10} of size 480
{10,10} of size 480
{25,10} of size 500
{5,10} of size 500
{10,10} of size 500
{26,10} of size 520
{28,10} of size 560
{5,10} of size 600
{15,10} of size 600
{6,10} of size 600
{6,10} of size 600
{12,10} of size 600
{30,10} of size 600
{30,10} of size 600
{30,10} of size 600
{32,10} of size 640
{5,10} of size 640
{8,10} of size 640
{8,10} of size 640
{8,10} of size 640
{8,10} of size 640
{10,10} of size 640
{10,10} of size 640
{10,10} of size 640
{4,10} of size 640
{4,10} of size 640
{10,10} of size 640
{34,10} of size 680
{35,10} of size 700
{36,10} of size 720
{3,10} of size 720
{4,10} of size 720
{5,10} of size 720
{8,10} of size 720
{8,10} of size 720
{10,10} of size 720
{10,10} of size 720
{6,10} of size 720
{12,10} of size 720
{3,10} of size 720
{6,10} of size 720
{6,10} of size 720
{15,10} of size 720
{30,10} of size 720
{30,10} of size 720
{38,10} of size 760
{40,10} of size 800
{40,10} of size 800
{40,10} of size 800
{8,10} of size 800
{21,10} of size 840
{35,10} of size 840
{42,10} of size 840
{44,10} of size 880
{9,10} of size 900
{18,10} of size 900
{45,10} of size 900
{46,10} of size 920
{48,10} of size 960
{8,10} of size 960
{8,10} of size 960
{24,10} of size 960
{24,10} of size 960
{24,10} of size 960
{24,10} of size 960
{40,10} of size 960
{40,10} of size 960
{6,10} of size 960
{8,10} of size 960
{8,10} of size 960
{12,10} of size 960
{4,10} of size 960
{12,10} of size 960
{12,10} of size 960
{20,10} of size 960
{12,10} of size 960
{20,10} of size 960
{6,10} of size 960
{10,10} of size 960
{12,10} of size 960
{15,10} of size 960
{4,10} of size 1000
{20,10} of size 1000
{20,10} of size 1000
{20,10} of size 1000
{20,10} of size 1000
{50,10} of size 1000
{50,10} of size 1000
{10,10} of size 1000
{10,10} of size 1000
{10,10} of size 1000
{20,10} of size 1000
{10,10} of size 1000
{52,10} of size 1040
{54,10} of size 1080
{9,10} of size 1080
{45,10} of size 1080
{55,10} of size 1100
{56,10} of size 1120
{58,10} of size 1160
{12,10} of size 1200
{12,10} of size 1200
{60,10} of size 1200
{60,10} of size 1200
{60,10} of size 1200
{20,10} of size 1200
{30,10} of size 1200
{5,10} of size 1200
{5,10} of size 1200
{6,10} of size 1200
{6,10} of size 1200
{10,10} of size 1200
{10,10} of size 1200
{10,10} of size 1200
{10,10} of size 1200
{15,10} of size 1200
{15,10} of size 1200
{30,10} of size 1200
{30,10} of size 1200
{12,10} of size 1200
{62,10} of size 1240
{64,10} of size 1280
{8,10} of size 1280
{8,10} of size 1280
{20,10} of size 1280
{20,10} of size 1280
{4,10} of size 1280
{20,10} of size 1280
{8,10} of size 1280
{10,10} of size 1280
{4,10} of size 1280
{8,10} of size 1280
{20,10} of size 1280
{20,10} of size 1280
{4,10} of size 1280
{8,10} of size 1280
{8,10} of size 1280
{10,10} of size 1280
{10,10} of size 1280
{20,10} of size 1280
{65,10} of size 1300
{3,10} of size 1320
{3,10} of size 1320
{4,10} of size 1320
{4,10} of size 1320
{5,10} of size 1320
{5,10} of size 1320
{6,10} of size 1320
{6,10} of size 1320
{10,10} of size 1320
{10,10} of size 1320
{10,10} of size 1320
{10,10} of size 1320
{11,10} of size 1320
{11,10} of size 1320
{12,10} of size 1320
{12,10} of size 1320
{12,10} of size 1320
{12,10} of size 1320
{5,10} of size 1320
{5,10} of size 1320
{6,10} of size 1320
{6,10} of size 1320
{6,10} of size 1320
{6,10} of size 1320
{33,10} of size 1320
{55,10} of size 1320
{66,10} of size 1320
{68,10} of size 1360
{28,10} of size 1400
{70,10} of size 1400
{70,10} of size 1400
{70,10} of size 1400
{72,10} of size 1440
{12,10} of size 1440
{12,10} of size 1440
{12,10} of size 1440
{12,10} of size 1440
{12,10} of size 1440
{12,10} of size 1440
{60,10} of size 1440
{60,10} of size 1440
{4,10} of size 1440
{8,10} of size 1440
{8,10} of size 1440
{6,10} of size 1440
{6,10} of size 1440
{3,10} of size 1440
{4,10} of size 1440
{4,10} of size 1440
{4,10} of size 1440
{4,10} of size 1440
{4,10} of size 1440
{5,10} of size 1440
{5,10} of size 1440
{6,10} of size 1440
{6,10} of size 1440
{8,10} of size 1440
{8,10} of size 1440
{8,10} of size 1440
{8,10} of size 1440
{8,10} of size 1440
{8,10} of size 1440
{8,10} of size 1440
{8,10} of size 1440
{8,10} of size 1440
{8,10} of size 1440
{10,10} of size 1440
{10,10} of size 1440
{10,10} of size 1440
{10,10} of size 1440
{10,10} of size 1440
{10,10} of size 1440
{10,10} of size 1440
{10,10} of size 1440
{10,10} of size 1440
{10,10} of size 1440
{6,10} of size 1440
{12,10} of size 1440
{6,10} of size 1440
{30,10} of size 1440
{74,10} of size 1480
{3,10} of size 1500
{6,10} of size 1500
{15,10} of size 1500
{15,10} of size 1500
{15,10} of size 1500
{15,10} of size 1500
{30,10} of size 1500
{30,10} of size 1500
{30,10} of size 1500
{30,10} of size 1500
{75,10} of size 1500
{15,10} of size 1500
{30,10} of size 1500
{6,10} of size 1500
{15,10} of size 1500
{15,10} of size 1500
{30,10} of size 1500
{76,10} of size 1520
{39,10} of size 1560
{65,10} of size 1560
{78,10} of size 1560
{80,10} of size 1600
{80,10} of size 1600
{80,10} of size 1600
{16,10} of size 1600
{5,10} of size 1600
{20,10} of size 1600
{5,10} of size 1620
{6,10} of size 1620
{82,10} of size 1640
{84,10} of size 1680
{28,10} of size 1680
{42,10} of size 1680
{21,10} of size 1680
{35,10} of size 1680
{42,10} of size 1680
{42,10} of size 1680
{70,10} of size 1680
{70,10} of size 1680
{85,10} of size 1700
{86,10} of size 1720
{88,10} of size 1760
{18,10} of size 1800
{18,10} of size 1800
{36,10} of size 1800
{90,10} of size 1800
{90,10} of size 1800
{90,10} of size 1800
{15,10} of size 1800
{15,10} of size 1800
{92,10} of size 1840
{94,10} of size 1880
{95,10} of size 1900
{96,10} of size 1920
{15,10} of size 1920
{24,10} of size 1920
{24,10} of size 1920
{30,10} of size 1920
{12,10} of size 1920
{30,10} of size 1920
{16,10} of size 1920
{16,10} of size 1920
{48,10} of size 1920
{48,10} of size 1920
{48,10} of size 1920
{48,10} of size 1920
{80,10} of size 1920
{80,10} of size 1920
{8,10} of size 1920
{24,10} of size 1920
{24,10} of size 1920
{40,10} of size 1920
{8,10} of size 1920
{12,10} of size 1920
{4,10} of size 1920
{24,10} of size 1920
{12,10} of size 1920
{20,10} of size 1920
{24,10} of size 1920
{40,10} of size 1920
{6,10} of size 1920
{10,10} of size 1920
{5,10} of size 1920
{5,10} of size 1920
{6,10} of size 1920
{6,10} of size 1920
{6,10} of size 1920
{6,10} of size 1920
{5,10} of size 1920
{5,10} of size 1920
{98,10} of size 1960
{100,10} of size 2000
{100,10} of size 2000
{20,10} of size 2000
{20,10} of size 2000
{20,10} of size 2000
{4,10} of size 2000
{20,10} of size 2000
{20,10} of size 2000
{20,10} of size 2000
{20,10} of size 2000
{20,10} of size 2000
{4,10} of size 2000
{20,10} of size 2000
{20,10} of size 2000
Quotients (Maximal Quotients in Boldface) :
2-fold quotients : {5}*10
5-fold quotients : {2}*4
Covers (Minimal Covers in Boldface) :
2-fold covers : {20}*40
3-fold covers : {30}*60
4-fold covers : {40}*80
5-fold covers : {50}*100
6-fold covers : {60}*120
7-fold covers : {70}*140
8-fold covers : {80}*160
9-fold covers : {90}*180
10-fold covers : {100}*200
11-fold covers : {110}*220
12-fold covers : {120}*240
13-fold covers : {130}*260
14-fold covers : {140}*280
15-fold covers : {150}*300
16-fold covers : {160}*320
17-fold covers : {170}*340
18-fold covers : {180}*360
19-fold covers : {190}*380
20-fold covers : {200}*400
21-fold covers : {210}*420
22-fold covers : {220}*440
23-fold covers : {230}*460
24-fold covers : {240}*480
25-fold covers : {250}*500
26-fold covers : {260}*520
27-fold covers : {270}*540
28-fold covers : {280}*560
29-fold covers : {290}*580
30-fold covers : {300}*600
31-fold covers : {310}*620
32-fold covers : {320}*640
33-fold covers : {330}*660
34-fold covers : {340}*680
35-fold covers : {350}*700
36-fold covers : {360}*720
37-fold covers : {370}*740
38-fold covers : {380}*760
39-fold covers : {390}*780
40-fold covers : {400}*800
41-fold covers : {410}*820
42-fold covers : {420}*840
43-fold covers : {430}*860
44-fold covers : {440}*880
45-fold covers : {450}*900
46-fold covers : {460}*920
47-fold covers : {470}*940
48-fold covers : {480}*960
49-fold covers : {490}*980
50-fold covers : {500}*1000
51-fold covers : {510}*1020
52-fold covers : {520}*1040
53-fold covers : {530}*1060
54-fold covers : {540}*1080
55-fold covers : {550}*1100
56-fold covers : {560}*1120
57-fold covers : {570}*1140
58-fold covers : {580}*1160
59-fold covers : {590}*1180
60-fold covers : {600}*1200
61-fold covers : {610}*1220
62-fold covers : {620}*1240
63-fold covers : {630}*1260
64-fold covers : {640}*1280
65-fold covers : {650}*1300
66-fold covers : {660}*1320
67-fold covers : {670}*1340
68-fold covers : {680}*1360
69-fold covers : {690}*1380
70-fold covers : {700}*1400
71-fold covers : {710}*1420
72-fold covers : {720}*1440
73-fold covers : {730}*1460
74-fold covers : {740}*1480
75-fold covers : {750}*1500
76-fold covers : {760}*1520
77-fold covers : {770}*1540
78-fold covers : {780}*1560
79-fold covers : {790}*1580
80-fold covers : {800}*1600
81-fold covers : {810}*1620
82-fold covers : {820}*1640
83-fold covers : {830}*1660
84-fold covers : {840}*1680
85-fold covers : {850}*1700
86-fold covers : {860}*1720
87-fold covers : {870}*1740
88-fold covers : {880}*1760
89-fold covers : {890}*1780
90-fold covers : {900}*1800
91-fold covers : {910}*1820
92-fold covers : {920}*1840
93-fold covers : {930}*1860
94-fold covers : {940}*1880
95-fold covers : {950}*1900
96-fold covers : {960}*1920
97-fold covers : {970}*1940
98-fold covers : {980}*1960
99-fold covers : {990}*1980
100-fold covers : {1000}*2000
Permutation Representation (GAP) :
s0 := ( 3, 4)( 5, 6)( 7, 8)( 9,10);;
s1 := ( 1, 5)( 2, 3)( 4, 9)( 6, 7)( 8,10);;
poly := Group([s0,s1]);;
Finitely Presented Group Representation (GAP) :
F := FreeGroup("s0","s1");;
s0 := F.1;; s1 := F.2;;
rels := [ s0*s0, s1*s1, s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1 ];;
poly := F / rels;;
Permutation Representation (Magma) :
s0 := Sym(10)!( 3, 4)( 5, 6)( 7, 8)( 9,10);
s1 := Sym(10)!( 1, 5)( 2, 3)( 4, 9)( 6, 7)( 8,10);
poly := sub<Sym(10)|s0,s1>;
Finitely Presented Group Representation (Magma) :
poly<s0,s1> := Group< s0,s1 | s0*s0, s1*s1, s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1 >;
References : None.
to this polytope