Correttezza di Poly 3
private int[] termini; // la rappresentazione
private int deg; // la rappresentazione
// I(c) = c.termini != null e
// c.termini.length >= 1 e
// c.deg = c.termini.length-1 e
// c.deg > 0 ==> c.termini[deg] != 0
public Poly sub (Poly q) throws
{return add(q.minus()); }
il metodo sub soddisfa l’invariante perché
- lo soddisfano q e this
- lo soddisfano add e minus