{
  "native_dimensions": [
    3200,
    2100
  ],
  "ordered_composition": {
    "first": "u_g",
    "second": "v_g for Ad(u)alpha",
    "result": "v_g u_g"
  },
  "additive": {
    "M": "M2(C)",
    "alpha": "Ad(X^n)",
    "a": "Z",
    "orbit": [
      "0",
      "2Z"
    ],
    "fixed": "Z",
    "averages_even": "Z",
    "averages_odd": "(1-1/n)Z"
  },
  "noncentral_unitary": {
    "s": "1/20",
    "alpha": "Ad(Z^n)",
    "w": "exp(i s X)",
    "u_even": "I",
    "u_odd": "exp(2 i s X)",
    "fixed_hull_point": "cos(s) w",
    "polar_modulus": "cos(s) I",
    "plotted_coordinate": "positive eigenvalue in X basis; negative eigenvalue is conjugate",
    "u1_plus": [
      0.9950041652780258,
      0.09983341664682815
    ],
    "a_plus": [
      0.9975020826390129,
      0.04991670832341408
    ],
    "w_plus": [
      0.9987502603949663,
      0.04997916927067833
    ]
  },
  "central": {
    "M": "C^2",
    "alpha_generator": "coordinate swap",
    "k": [
      "1/20",
      "-1/20"
    ],
    "h_even": [
      "0",
      "0"
    ],
    "h_odd": [
      "1/10",
      "-1/10"
    ],
    "u_odd": [
      "exp(i/10)",
      "exp(-i/10)"
    ],
    "uniform_distance": "2 sin(1/20) < 1/10 < 1/4"
  },
  "numerical_scope": "The coordinate samples used to draw arcs are numerical; all objects and rational parameters are exact as stated."
}
