Extend the input language with +, - (unary and binary), and *
This also requires proving an approximation error bound theorem for *
.
+
, unary -
, and binary -
should be exact.
This also requires proving an approximation error bound theorem for *
.
+
, unary -
, and binary -
should be exact.