wip authored by Frédéric Bapst's avatar Frédéric Bapst
......@@ -61,18 +61,18 @@ following:
## 1.1 - Overview
COJAC is in fact a two-fold tool:
- a *_"numerical sniffer"_* that detects anomalies arising in arithmetic operations,
- a **_"numerical sniffer"_** that detects anomalies arising in arithmetic operations,
on either integers (eg overflow) or floating point numbers (eg
cancellation or NaN outcome). This can be of great help to detect vicious bugs
involving annoying events that normally happen silently in the Java Virtual
Machine. See [§2](home#2-cojac-the-numerical-sniffer). This tool is pretty
stable and efficient (but can't handle constant expressions evaluated at compile-time).
- an *_"enriching wrapper"_* that automatically converts every float/double data
- an **_"enriching wrapper"_** that automatically converts every float/double data
into richer number types, so that you can experiment, at a very low cost, some
beautiful models such as arbitrary precision numbers, interval computation,
or even the marvelous automatic differentiation.
See [§3](home#3-cojac-the-enriching-wrapper). This tool is still experimental (some
See [§3](home#3-cojac-the-enriching-wrapper). This tool is fun but still experimental (some
[limitations](home#52-issues-with-the-wrapper),
problems with Java8 lambdas, strong slowdown...).
......
......