-- 2014.06.25 keresztfélév
1)
-- ha az elsőt relativan jól meg tudjuk írni, !!!szerződésekel!!!, akkor talán kettes
-- invariáns, elő-utófeltétel, szép legyen ..., használjuk ki az eiffel "szépségeit"
RATIONAL
	numerator
	denominator
	+,-,*,/,=
	normalize
POLINOMIAL // Szumma i=0 tól n-ig a_i*x^i
	1 - változós polinom
	coefficient
	evaluate
2)
RING (Gyűrű)
	*
	+
	additív_identity
	multiplikatív_identity
	(axioms)

3)
	POLINOMIAL [RING]

			RING
			 /\
			 |
		  RATIONAL
4)
		    RING
			 /\
			 |
		  POLINOMIAL