Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit 244f4b7d authored by Mathieu Hemery's avatar Mathieu Hemery

Add a polynomiality test and start testing

parent 91b474f0
......@@ -391,10 +391,16 @@ compile_from_ode(Input, Output) :-
_Reduction,
'Determines if the binomial reduction has to be performed'
),
read_ode_system(PIVP),
sort_output(PIVP, Output, PIVP_sorted),
format_pivp(PIVP_sorted, P, Name_list),
main_compiler(P, Name_list, Input).
(
% test the polynomiality of the current ode_system
with_current_ode_system(forall(ode(_Var, Expr),is_polynomial(Expr))),
read_ode_system(PIVP),
sort_output(PIVP, Output, PIVP_sorted),
format_pivp(PIVP_sorted, P, Name_list),
main_compiler(P, Name_list, Input)
;
format("The current ODE system is not polynomial.~n", [])
).
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment