Intraocular lens power calculation

k₃₁ dimensional figures

n	4	5	6	7	8	9
Coxeter group	A3×A1	A5	D6	E7	${\tilde {E}}_{7}$ = E7+	E7++
Coxeter diagram	Template:CDD	Template:CDD	Template:CDD	Template:CDD	Template:CDD	Template:CDD
Symmetry (order)	[3-1,3,1] (48)	[30,3,1] (720)	[31,3,1] (23,040)	[32,3,1] (2,903,040)	[33,3,1] (∞)	[34,3,1] (∞)
Graph					∞	∞
Name	−131	031	131	231	331	431