PUBS: A Practical Upper Bounds Solver

class Polynomial extends Data{
    protected int deg;
    protected int[] coefs;

    public Polynomial(){
	deg = 0;
	coefs = new int[11];
    }

    public Data copy(){
	Polynomial copy = new Polynomial();
	copy.deg = deg;
	for (int i = 0;(i <= deg && i <= 10);i++)
	    copy.coefs[i] = coefs[i];
	return copy;
    }
}