equal
deleted
inserted
replaced
3 *) |
3 *) |
4 |
4 |
5 header {* Semiring normalization and Groebner Bases *} |
5 header {* Semiring normalization and Groebner Bases *} |
6 |
6 |
7 theory Groebner_Basis |
7 theory Groebner_Basis |
8 imports Arith_Tools |
8 imports NatBin |
9 uses |
9 uses |
10 "Tools/Groebner_Basis/misc.ML" |
10 "Tools/Groebner_Basis/misc.ML" |
11 "Tools/Groebner_Basis/normalizer_data.ML" |
11 "Tools/Groebner_Basis/normalizer_data.ML" |
12 ("Tools/Groebner_Basis/normalizer.ML") |
12 ("Tools/Groebner_Basis/normalizer.ML") |
13 ("Tools/Groebner_Basis/groebner.ML") |
13 ("Tools/Groebner_Basis/groebner.ML") |