type species_system =
K.t Smol.Polynomial.Make(Literal.Variable).p Species.s
Stdlib.Map.Make(Orgeat.Literal.Class).ttype solution_kind = | Poly of species_system| Seq of K.t| Tree of K.t * K.t Stdlib.Map.Make(Orgeat.Literal.Class).tval translate :
Literal.Class.t ->
'a Combi.Make(K).class_tree ->
species_systemval translate_class : 'a Combi.Make(K).combi_class -> species_systemval is_well_founded :
species_system ->
K.t Smol.Polynomial.Make(Literal.Variable).p Species.s
Smol.Matrix.Make(Literal.Class).m ->
boolval newton_iteration :
species_system ->
K.t Smol.Polynomial.Make(Literal.Variable).p Species.s
Smol.Matrix.Make(Literal.Class).m ->
K.t ->
K.t ->
K.t Stdlib.Map.Make(Orgeat.Literal.Class).t optionval eval_convergence_radius :
species_system ->
K.t Smol.Polynomial.Make(Literal.Variable).p Species.s
Smol.Matrix.Make(Literal.Class).m ->
K.t ->
K.t * K.t Stdlib.Map.Make(Orgeat.Literal.Class).t optionval classify :
species_system ->
K.t Smol.Polynomial.Make(Literal.Variable).p Species.s
Smol.Matrix.Make(Literal.Class).m ->
K.t ->
solution_kindval solve :
species_system ->
Literal.Class.t ->
K.t ->
int ->
K.t * K.t Stdlib.Map.Make(Orgeat.Literal.Class).t optionval solve_class :
'a Combi.Make(K).combi_class ->
K.t ->
int ->
K.t * K.t Stdlib.Map.Make(Orgeat.Literal.Class).t option