#!/usr/bin/env python3
-# This example is inspired from a math question in the French baccalauréat 2014,
+# This example is inspired from a math question in the French baccalauréat 2014
# consisting in computing the intersection of a plane with a line.
-from linpy import *
+from linpy import Eq, symbols
x, y, z = symbols('x y z')
plane = Eq(x, y) & Eq(z, 6 - 2*x)