Commit 64d4e5de authored by SOLIMAN Sylvain's avatar SOLIMAN Sylvain

Bugfix check_linearity x*x*2 is not linear

parent abbf5834
......@@ -953,7 +953,8 @@ check_linearity_expression(Expression) :-
->
throw(error(not_linear(Expression)))
;
true
check_linearity_expression(A),
check_linearity_expression(B)
).
check_linearity_expression(Expression) :-
......
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