{
  "version": "schemaxis.workflow.plan/2",
  "operations": [
    {
      "id": "roots",
      "provisionalPlan": {
        "version": "schemaxis.sympy.plan/1",
        "operation": "isolateRealRoots",
        "coefficients": [
          "1",
          "0",
          "-2"
        ],
        "coefficientOrder": "descending powers: first entry multiplies x^degree",
        "degree": 2,
        "maximumIntervalWidth": "1/1000",
        "publications": [
          "real-roots.csv",
          "roots-summary.json",
          "roots-verification.json"
        ],
        "limits": {
          "minDegree": 1,
          "maxDegree": 12,
          "maxCoefficientDigits": 40,
          "maxPublishedDigits": 400,
          "minimumWidth": "1/1000000000000000000000000000000",
          "maximumWidth": "1"
        },
        "runtime": "SymPy 1.14.0",
        "losses": [
          "Only literal exact rational coefficients are accepted; there is no expression parser, decimal, symbol, float or radical input.",
          "Real roots only, as closed rational isolating intervals with multiplicity; complex roots are counted, never located.",
          "Intervals are not decimal approximations: an exact point interval means the root is that rational number.",
          "The certificate proves isolation, completeness, width and multiplicity for the stated polynomial; it states nothing about the numerical conditioning of the source problem that produced the coefficients.",
          "Degree 1 to 12, coefficient numerators and denominators of at most 40 digits, width within [1e-30, 1].",
          "Exactly SymPy 1.14.0 is qualified; other releases are refused rather than assumed compatible."
        ]
      }
    }
  ],
  "budget": {
    "maxWorkers": 1,
    "cpus": 20,
    "memoryMB": 8192,
    "gpus": 1
  },
  "jobs": [
    {
      "id": "roots/0",
      "operation": "roots",
      "batch": 0,
      "timeIndices": null,
      "document": {
        "version": "schemaxis.sympy/1",
        "operation": "isolateRealRoots",
        "coefficients": [
          "1",
          "0",
          "-2"
        ],
        "maximumIntervalWidth": "1/1000"
      },
      "dependencies": [],
      "resources": {
        "threads": 1,
        "ranks": 1,
        "cpus": 1,
        "memoryMB": 1024,
        "gpus": 0
      }
    }
  ]
}