Commit 91d771f8 authored by Mathieu Hemery's avatar Mathieu Hemery
Browse files

Add a test for generate_sufficient_variables

parent f9738b35
......@@ -43,6 +43,11 @@ test(generate_sufficient_variables2) :-
gpac:generate_sufficient_variables(PODE,Set),
once(permutation(Set, [[1,0],[0,1],[2,0],[1,1],[0,2],[3,0],[1,2],[2,1],[0,3]])).
test(generate_sufficient_variables3) :-
PODE = [[[1,[0, 3]]],[[-1,[0, 2]]]],
gpac:generate_sufficient_variables(PODE,Set),
once(permutation(Set, [[1,0],[0,1],[0,2]])).
test(reduce_to_binomial_nomodif) :-
once(gpac:reduce_to_binomial([2,[[[1,[1, 1]]],[[-1,[1, 0]]]],[1,2]],P)),
P = [2,[[[1,[1, 1]]],[[-1,[1, 0]]]],[1,2]].
......
Supports Markdown
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