// linear implicit eqn in one variable
math implicit1 {
  real a=1, b=2, y=4;
  real x;
  a*x - b = y;
}