#include "a7p2-base0.c"

/* Root of $z^3+3z^2+3=0$ */
#define ZZ (-3.2790187861665935794914426057761899)

/* $\sqrt(-7)$ */
#define sqm7 (2.645751311064590590501615753639*I)


// We assume our unitary group preserves the form $\diag(1,1,-R_0^2)$;
// consequently it acts on the ball of radius $R0$ in $\CC^2$.

// R0 = 1
#define R0sq (1.0)
#define R0 (1.0)

// The form with respect to which the original, given matrices are
// unitary:
Mtx_t FF0=
  {{ 2, 0, 0},
   { 0, 0, 1},
   { 0, 1, 0}};

// We will conjugate the matrices of our group by:
Mtx_t ConjMtx=
  {{1,   0,    0},
   {0, 0.5,  0.5},
   {0, 0.5, -0.5}};
  
Mtx_t ConjMtxInv=
  {{1, 0,  0},
   {0, 1,  1},
   {0, 1, -1}};
// The form with respect to which matrices of the group are
// unitary after being conjugated
Mtx_t FF=
  {{ 1, 0,     0},
   { 0, 1,     0},
   { 0, 0, -R0sq}};


// Generators for (trivial) finite subgroup $K$

// The group $K$ itself
#define GpKSiz 1
Mtx_t GpK[GpKSiz];

/* Set up the matrices for the finite subgroup $K$ */
void MakeGpK() {
  int Ix,ir,ic;

  memcpy(GpK[0],Id3,sizeof(Mtx_t));
  return;
}
  
#include "a7p2-base.c"