form-dev / form / 29819024069

65%

Build Type

push

github

Committed by jodavies

Commit Message

fix: various problems in TakeContent and related functions

TakeContent did not correctly remove function content from the terms, it got
stuck in infinite loops in several cases. MergeDotproductLists got stuck
in infinite loops, missed tail cases, and produced a mal-formed result.

In some of these cases, the poly class proceeded to compute a gcd anyway
(since the non-symbol objects are converted to extrasymbols). The flint
interface Terminated, since it anticipates content-free input and checks
this.

Coverage Stats

74 of 98 new or added lines in 1 file covered. (75.51%)

11 existing lines in 1 file now uncovered.

52653 of 82913 relevant lines covered (63.5%)

10620369.59 hits per line