Commit 64097c88 authored by Heiko Becker's avatar Heiko Becker

Fix machine epsilon in expressions

parent 16e4156f
......@@ -32,7 +32,7 @@ Inductive exp (V:Type): Type :=
Define the machine epsilon for floating point operations.
FIXME: Currently set to 1.0 instead of the concrete value!
**)
Definition machineEpsilon:R := realFromNum 2220446049250313 15 16.
Definition machineEpsilon:R := realFromNum 11102230246251565 16 16.
(**
Define a perturbation function to ease writing of basic definitions
**)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment