[
  {
    "name": "boundary_adds_candidate",
    "status": "candidate_list_only",
    "order": [
      "b",
      "c",
      "a"
    ],
    "basis": [
      "a*c + b - 3*c",
      "a**2*c - 5*a*c + 6*c"
    ],
    "leading_coefficients": [
      "1",
      "a**2 - 5*a + 6"
    ],
    "candidates": [
      "2",
      "3"
    ],
    "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.",
    "positive_geometry": "(2,tau,tau), tau>0: ACR a=2",
    "identity_at_positive_point": [
      "0",
      "0",
      "0"
    ]
  },
  {
    "name": "nonpositive_point_supplies_only_candidate",
    "status": "candidate_list_only",
    "order": [
      "b",
      "c",
      "d",
      "a"
    ],
    "basis": [
      "-a**2 + b**2",
      "-a**2 + a*b + a - b",
      "-a**2 + c",
      "-a**2 + d"
    ],
    "leading_coefficients": [
      "1",
      "a - 1",
      "1",
      "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.",
    "positive_geometry": "(tau,tau,tau^2,tau^2), tau>0: no ACR",
    "identity_at_positive_point": [
      "0",
      "0",
      "0",
      "0"
    ]
  }
]