aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/groebner
ModeNameSize
-rw-r--r--GroebnerR.v10752logplain
-rw-r--r--GroebnerZ.v2148logplain
-rw-r--r--groebner.ml415308logplain
-rw-r--r--groebner_plugin.mllib49logplain
-rw-r--r--ideal.ml433948logplain
-rw-r--r--ideal.mli2658logplain
-rw-r--r--polynom.ml27543logplain
-rw-r--r--polynom.mli4004logplain
-rw-r--r--utile.ml4780logplain
-rw-r--r--utile.mli671logplain