Reproduce the hyperbolic first-support figure

This original figure and its accompanying learner lesson are CC0-1.0. The linked supporting readings retain their own licences and notices.

Read the figure and its mathematical caption; download the exact learner source.

Save the original plotting source and reproduction wrapper in the same directory. The named PNG, SVG and geometry files are available here:

• an02-l109-hyperbolic-first-support.png
• an02-l109-hyperbolic-first-support.svg
• an02-l109-hyperbolic-first-support-geometry.json
• an02-l109-render-hyperbolic-first-support.py
• an02-l109-reproduce-hyperbolic-first-support.py

Use Python with NumPy and Matplotlib. From that directory, run:

python an02-l109-reproduce-hyperbolic-first-support.py

The original plotting source writes generic names in a temporary directory. The wrapper checks the PNG, SVG and geometry against their exact expected bytes, then writes the named outputs above.