{
  "old_field": [
    "-a*b + b",
    "2*a*b - 2*b"
  ],
  "extended_field": [
    "-a*b + b",
    "-a*b - 2*b + private_0_1 + 2*private_0_2",
    "a*b - private_0_1",
    "private_0_1 - private_0_2"
  ],
  "old_equations_recovered": true,
  "transported_identity": "(a-1)b = new_b_derivative/2 + 3*private_1_derivative/2 + private_2_derivative",
  "quotient_scope": "Triangular elimination in the original steady-state ideal; no fast-release approximation.",
  "zero_divisor_candidates_old": {
    "status": "candidate_list_only",
    "order": [
      "b",
      "a"
    ],
    "basis": [
      "a*b - b"
    ],
    "leading_coefficients": [
      "a - 1"
    ],
    "candidates": [
      "1"
    ],
    "scope": "Completeness for zero-divisor values follows from the paper. A positive regular steady state is additionally sufficient for coverage of every ACR value; neither condition proves that a candidate is ACR."
  },
  "zero_divisor_candidates_extended": {
    "status": "candidate_list_only",
    "order": [
      "b",
      "private_0_1",
      "private_0_2",
      "a"
    ],
    "basis": [
      "b - private_0_2",
      "private_0_1 - private_0_2",
      "a*private_0_2 - private_0_2"
    ],
    "leading_coefficients": [
      "1",
      "1",
      "a - 1"
    ],
    "candidates": [
      "1"
    ],
    "scope": "Completeness for zero-divisor values follows from the paper. A positive regular steady state is additionally sufficient for coverage of every ACR value; neither condition proves that a candidate is ACR."
  }
}