// C39Padj.fe
// Adjoint of Schoen's C39(P) surface.
// genus 39 surface complementary to P surface


// Programmer: Ken Brakke, brakke@susqu.edu, http://www.susqu.edu

/* Commands:
   gogo - typical evolution
   showcube - cubic unit cell, as on web page
   transforms off - show just single fundamental region
   setcolor - to color one side yellow, as in my web page.

   To turn off showing all the edges in the graphics display,
      hit the "e" key in the graphics window.
*/

// good parameters, need c < a < b < 1
parameter asize = 0.216  // shape parameter, for period killing
parameter bsize = 0.47  // shape parameter, for period killing
parameter csize = 0.027  // shape parameter, for period killing

constraint 1 // mirror plane in adjoint
formula: y = z

// Constraints for use after adjoint transformation
parameter maxy = 0
parameter minz = 0
constraint 3 formula: y = maxy
constraint 4 formula: z = minz
constraint 5 formula: y = x
constraint 6 formula: x = 0
constraint 7 formula: y+z= 0

view_transform_generators 5
  0 1 0 0   1 0 0 0     0 0 1 0    0 0 0 1 // a: mirror on long curved edge
 swap_colors  // just for the next one
 -1 0 0 0   0 0 -1 0    0 -1 0 0   0 0 0 1 // b: C2 rotation on straight edge
 -1 0 0 -2  0 1 0 0     0 0 1 0    0 0 0 1 // c: mirror plane x = -1
  1 0 0 0   0 -1 0 -2   0 0 1 0    0 0 0 1 // d: mirror plane y = -1
  1 0 0 0   0 1 0 0     0 0 -1 -2  0 0 0 1 // e: mirror plane z = -1 (bottom edges)


vertices
1   0 0 0 fixed
2   -1 asize asize fixed
3   -1 bsize asize fixed
4   -1 bsize csize fixed
5   -1 1 csize fixed
6   -1 1 0 fixed

edges
1  1 2 constraint 1
2  2 3 fixed
3  3 4 fixed
4  4 5 fixed
5  5 6 fixed
6  6 1 fixed

faces
1  -6 -5 -4 -3 -2 -1

read
hessian_normal

// good evolution, getting lots of facets near vertex 2 cusp.
gg := { refine edge where valence == 1; g 5; r; g 10; u; V;
          refine vertex[2].edge where on_constraint 1; u; V; u; V; g5; hessian;hessian; 
          refine vertex[2].edge; u; V; u; V; g 5; hessian; hessian;
          r; g 5; u; V; u; g 5; hessian; hessian;
          refine vertex[2].edge where on_constraint 1; u; V; u; V; g5; hessian;hessian; 
          r; g 5; u; V; u; g 5; hessian; hessian;
          refine vertex[2].edge; g 5; V; u; V; u; V; u; V; hessian; hessian;
          r; g 5; u; V; u; g 5; hessian; hessian;
          refine vertex[2].edge ee where ee.length > .01; 
          g 5; V; u; V; hessian; hessian;
          refine edge where original==6; u; V;
          refine edge ee where (original==4 or original==6) and 
            max(ee.vertex,y) > .8; u; V; u; V;
          refine edge ee where max(ee.vertex,y) > .90 and ee.length > .01;
          u; V; u; V;
          refine edge ee where max(ee.vertex,y) > .95 and ee.length > .005;
          u; V; u; V;
          refine edge ee where max(ee.vertex,y) > .97 and ee.length > .004;
          refine vertex[2].edge ee where ee.length > .01;
          u; V; u; V; u; V; u; V;
          hessian; hessian;
        }

// Some distances in the adjoint
calc := {
          edge2dz := sum(edge ee where original==2,
           sum(ee.facet ff, ff.x*ee.y/sqrt(ff.x^2+ff.y^2+ff.z^2)));
          edge3dy := sum(edge ee where original==3,
           sum(ee.facet ff, ff.x*ee.z/sqrt(ff.x^2+ff.y^2+ff.z^2)));
          edge4dz := sum(edge ee where original==4,
           sum(ee.facet ff, ff.x*ee.y/sqrt(ff.x^2+ff.y^2+ff.z^2)));
          printf " edge2dz: %g   edge3dy: %g   edge4dz: %g\n",
              edge2dz,edge3dy,edge4dz;
        }

read "adjoint.cmd"
startvertex := 4;  // where adjoint should start

// Call this to do adjoint transformation!
adj := { unset vertex constraint 1; 
         unset edge constraint 1;
         adjoint;
//         hessian;
 //        frame; t .001; t .002;
       }

// Applying constraints after adjointing
frame := {
    unfix vertices; unfix edges;
    xoff := vertex[1].x; set vertex x x-xoff;
    yoff := vertex[1].y; set vertex y y-yoff;
    zoff := vertex[1].z; set vertex z z-zoff;
    maxy := max(vertex,y); set vertex x x/maxy; set vertex y  y/maxy; maxy := 1;
    minz := min(vertex,z); set vertex z z/(-minz); minz := -1;
    unfix vertices; unfix edges;
    foreach edge ee where original==1 do
    { fix ee.vertex; fix ee;
      set ee.vertex constraint 6; set ee.vertex constraint 7;
      set ee constraint 6; set ee constraint 7;
    };
    foreach edge ee where original==2 do
    { set ee constraint 3; set ee.vertex constraint 3; };
    foreach edge ee where original==3 do
    { set ee constraint 4; set ee.vertex constraint 4; };
    foreach edge ee where original==4 do
    { set ee constraint 3; set ee.vertex constraint 3; };
    foreach edge ee where original==5 do
    { set ee constraint 4; set ee.vertex constraint 4; };
    foreach edge ee where original==6 do
    { set ee constraint 5; set ee.vertex constraint 5; };
}



// To get true parameters after evolving after adjointing
true_beta := { printf "True beta:    %20.15f\n",
   1 - sum(edge where original == 4,length)*sqrt(2)/
                sum(edge where original==6,length); }
true_gamma := { printf "True gamma:    %20.15f\n",
   sum(edge where original == 5,length)*sqrt(2)/
                sum(edge where original==6,length); }
true_alpha := { printf "True alpha:    %20.15f\n",
   gamma + sum(edge where original == 3,length)*sqrt(2)/
                sum(edge where original==6,length); }
true:={true_alpha;true_beta;true_gamma}

// for displaying full cube
showcube := { transform_expr "cdeababab"; show_trans "R";}


setcolor := { set facet backcolor yellow; }


// for complete make of C39P.fe from scratch
gogo := { gg; adj; hessian; frame; t .001; g; hessian; hessian;
          }