{
  "group": "R semidirect {+1,-1}",
  "multiplication": "(b,epsilon)(a,delta)=(b+epsilon*a,epsilon*delta)",
  "base_pieces": [
    [
      "-1",
      "0"
    ],
    [
      "0",
      "1"
    ]
  ],
  "base_endpoints": "open",
  "base_probability_density": "1/2",
  "compact_B": [
    [
      "-17/20",
      "-13/20"
    ],
    [
      "2/5",
      "3/5"
    ]
  ],
  "field": "c(y)=y on (-1,0); c(y)=y+1 on (0,1)",
  "stabilizer": "H_y={(0,+1),(2c(y),-1)}",
  "coset_coordinate": "p=b+epsilon*c(y)",
  "samples": [
    {
      "y": "-3/4",
      "c": "-3/4",
      "p": "1/2",
      "nonidentity_stabilizer": [
        "-3/2",
        -1
      ],
      "representatives": [
        [
          "5/4",
          1
        ],
        [
          "-1/4",
          -1
        ]
      ]
    },
    {
      "y": "1/2",
      "c": "3/2",
      "p": "1/2",
      "nonidentity_stabilizer": [
        "3",
        -1
      ],
      "representatives": [
        [
          "-1",
          1
        ],
        [
          "2",
          -1
        ]
      ]
    }
  ],
  "transporter": {
    "R": "1",
    "a_interval": [
      "-2",
      "2"
    ],
    "signs": [
      1,
      -1
    ],
    "formula": "a=q-delta*p"
  },
  "probability_density_on_bundle": "(1/4)*exp(-abs(p)) dy dp",
  "proof_locators": "OA-FLOW-L71.md, P19-P26 and P41-P46",
  "terms": "CC0-1.0 original diagram/code/data; accompanying font terms retained"
}