Summary
System now has a human-facing, per-block Describe (terse placeholders by default, full coefficients with verbose=True). That print is intentionally not reparseable. A separate, reparseable export would let users check Bertini 2 results in another NAG system.
Proposal
A reparseable exporter for block-composed systems, targeting:
- Bertini 1 classic input format, and
- homotopycontinuation.jl.
Structured blocks would expand to nodes / explicit equations for export. The natural implementation is a per-block emit contract (EmitClassic / EmitHCjl) parallel to the existing per-block Describe.
Notes
- The per-block
Describe contract is the stepping stone — same dispatch, different output format.
- Out of scope for the human-printing work; tracked here as the follow-on writer.
Summary
Systemnow has a human-facing, per-blockDescribe(terse placeholders by default, full coefficients withverbose=True). That print is intentionally not reparseable. A separate, reparseable export would let users check Bertini 2 results in another NAG system.Proposal
A reparseable exporter for block-composed systems, targeting:
Structured blocks would expand to nodes / explicit equations for export. The natural implementation is a per-block emit contract (
EmitClassic/EmitHCjl) parallel to the existing per-blockDescribe.Notes
Describecontract is the stepping stone — same dispatch, different output format.