La funzione di astrazione di Poly
// OVERVIEW: un Poly è un polinomio a
// cofficienti interi non modificabile
// un tipico Poly: c0 + c1*x + c2*x2 + ...
private int[] termini; // la rappresentazione
private int deg; // la rappresentazione
// la funzione di astrazione
// a(c) = c0 + c1*x + c2*x2 + ... tale che
// ci = c.termini[i] se 0 <= i < c.termini.length
notare che il valore di deg non ha nessuna influenza sulla funzione di astrazione
- è una informazione derivabile dall’array termini che utilizziamo nello stato concreto per questioni di efficienza