bugfix tropical

739c5ae0 · SOLIMAN Sylvain · 5482ac62 · 739c5ae0
Commit 739c5ae0 authored May 14, 2018 by SOLIMAN Sylvain
--- a/tropical.pl
+++ b/tropical.pl
@@ -329,7 +329,7 @@ show_rescaling([], []) :-
  nl.

 show_rescaling([A | AA], [V | VV]) :-
-  epsilon_degree(A, -D),
+  epsilon_degree(-A, D),
  format("~w' = ~w~w~n", [V, D, V]),
  show_rescaling(AA, VV).