{
  "schema": "AN02-CO046-original-figure-geometry/v1",
  "support_diagram": {
    "schematic_only": true,
    "zero_section": "y=0",
    "cutoff_rectangle": [
      -2.75,
      -1.55,
      5.5,
      3.1
    ],
    "original_ellipse": [
      0,
      0,
      3.45,
      1.45,
      12
    ],
    "schematic_A_segment": [
      -1.5737273376449106,
      1.5737273376449106
    ],
    "A_segment_exact_rule": "half=(cos(12deg)^2/(3.45/2)^2+sin(12deg)^2/(1.45/2)^2)^(-1/2)",
    "corrected_schematic_ellipses": [
      [
        -0.5,
        0.92,
        2.55,
        0.67,
        8
      ],
      [
        0.65,
        -0.94,
        2.4,
        0.65,
        -8
      ]
    ],
    "pointwise_corrected_support_formula_claimed": false,
    "uniform_radius_at_infinity_claimed": false
  },
  "radial_cutoff": {
    "samples": 1601,
    "sample_interval": [
      0,
      2.8
    ],
    "exact_function": "chi=1 for r<=1; chi=0 for r>=2; chi=exp(-1/(2-r))/(exp(-1/(r-1))+exp(-1/(2-r))) for1<r<2",
    "derivative_support_subset": [
      1,
      2
    ],
    "exact_endpoint_integral": -1,
    "numerical_integral_used_as_proof": false
  },
  "orientations": {
    "normal": "dr before dtheta",
    "tube": "positive circle before base",
    "base_degree": "q=N-2-p",
    "crossing_sign": "(-1)^(q+1)",
    "radial_integral": -1,
    "even_dimension_final_sign": "(-1)^p"
  },
  "normalized_form_duality_entry_unproved_here": true,
  "singular_right_cap_comparison_unproved_here": true
}