commit 72b93c08053b666ab57441d0e02d3354f846e786
Author: Leszek Koltunski <leszek@koltunski.pl>
Date:   Fri Dec 11 23:16:29 2020 +0100

    Progress with the Rex Cube (rounding corners)

diff --git a/src/main/java/org/distorted/objects/FactoryCubit.java b/src/main/java/org/distorted/objects/FactoryCubit.java
index c5702f54..736db65c 100644
--- a/src/main/java/org/distorted/objects/FactoryCubit.java
+++ b/src/main/java/org/distorted/objects/FactoryCubit.java
@@ -1514,10 +1514,14 @@ class FactoryCubit
     VertexEffect[] effects = createVertexEffectsRexCorner();
     for( VertexEffect effect : effects ) mesh.apply(effect);
 
-    Static3D center = new Static3D(0.0f,0.0f,-0.25f);
+    final float F = (0.5f-REX_D)*SQ2*(SQ3-1);
+    final float H = F*SQ3/3;
+    final float G = H*SQ2/2;
+
+    Static3D center = new Static3D(0.0f,0.0f,-H);
     Static3D[] vertices = new Static3D[1];
-    vertices[0] = new Static3D(+0.25f,+0.25f,+0.0f);
-    roundCorners(mesh,center,vertices,0.03f,0.10f);
+    vertices[0] = new Static3D(+G,-G,+0.0f);
+    roundCorners(mesh,center,vertices,0.12f,0.15f);
 
     mesh.mergeEffComponents();
     mesh.addEmptyTexComponent();
@@ -1551,7 +1555,7 @@ class FactoryCubit
     Static3D[] vertices = new Static3D[2];
     vertices[0] = new Static3D(+0.5f,+0.0f,+0.0f);
     vertices[1] = new Static3D(-0.5f,+0.0f,+0.0f);
-    roundCorners(mesh,center,vertices,0.03f,0.10f);
+    roundCorners(mesh,center,vertices,0.08f,0.15f);
 
     mesh.mergeEffComponents();