Changeset fd1b1be in git for kernel/groebner_walk/walkMain.cc

Timestamp:

Mar 31, 2014, 9:07:32 PM (10 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

02893b2fb3cd9038b93940ce91682d5406303c4f92917e655d6f54a67e1964d9a48f53335fa38d64

Parents:

186f01fd075fee5f48b1542775dc859cade68221

Message:

Minor header correction

File:

• kernel/groebner_walk/walkMain.cc (modified) (1 diff)

kernel/groebner_walk/walkMain.cc

@@ -6 +6 @@
  *
 */
-#include <string.h>
-
-
-
 #include <kernel/mod2.h>
+
 #include <misc/options.h>
 #include <misc/intvec.h>
 #include <misc/int64vec.h>
+
+#include <polys/prCopy.h>
+#include <polys/matpol.h>
+#include <polys/monomials/ring.h>
+
 #include <kernel/polys.h>
 #include <kernel/ideals.h>
-#include <polys/monomials/ring.h>
 #include <kernel/groebner_walk/walkMain.h>
 #include <kernel/groebner_walk/walkSupport.h>
-#include <polys/prCopy.h>
 #include <kernel/GBEngine/kstd1.h>
-#include <polys/matpol.h>
-#include <polys/monomials/ring.h>
-
+
+#include <string.h>
 
 ///////////////////////////////////////////////////////////////////