Skip to content

sparse_poly Tutorial

Use this page as the starting point for practical workflows around this module. sparse_poly in Luna-Flow/luna-poly.

Suggested Flow

  1. Read the repository README and the sparse_poly API reference.
  2. Start from the constructors or entry points under src/sparse_poly.mbt.
  3. Validate behavior with the existing tests or examples before depending on edge-case semantics.

Practical Guidance

  • Prefer the documented entry points over internal helpers.
  • Record runtime, numeric, or proof-state assumptions explicitly in downstream code.