From b984b0efd4c5e6b3e14c361bd4b0c0222c9267c9 Mon Sep 17 00:00:00 2001
From: Diogo Cordeiro <diogo@fc.up.pt>
Date: Mon, 17 Dec 2018 20:29:00 +0000
Subject: [PATCH] Fix polynomial_tree_to_polynomial

---
 polymani.pl | 15 +++++++++------
 1 file changed, 9 insertions(+), 6 deletions(-)

diff --git a/polymani.pl b/polymani.pl
index 81ea0df..b761a68 100644
--- a/polymani.pl
+++ b/polymani.pl
@@ -102,14 +102,17 @@ print_polynomial_tree(op(Op, TL, TR)) :-
 print_polynomial_tree(T) :-
     write(T).
 
-polynomial_tree_to_polynomial(op(Op, TL, TR), P) :-
-    polynomial_tree_to_polynomial(TL,A),
-    polynomial_tree_to_polynomial(TR,B),
+polynomial_tree_to_polynomial(A,B) :-
+    polynomial_tree_to_atomic_polynomial(A,Pa),
+    term_to_atom(B, Pa).
+
+polynomial_tree_to_atomic_polynomial(op(Op, TL, TR), P) :-
+    polynomial_tree_to_atomic_polynomial(TL,A),
+    polynomial_tree_to_atomic_polynomial(TR,B),
     atom_concat(A, Op, AOp),
-    atom_concat(AOp, B, Pa),
-    term_to_atom(P,Pa),
+    atom_concat(AOp, B, P),
     !.
-polynomial_tree_to_polynomial(A,A).
+polynomial_tree_to_atomic_polynomial(A,A).
 
 %% nlp_number(?W:Atom, ?D:Int) is det
 %