Changeset d92d71 in git for factory/libfac/charset/charset.cc

Timestamp:

Dec 14, 2011, 5:19:14 PM (12 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

67c1dcaf5b5069c5df300f7898cff740290bf5f1

Parents:

dcccebd9b733616f7e8c8d888299aa4c3073a094

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2011-12-14 17:19:14+01:00

git-committer:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-01-06 21:09:33+01:00

Message:

build libfac.a into factory

FIX: libfac builds and uses factory/factory.h
FIX: adaptation of Singular to use libfac staff

File:

• factory/libfac/charset/charset.cc (modified) (5 diffs)

factory/libfac/charset/charset.cc

@@ -27 +27 @@
 #endif
 
-#include "debug.h"
+#include <libfac/factor/debug.h>
 #include "timing.h"
 TIMING_DEFINE_PRINT(subfactorize_time);
@@ -40 +40 @@
 #  undef DEBUGOUTPUT
 #endif
-#include "debug.h"
+#include <libfac/factor/debug.h>
 
 // the next computes a characteristic set (a basic set in Wang's sense)
@@ -96 +96 @@
 #  undef DEBUGOUTPUT
 #endif
-#include "debug.h"
+#include <libfac/factor/debug.h>
 
 // The modified CharSet (an extended characteristic set with certain factors
@@ -328 +328 @@
 #  undef DEBUGOUTPUT
 #endif
-#include "debug.h"
+#include <libfac/factor/debug.h>
 
 ListCFList
@@ -474 +474 @@
 #endif
 
-#include "debug.h"
+#include <libfac/factor/debug.h>
 
 static CFList