Skip to main content

Module same_parameter

Module same_parameter 

Source
Expand description

Verifying (and where needed, widening into truth) the same_parameter claim.

An edge carries several representations of one curve, and nearly every algorithm evaluates whichever is convenient, assuming the answers are interchangeable within the edge’s tolerance. The flag that records this is set false whenever a representation is added: honest, but pessimistic: every primitive’s edges claim a disagreement they do not have. This is the repair the flag’s own documentation demands: measure the actual disagreement, and either confirm the claim or widen the edge’s tolerance until the claim is true. Either way, afterwards the flag means something.

Structs§

SameParameterReport
What one repair pass did.

Functions§

repair_same_parameter
Verify every edge under shape and make its same_parameter flag true.