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 /plugins/micromega/vo.itarget | |
| 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 'plugins/micromega/vo.itarget')
| -rw-r--r-- | plugins/micromega/vo.itarget | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/plugins/micromega/vo.itarget b/plugins/micromega/vo.itarget index bf6a1a7db2..cb4b2b8a55 100644 --- a/plugins/micromega/vo.itarget +++ b/plugins/micromega/vo.itarget @@ -10,4 +10,6 @@ Tauto.vo VarMap.vo ZCoeff.vo ZMicromega.vo -Lia.vo
\ No newline at end of file +Lia.vo +Lqa.vo +Lra.vo
\ No newline at end of file |