{
  "proof": "NORMAL_WEIGHT_SUM_PROOF.md#oa-flow.weight-sum.ws6",
  "equations": [
    "WS19",
    "WS20"
  ],
  "dimension": 2,
  "algebra": "M_2(C)",
  "e": [
    [
      1,
      0
    ],
    [
      0,
      0
    ]
  ],
  "q": [
    [
      0,
      0
    ],
    [
      0,
      1
    ]
  ],
  "gns": {
    "finite_ideal": "M e",
    "Lambda_x": "x delta_1",
    "H": "C^2",
    "pi": "identity"
  },
  "functionals": {
    "g": "a_11",
    "h_n": "a_22 for every n>=1",
    "t_g": "I_H",
    "t_h_n": "0"
  },
  "samples": [
    {
      "a": [
        [
          1,
          0
        ],
        [
          0,
          0
        ]
      ],
      "g": 1,
      "sum_h": 0,
      "phi": 1
    },
    {
      "a": [
        [
          0,
          0
        ],
        [
          0,
          1
        ]
      ],
      "g": 0,
      "sum_h": "infinity",
      "phi": "infinity"
    },
    {
      "a": [
        [
          1,
          0
        ],
        [
          0,
          1
        ]
      ],
      "g": 1,
      "sum_h": "infinity",
      "phi": "infinity"
    },
    {
      "a": [
        [
          1,
          1
        ],
        [
          1,
          1
        ]
      ],
      "g": 1,
      "sum_h": "infinity",
      "phi": "infinity"
    }
  ],
  "scope": "proved nonsemifinite matrix example; no assertion of WS-FR or the general sum theorem",
  "license": "CC0-1.0 to the extent of rights held"
}