diff options
| author | Frédéric Besson | 2016-08-30 17:12:27 +0200 |
|---|---|---|
| committer | Frédéric Besson | 2016-08-30 17:59:59 +0200 |
| commit | 721637c98514a77d05d080f53f226cab3a8da1e7 (patch) | |
| tree | 9a04e0482488764d39c0e24847e93f4b23f62cde /kernel | |
| parent | 44ada644ef50563aa52cfcd7717d44bde29e5a20 (diff) | |
plugin micromega : nra also handles non-linear rational arithmetic over Q (Fixed #4985)
Lqa.v defines the tactics lra and nra working over Q.
Lra.v defines the tactics lra and nra working over R.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions