Commit 1ac50174 authored by SOLIMAN Sylvain's avatar SOLIMAN Sylvain
Browse files

other partial

parent 28ac393a
......@@ -428,6 +428,18 @@ ignore_unbalanced([H | T], [H | TT]) :-
ignore_unbalanced(T, TT).
ignore_partial([], [], [], ).
ignore_partial([_ | E], Equils, [V | Vars], Ignored) :-
memberchk(V, Ignored),
!,
ignore_partial(E, Equils, Vars, Ignored).
ignore_partial([Eq | E], [Eq | Equils], [_ | Vars], Ignored) :-
ignore_partial(E, Equils, Vars, Ignored).
:- initial(option(tropical_epsilon: 0.1)).
:- initial(option(tropical_max_degree: 3)).
:- initial(option(tropical_ignore: {})).
......@@ -516,15 +528,7 @@ tropicalize :-
write(Equils),nl
;
format("Ignoring equilibration for ~w\n", [Partial]),
findall(
Eq,
(
nth0(N, E, Eq),
nth0(N, Vars, V),
\+ member(V, Partial)
),
Equils
)
ignore_partial(E, Equils, Vars, Partial)
),
debug(tropical, "equilibrations: ~w~n", [Equils]),
equilibrate_rec(Equils),
......
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