{
  "metric": "Euclidean; coordinate vectors identified with covectors by the stated inner product",
  "parabola": {
    "equation": "t=3*x^2",
    "center": [
      "0",
      "-1"
    ],
    "contact": [
      "0",
      "0"
    ],
    "radius": "1",
    "conormal": [
      "6*x",
      "-1"
    ]
  },
  "cusp": {
    "support": "t<=abs(x)^(3/2)",
    "center": [
      "0",
      "1/4"
    ],
    "root_polynomial": "12*r^3+8*r-3",
    "unique_positive_real_root_isolator": [
      "3/10",
      "3/8"
    ],
    "contacts": [
      [
        "r^2",
        "r^3"
      ],
      [
        "-r^2",
        "r^3"
      ]
    ],
    "circle_radius": "sqrt(r^4+(1/4-r^3)^2)",
    "numerical_root_for_drawing": 0.32398754664103535,
    "normal_arrow_display_scale": "3/5",
    "all_j_limit": "j*(q_j-z_j^+-)->(0,1)"
  },
  "cauchy": {
    "point_mass_transform": "i/(2*pi*z)",
    "jump": "epsilon/(pi*(x^2+epsilon^2))",
    "left_height": "1/4",
    "right_heights": [
      "1/2",
      "1/4",
      "1/8"
    ],
    "mass": "1",
    "tail_bound": "2*epsilon/(pi*r)"
  },
  "scope": "Exact model curves and algebraic contacts; finite samples draw the curves, while the full text proves contact and convergence."
}