row operation domains.json

{
  "state": "b>=0,r>=0,L=b+r",
  "endpoint_after_Rd_Ae": [
    "b+d>=0",
    "r-d+e>=0"
  ],
  "R_then_A_intermediate": "r-d>=0 in addition to endpoint conditions",
  "A_then_R_intermediate": "r+e>=0 in addition to endpoint conditions",
  "formal_composition": "R_d A_e = A_e R_d on unrestricted compatible coordinates",
  "source_admission": "Nonnegative intermediate coordinates do not make an unlisted source biography admitted."
}