--- rpl/src/simplification.c	2019/11/05 15:37:51	1.70
+++ rpl/src/simplification.c	2019/11/14 18:54:48	1.74
@@ -57,6 +57,11 @@ affichage_arbre(struct_processus *s_etat
 
 	l_element_courant = (*s_arbre).feuille;
 
+	for(i = 0; i < niveau; i++)
+	{
+		printf("  ");
+	}
+
 	while(l_element_courant != NULL)
 	{
 		if ((chaine = formateur(s_etat_processus, 0,
@@ -66,17 +71,14 @@ affichage_arbre(struct_processus *s_etat
 			return;
 		}
 
-		for(i = 0; i < niveau; i++)
-		{
-			printf("  ");
-		}
-
-		printf("%s\n", chaine);
+		printf("%s ", chaine);
 		free(chaine);
 
 		l_element_courant = (*l_element_courant).suivant;
 	}
 
+	printf("\n");
+
 	// Affichage des branches (arguments de la fonction dans la feuille)
 
 	for(branche = 0; branche < (*s_arbre).nombre_branches; branche++)
@@ -138,32 +140,13 @@ transcription_arbre(struct_processus *s_
 	}
 
 	// Ajout des fonctions
-	// Arbre q-aire => si q branches, q-1 fonctions
 
-	l_liste = (*s_arbre).feuille;
-
-	for(i = 0; i < (*s_arbre).nombre_branches - 2; i++)
+	if ((*s_arbre).nombre_branches != 0)
 	{
-		if ((l_element_courant = allocation_maillon(s_etat_processus))
-				== NULL)
-		{
-			(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
-			return(NULL);
-		}
-
-		(*l_element_courant).suivant = l_liste;
-
-		if (((*l_element_courant).donnee = copie_objet(s_etat_processus,
-				(*l_liste).donnee, 'P')) == NULL)
-		{
-			(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
-			return(NULL);
-		}
-
-		l_liste = l_element_courant;
+		free((*s_arbre).branches);
 	}
 
-	free((*s_arbre).branches);
+	l_liste = (*s_arbre).feuille;
 	free(s_arbre);
 
 	// Chaînage des arguments
@@ -218,12 +201,16 @@ ordonnancement_branches(const void *a1,
 
 	if (((**_a1).feuille != NULL) && ((**_a2).feuille != NULL))
 	{
+		// Si les types sont identiques, on ne change rien.
+
 		if ((*(*(**_a1).feuille).donnee).type ==
 				(*(*(**_a2).feuille).donnee).type)
 		{
 			return(0);
 		}
 
+		// On rejette les nombres à la fin.
+
 		if (((*(*(**_a1).feuille).donnee).type == INT) ||
 				((*(*(**_a1).feuille).donnee).type == REL) ||
 				((*(*(**_a1).feuille).donnee).type == CPL))
@@ -240,6 +227,39 @@ ordonnancement_branches(const void *a1,
 }
 
 
+static int
+ordonnancement_instructions_neg(const void *a1, const void *a2)
+{
+	struct_arbre	**_a1;
+
+	_a1 = (struct_arbre **) a1;
+
+	if ((**_a1).feuille != NULL)
+	{
+		// On rejette NEG à la fin de l'arbre.
+
+		if ((*(*(**_a1).feuille).donnee).type == FCT)
+		{
+			if (strcmp((*((struct_fonction *) (*(*(**_a1).feuille).donnee)
+					.objet)).nom_fonction, "NEG") == 0)
+			{
+				return(1);
+			}
+			else
+			{
+				return(-1);
+			}
+		}
+		else
+		{
+			return(0);
+		}
+	}
+
+	return(0);
+}
+
+
 static void
 simplification_arbre(struct_processus *s_etat_processus,
 		struct_arbre *s_arbre)
@@ -248,6 +268,11 @@ simplification_arbre(struct_processus *s
 	integer8				j;
 	integer8				nouveaux_elements;
 
+	struct_arbre			*s_branche;
+
+	struct_liste_chainee	*l_element_courant;
+	struct_liste_chainee	*l_element_suivant;
+
 	struct_objet			*s_objet;
 
 	if ((*(*(*s_arbre).feuille).donnee).type != FCT)
@@ -258,6 +283,86 @@ simplification_arbre(struct_processus *s
 		return;
 	}
 
+	// Transformation des soustractions que l'on remplace par
+	// une addition de l'opposé. Si l'on a une soustraction,
+	// on greffe donc une instruction NEG dans l'arbre.
+	// Note : à cet instant, l'instruction '-' ne peut avoir que deux
+	// opérandes.
+
+	if (strcmp((*((struct_fonction *) (*(*((*s_arbre).feuille)).donnee).objet))
+			.nom_fonction, "-") == 0)
+	{
+		if ((*s_arbre).nombre_branches != 2)
+		{
+			(*s_etat_processus).erreur_execution = d_ex_simplification;
+			return;
+		}
+
+		liberation(s_etat_processus, (*((*s_arbre).feuille)).donnee);
+
+		if (((*((*s_arbre).feuille)).donnee = allocation(s_etat_processus,
+				FCT)) == NULL)
+		{
+			(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
+			return;
+		}
+
+		if (((*((struct_fonction *) (*(*((*s_arbre).feuille)).donnee).objet))
+				.nom_fonction = malloc(2 * sizeof(unsigned char))) == NULL)
+		{
+			(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
+			return;
+		}
+
+		strcpy((*((struct_fonction *) (*(*((*s_arbre).feuille)).donnee).objet))
+				.nom_fonction, "+");
+		(*((struct_fonction *) (*(*((*s_arbre).feuille)).donnee).objet))
+				.nombre_arguments = 1;
+
+		if ((s_branche = malloc(sizeof(struct_arbre))) == NULL)
+		{
+			(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
+			return;
+		}
+
+		if (((*s_branche).branches = malloc(sizeof(struct_arbre *))) == NULL)
+		{
+			(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
+			return;
+		}
+
+		if (((*s_branche).feuille = allocation_maillon(s_etat_processus))
+				== NULL)
+		{
+			(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
+			return;
+		}
+
+		(*(*s_branche).feuille).suivant = NULL;
+
+		if (((*(*s_branche).feuille).donnee = allocation(s_etat_processus, FCT))
+				== NULL)
+		{
+			(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
+			return;
+		}
+
+		if (((*((struct_fonction *) (*(*(*s_branche).feuille).donnee).objet))
+				.nom_fonction = malloc(4 * sizeof(unsigned char))) == NULL)
+		{
+			(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
+			return;
+		}
+
+		strcpy((*((struct_fonction *) (*(*(*s_branche).feuille).donnee).objet))
+				.nom_fonction, "NEG");
+		(*((struct_fonction *) (*(*(*s_branche).feuille).donnee).objet))
+				.nombre_arguments = 1;
+		(*s_branche).branches[0] = (*s_arbre).branches[1];
+		(*s_branche).nombre_branches = 1;
+		(*s_arbre).branches[1] = s_branche;
+	}
+
 	// La feuille est une fonction, on peut envisager la simplification
 	// de l'arbre. Pour cela, on descend d'un niveau pour greffer
 	// de nouvelles branches.
@@ -265,6 +370,10 @@ simplification_arbre(struct_processus *s
 	if (strcmp((*((struct_fonction *) (*(*(*s_arbre).feuille).donnee).objet))
 			.nom_fonction, "+") == 0)
 	{
+		qsort((*s_arbre).branches, (size_t) (*s_arbre)
+				.nombre_branches, sizeof(struct_arbre *),
+				ordonnancement_instructions_neg);
+
 		for(i = 0; i < (*s_arbre).nombre_branches; i++)
 		{
 			s_objet = (*((*((*s_arbre).branches[i])).feuille)).donnee;
@@ -274,6 +383,9 @@ simplification_arbre(struct_processus *s
 				if (strcmp((*((struct_fonction *) (*s_objet).objet))
 						.nom_fonction, "-") == 0)
 				{
+					simplification_arbre(s_etat_processus,
+							(*s_arbre).branches[i]);
+					s_objet = (*((*((*s_arbre).branches[i])).feuille)).donnee;
 				}
 
 				if (strcmp((*((struct_fonction *) (*s_objet).objet))
@@ -318,6 +430,17 @@ simplification_arbre(struct_processus *s
 								(*(*s_arbre).branches[i]).branches[j];
 					}
 
+					l_element_courant = (*s_arbre).feuille;
+					(*s_arbre).feuille = (*(*s_arbre).branches[i]).feuille;
+
+					l_element_suivant = (*s_arbre).feuille;
+					while((*l_element_suivant).suivant != NULL)
+					{
+						l_element_suivant = (*l_element_suivant).suivant;
+					}
+
+					(*l_element_suivant).suivant = l_element_courant;
+					free((*(*s_arbre).branches[i]).branches);
 					free((*s_arbre).branches[i]);
 
 					// Retrait de la branche
@@ -555,8 +678,6 @@ simplification(struct_processus *s_etat_
 		 */
 
 		affichage_arbre(s_etat_processus, s_arbre, 0);
-
-//#		ifdef	EXPERIMENTAL_CODE 
 		simplification_arbre(s_etat_processus, s_arbre);
 		affichage_arbre(s_etat_processus, s_arbre, 0);
 
@@ -564,7 +685,6 @@ simplification(struct_processus *s_etat_
 		{
 			return(NULL);
 		}
-//#		endif
 
 		/*
 		 * Transcription de l'arbre q-aire simplifié en expression algébrique.