diff options
| author | Pierre-Marie Pédrot | 2020-03-18 15:12:54 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-03-19 12:18:09 +0100 |
| commit | a937704fdfe97ddba053fa0865db13a22d554062 (patch) | |
| tree | 449d6164cc62f67ee4526f0ece0da8fc391bc060 /doc/plugin_tutorial/README.md | |
| parent | b69b87ce35b09b164929974b85b815d259185f18 (diff) | |
Dedicate type for monomials in Micromega.Vect.
This enforces monomorphism everywhere possible.
Diffstat (limited to 'doc/plugin_tutorial/README.md')
0 files changed, 0 insertions, 0 deletions