Changeset 643b1eb in git for libpolys/coeffs/test.cc

Timestamp:

May 10, 2011, 3:30:09 PM (12 years ago)

Author:

Mohamed Barakat <mohamed.barakat@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

b58d4735ba8885b68e60e175df833c691cd3c04e

Parents:

06541226e172777614f7a62af88d739f6cea424c

git-author:

Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-05-10 15:30:09+02:00

git-committer:

Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-11-09 12:31:41+01:00

Message:

include ftmpl_inst.cc in libsingcf.a (template instantiations)

- disabled memutil by default in factory
- include readcf.og in the debug version of factory
- check for ntl in libpolys

File:

• libpolys/coeffs/test.cc (modified) (2 diffs)

libpolys/coeffs/test.cc

@@ -18 +18 @@
 #include <coeffs/rintegers.h>
 #ifdef HAVE_FACTORY
-#include <factory/factory.h>
+int initializeGMP(){ return 1; }
 #endif
 
@@ -24 +24 @@
 
 using namespace std;
-
-// template stuff
-#ifdef HAVE_FACTORY
-  #include <factory/templates/ftmpl_list.cc>
-  #include <factory/templates/ftmpl_array.cc>
-  #include <factory/templates/ftmpl_factor.cc>
-  #include <factory/templates/ftmpl_functions.h>
-  #include <factory/templates/ftmpl_matrix.cc>
-  template class Factor<CanonicalForm>;
-  template class List<CFFactor>;
-  template class ListItem<CFFactor>;
-  template class ListItem<CanonicalForm>;
-  template class ListIterator<CFFactor>;
-  template class List<CanonicalForm>;
-  template class List<List<CanonicalForm> >;
-  template class ListIterator<CanonicalForm>;
-  template class Array<CanonicalForm>;
-  template class List<MapPair>;
-  template class ListItem<MapPair>;
-  template class ListIterator<MapPair>;
-  template class Matrix<CanonicalForm>;
-  template class SubMatrix<CanonicalForm>;
-  template class Array<REvaluation>;
-  template bool find ( const List<CanonicalForm> &, const CanonicalForm&);
-  template List<CFFactor> Union ( const List<CFFactor>&, const List<CFFactor>& );
-  template int operator == ( const Factor<CanonicalForm>&, const Factor<CanonicalForm>& );
-
-  template CanonicalForm tmax ( const CanonicalForm&, const CanonicalForm& );
-  template CanonicalForm tmin ( const CanonicalForm&, const CanonicalForm& );
-
-  template Variable tmax ( const Variable&, const Variable& );
-  template Variable tmin ( const Variable&, const Variable& );
-
-  template int tmax ( const int&, const int& );
-  template int tmin ( const int&, const int& );
-  template int tabs ( const int& );
-
-  int initializeGMP()
-  { return 1; }
-#endif
 
 #pragma GCC diagnostic ignored "-Wwrite-strings"