equal
deleted
inserted
replaced
9 imports NatBin |
9 imports NatBin |
10 uses |
10 uses |
11 "Tools/Groebner_Basis/misc.ML" |
11 "Tools/Groebner_Basis/misc.ML" |
12 "Tools/Groebner_Basis/normalizer_data.ML" |
12 "Tools/Groebner_Basis/normalizer_data.ML" |
13 ("Tools/Groebner_Basis/normalizer.ML") |
13 ("Tools/Groebner_Basis/normalizer.ML") |
|
14 ("Tools/Groebner_Basis/groebner.ML") |
14 begin |
15 begin |
15 |
16 |
16 subsection {* Semiring normalization *} |
17 subsection {* Semiring normalization *} |
17 |
18 |
18 setup NormalizerData.setup |
19 setup NormalizerData.setup |