// Check the rare case where the bounds finder lands on
// exactly a root
/*[
  Local(p);
  p:=FindRealRoots((x+4)*(x-6),1,7)-{-4.,6.};
  Verify(VerifyZero(Dot(p, p)),True);
];*/

Retract("Dx", *);

Rulebase("Dx", {u,v});

10 # Dx(X) <-- 1;

11 # Dx(Y) <-- 0;

12 # Dx(_u + _v) <-- Dx(u) + Dx(v);

13 # Dx(_u * _v) <-- (u * Dx(v)) + (Dx(u) * v);

ViewGraphicConsole();

//Dx(Hold(X * X));


