System.out.printf("%s : %s = ?%n", abs, x);
Set roots = abs.solve();
System.out.printf(" %s = %s%n", x, roots);
Expression x1 = parser.parse("(15 + sqrt(249)) / 4");
Expression x2 = parser.parse("(15 - sqrt(249)) / 4");
Expression expected = new FiniteSet(x1, x2, Rationals.getInstance().create(7, 2), Naturals.one());
assertEquals(expected, roots);
}