{
  "group": "Z/4Z",
  "primal_Haar_atom": 1,
  "dual_Haar_atom": "1/4",
  "f": [
    "1",
    "i",
    "-1",
    "0"
  ],
  "negative_transform": [
    "i",
    "3",
    "-i",
    "1"
  ],
  "Bochner_atoms": [
    "1/4",
    "9/4",
    "1/4",
    "1/4"
  ],
  "p": [
    "3",
    "2i",
    "-2",
    "-2i"
  ],
  "energy": 3,
  "identities": "Exact Gaussian integer matrix multiplication, not rounded evidence for an infinite-dimensional theorem."
}