dense_multi Tutorial
Use this page as the starting point for practical workflows around this module. dense_multi in Luna-Flow/luna-poly.
Suggested Flow
- Read the repository README and the dense_multi API reference.
- Start from the constructors or entry points under
src/dense_multi.mbt. - 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.