{
  "model": {
    "M": "M_2(C)",
    "weight": "phi(x)=x_11",
    "support": [
      [
        1,
        0
      ],
      [
        0,
        0
      ]
    ]
  },
  "density": [
    [
      "exp(-q)",
      "0"
    ],
    [
      "0",
      "0"
    ]
  ],
  "powers": [
    [
      "exp(-i*t*q)",
      "0"
    ],
    [
      "0",
      "0"
    ]
  ],
  "supported_join": "{diag(F(q),0): F in L-infinity(R)}",
  "full_join": "{diag(F(q),G(q)): F,G in L-infinity(R)}",
  "canonical_trace": "integral Tr(Y(q))*exp(q) dq/(2*pi)",
  "dual_weight": "integral Y_11(q) dq/(2*pi)",
  "interval": {
    "original": [
      "0",
      "1"
    ],
    "translated": [
      "-log(2)",
      "1-log(2)"
    ],
    "convention": "left closed, right open"
  },
  "trace_values": {
    "original_exact": "(exp(1)-1)/(2*pi)",
    "translated_exact": "(exp(1)-1)/(4*pi)",
    "original_numeric": 0.2734730466242372,
    "translated_numeric": 0.1367365233121186
  },
  "dual_weight_both_exact": "1/(2*pi)",
  "partial_cocycle_diagnostic": {
    "B": [
      [
        2,
        1
      ],
      [
        1,
        2
      ]
    ],
    "t0": "pi/log(3)",
    "B_to_it0": [
      [
        0,
        -1
      ],
      [
        -1,
        0
      ]
    ],
    "u_t0": [
      [
        0,
        -1
      ],
      [
        0,
        0
      ]
    ],
    "initial_support": [
      [
        0,
        0
      ],
      [
        0,
        1
      ]
    ],
    "final_support": [
      [
        1,
        0
      ],
      [
        0,
        0
      ]
    ]
  },
  "proof_locators": [
    "SCW.7.f",
    "SCW.7.g",
    "SCW.7.h",
    "SCW.7.i",
    "SCW.7.j",
    "SCW.8.g",
    "SCW.8.h",
    "SCW.8.k",
    "SCW.8.l"
  ],
  "rendered_plot_is_a_finite_sample": true,
  "exact_integer_matrix_checks": "passed"
}