
---------------------------------------------------------------------	
---------------------------------------------------------------------	

1)Concernant Interval peeler
---------------------------------------------------------------------
---------------------------------------------------------------------
	Interval peeler utilise des algorithmes de projection de 
	contraintes pour rduire les domaines intervalles.
	Propagation et Retropropagation sur les contraintes
	(2b consistence) (Waltz algo)

---------------------------------------------------------------------	
---------------------------------------------------------------------	

2)EXEMPLES
---------------------------------------------------------------------
---------------------------------------------------------------------
	a)Ex1
	-------------------------------------------------------------
		dfinitions des variables et des domaines 
		x1 in [1,2]
		x2 in [3,4]
		x3 in [5,6]
		y in [-oo,+oo]
		dfinitions des contraintes
		y=x1+x2*x3/(x1+2)

	les solutions donnes sont
		x1 in [1,2]
		x2 in [3,4]
		x3 in [5,6]
		y in [4,75,10]
	
	b)Ex2
	-------------------------------------------------------------
		dfinitions des variables et des domaines
			x1 in [1,2]
			x2 in [3,4]
			x3 in [5,6]
			y in [-oo,+oo]
		dfinitions des contraintes
			//u variable temporaire
			u=x1+x2*x3/(x1+2)
			y=sin(u)/u

	les solutions donnes sont
		x1 in [1,2]
		x2 in [3,4]
		x3 in [5,6]
		y in [-0,210377429257974,0,210526315789474]
	
	c)Ex3
	-------------------------------------------------------------
		dfinitions des variables et des domaines
			x1 in [1,2]
			x2 in [3,4.5]
			x3 in [5,6]
			y1 in [-oo,+oo]
			y2 in [-oo,+oo]
			y3 in [-oo,+oo]
		dfinitions des contraintes
			//Exemple avec plusieure contraintes
			y1=sin(x1)/x1
			y2=sin(x2)/x2
			y3=sin(x3)/x3
			y1+y2=y3

	les solutions donnes sont
		Boite vide: Il n'y a pas de solution dans ces domaines intervalles

	rmq: le solveur a dmontr qu'il n'existait pas de solution sur les domaines
	de recherche

---------------------------------------------------------------------	
---------------------------------------------------------------------	

3)LANGAGE DU SOLVEUR
---------------------------------------------------------------------	
---------------------------------------------------------------------
	a)Variables
	-------------------------------------------------------------
		Commencer les variables par une lettre (A-Za-z) 
		Puis utiliser toutes les combinaisons de lettres et de chiffres

		ex: A1 , A456a , test1 , variable4...
		
	b)Dfinition des domaines Intervalles  
	-------------------------------------------------------------
		x in [ 1 , 2 ]
		x in [ 1 , +oo ]
		x in [ -oo , +oo ]

	c)Dfinition des contraintes	-------------------------------------------------------------
		les constraintes peuvent s'crirent
			y=x1+x2+x3
			x1+x2=x3+x4
			y=max(x1,x1*sin(x2))
			...	

		pour les crire vous pouvez utiliser :

		i)Operations Arithmetiques 
		-------------------------------------------------------------
			+	:	a+b
			-	:	a-b
			*	:	a*b
			/	:	a/b
	
		ii)Fonctions 
		-------------------------------------------------------------
			fonctions puissance
				sqr(  ) :	sqr(x)=x	
				sqrt(  ) :	sqrt(x)=racine(x)
		
	
			fonctions trigonometriques
				sin(  ) :	sin(x), sin(x+y), sin(sin(x)), ...	
				cos(  ) :	cos(x), cos(x-y), cos(sin(x)), ...
				tan(  ) :	tan(x), tan(x*y), tan(sin(x)), ...
	
			fonctions exponentielles
				exp(  ) :	exp(x), exp(x/y), exp(sin(x)), ...	
				ln(  )  :	ln(x), ln(x/y), ln(sin(x)), ...	
				
			fonctions MinMax	
				max(  ,  ) :	max( a,b ),...
				min(  ,  ) :	min( a,b ),...

			Autres
				abs(  ) :	abs( x )=|x|	
		
		iii) Contraintes spciales
		-------------------------------------------------------------
			boolean(x) :	donne l'intersection entre [x] et {0,1}	
			integer(x) :	donne l'intersection entre [x] et {t in Z}	
		

	d)Commentaires
	-------------------------------------------------------------
		//cette ligne est un commentaire

---------------------------------------------------------------------	
---------------------------------------------------------------------	

4)UTILISER L'INTERFACE GRAPHIQUE
---------------------------------------------------------------------	
---------------------------------------------------------------------
	Selectionner une contrainte ou une variable
		presser la touche entre pour la valider 
		presser la touche correction pour la supprimer 

	ATTTENTION !!!
	copier couper coller dans les boites d'affichage s'utilise
	avec les touche x c v sans la touche CTRL

---------------------------------------------------------------------	
---------------------------------------------------------------------	


5)UTILISER UN FICHIER D'ENTREE AVEC NOTEPAD
---------------------------------------------------------------------	
---------------------------------------------------------------------
	La syntaxe du fichier est

		Input Variables
		x1 in [1,2]
		x2 in [3,4]
		x3 in [5,6]
		Output Variables
		y1 in [-oo,+oo]
		y2 in [-oo,+oo]
		y3 in [-oo,+oo]
		Constraints
		y1=sin(x1)/x1
		y2=sin(x2)/x2
		y3=sin(x3)/x3
		//contrainte redondante
		y1=100*y3*y2     
		End
	
	
	Utiliser Output Variables quand les variables de sorties (output yi) 
	sont calculables  partir des variables d'entre (input xi).
	Dans les autres cas utiliser les contraintes redondantes
	 
	ATTENTION : Quand vous utilisez NOTEPAD, enregistrer-sous ne transmet pas
	 l'information au programme il faut ouvrir le fichier que vous venez d'enregistrer.
---------------------------------------------------------------------	
---------------------------------------------------------------------	
