Re: syntaxic exploration

[Mehdi Saada <00120260a@gmail.com>]

Thank you, Niklas Holsti. Your way of doing it is just beautiful, as always with conditional expressions. Also, I simply forgot about the & operator for non-strings arrays.
Still:
p_poly_v1_g.adb:64:92: expected private type "T_Rationnel" defined at p_rationnels_g.ads:11, instance at p_poly_v1_g.ads:19
p_poly_v1_g.adb:64:92: found type universal integer
p_poly_v1_g.adb:64:149: expected private type "T_Rationnel" defined at p_rationnels_g.ads:11, instance at p_poly_v1_g.ads:19
p_poly_v1_g.adb:64:149: found type universal integer
gnatmake: "p_poly_v1_g.adb" compilation error

with the same sentences as in your exemple. At least, I can't see the difference with what you wrote. 
return RES: T_POLYNOME (T_DEGRE'MAX(POLY_A.DEGRE,POLY_B.DEGRE)) do
	for I in RES.COEF'Range loop
           RES.COEF(I) := (if I in POLY_A.COEF'Range then POLY_A.COEF(I) else 0) + (if I in POLY_B.COEF'Range then POLY_B.COEF(I) else 0);
	end loop;
	RES := POLY_REDUIT(RES);
end return;