import parma_polyhedra_library.*;

public class Y {
	public static void main(String[] args) {
		System.load("/usr/local/lib/ppl/libppl_java.so");
		Parma_Polyhedra_Library.initialize_library();
		C_Polyhedron p = new C_Polyhedron(3, Degenerate_Element.UNIVERSE);
		Variable v0 = new Variable(0);
		Variable v1 = new Variable(1);
		Linear_Expression lf1 = new Linear_Expression_Coefficient(
				new Coefficient(3));
		Linear_Expression lf2 = (new Linear_Expression_Variable(v0))
				.sum(new Linear_Expression_Coefficient(new Coefficient(1)));
		p.affine_image(v0, lf1, new Coefficient(1));
		p.affine_image(v1, lf2, new Coefficient(1));
		p.minimized_constraints();
	}
}