Module `Beloch.Field_merge`

Primitive-element merge for real_roots: express algebraic coefficients over one generator γ of the field they span (compositum of independent folds), and form the ℚt superset polynomial via a single resultant. The tier this sits in, and the gate that reaches it, are in Num.real_roots.

val k_limit : int

val extend : Qqbar.t -> Qqbar.t -> Qqbar.t option

val merge_generators : Qqbar.t array -> (Poly.t * Poly.t array) option

val resultant_superset : coords:Poly.t array -> mu:Poly.t -> Poly.t