Loading...
Searching...
No Matches
ftmpl_inst.cc
Go to the documentation of this file.
/* emacs edit mode for this file is -*- C++ -*- */
/**
*
* @file ftmpl_inst.cc
*
* Factory's template instantiations.
*
* For a detailed description how to instantiate Factory's
* template classes and functions and how to add new
* instantiations see the `README' file.
*
**/
#include "config.h"
// #include "factory.h"
#include "cf_iter.h"
#include "canonicalform.h"
#include "cf_assert.h"
#include "cf_reval.h"
#include "cf_map.h"
#include "templates/ftmpl_array.cc"
#include "templates/ftmpl_afactor.cc"
#include "templates/ftmpl_factor.cc"
#include "templates/ftmpl_list.cc"
#include "templates/ftmpl_functions.h"
#include "templates/ftmpl_matrix.cc"
/** explicit template class instantiations **/
template class Factor<CanonicalForm>;
template class List<CFFactor>;
template class ListItem<CFFactor>;
template class ListIterator<CFFactor>;
template class AFactor<CanonicalForm>;
template class List<CFAFactor>;
template class ListItem<CFAFactor>;
template class ListIterator<CFAFactor>;
template class List<CanonicalForm>;
template class ListItem<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>;
// libfac:
template class Array<int>;
template class Array<Variable>;
template class List<Variable>;
template class ListItem<Variable>;
template class ListIterator<Variable> ;
template class List<int>;
template class ListItem<int>;
template class ListIterator<int>;
template class List< List<int> >;
template class ListItem< List<int> >;
template class ListIterator< List<int> >;
template class List< List<CanonicalForm> >;
template class ListItem< List<CanonicalForm> >;
template class ListIterator< List<CanonicalForm> >;
template List<Variable> Union ( const List<Variable>&, const List<Variable>& );
template List<Variable> Difference ( const List<Variable>&, const List<Variable>& );
// NTL 6
#ifdef HAVE_NTL
#include<NTL/version.h>
#if NTL_MAJOR_VERSION == 6
#include<NTL/tools.h>
#include<NTL/lzz_pE.h>
#include<NTL/lzz_pEX.h>
#include<NTL/lzz_p.h>
#include<NTL/vector.h>
#include<NTL/pair.h>
#include<NTL/GF2X.h>
#include<NTL/GF2EX.h>
#include<NTL/ZZ.h>
#include<NTL/ZZX.h>
#include<NTL/ZZ_pX.h>
#include<NTL/vector.h>
#ifdef NTL_CLIENT // in <NTL/tools.h>: using of name space NTL
NTL_CLIENT
#endif
template void BlockDestroy<zz_pE> (zz_pE*, long);
template void BlockConstruct<zz_pE> (zz_pE*, long);
template void BlockDestroy<Pair<zz_pEX, long> > (Pair<zz_pEX, long>*, long);
template void BlockDestroy<Pair<GF2EX, long> > (Pair<GF2EX, long>*, long);
template void BlockDestroy<Pair<ZZX, long> > (Pair<ZZX, long>*, long);
template void BlockDestroy<Pair<ZZ_pX, long> > (Pair<ZZ_pX, long>*, long);
template void BlockDestroy<Pair<GF2X, long> > (Pair<GF2X, long>*, long);
template void BlockDestroy<Vec<zz_pE> > (Vec<zz_pE>*, long);
template class Vec<zz_p>;
template class Vec<Vec<zz_p> >;
template class Vec<zz_pE>;
template class Vec<ZZ>;
template class Vec<Vec<ZZ> >;
template class Mat<zz_p>;
template class Mat<zz_pE>;
template class Mat<ZZ>;
template class Vec<Pair<zz_pEX, long> >;
template class Vec<Pair<GF2EX, long> >;
template class Vec<Pair<ZZX, long> >;
template class Vec<Pair<ZZ_pX, long> >;
template class Vec<Pair<GF2X, long> >;
template class Vec<Vec<zz_pE> >;
template void swap<zz_pE>(Vec<zz_pE>&, Vec<zz_pE>&);
template long operator==<zz_p>(Vec<zz_p> const&, Vec<zz_p> const&);
#endif
#endif
/** explicit template function instantiations **/
#ifndef NOSTREAMIO
template OSTREAM & operator << ( OSTREAM &, const List<CanonicalForm> & );
template OSTREAM & operator << ( OSTREAM &, const List<CFFactor> & );
template OSTREAM & operator << ( OSTREAM &, const List<MapPair> & );
template OSTREAM & operator << ( OSTREAM &, const Array<CanonicalForm> & );
template OSTREAM & operator << ( OSTREAM &, const Factor<CanonicalForm> & );
template OSTREAM & operator << ( OSTREAM &, const Matrix<CanonicalForm> & );
template OSTREAM & operator << ( OSTREAM &, const Array<REvaluation> & );
//template OSTREAM & operator << ( OSTREAM &, const AFactor<CanonicalForm> & );
#endif /* NOSTREAMIO */
template int operator == ( const Factor<CanonicalForm> &, const Factor<CanonicalForm> & );
template int operator == ( const AFactor<CanonicalForm> &, const AFactor<CanonicalForm> & );
template List<CFFactor> Union ( const List<CFFactor> &, const List<CFFactor> & );
template List<CFAFactor> Union ( const List<CFAFactor> &, const List<CFAFactor> & );
#if ! defined(WINNT) || defined(__GNUC__)
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 & );
#endif
//
template int operator== (const List<CanonicalForm> &, const List<CanonicalForm> &);
template List<CanonicalForm> Union ( const List<CanonicalForm> &, const List<CanonicalForm> & );
template List<CFList> Union ( const List<CFList>&, const List<CFList>&);
template List<CanonicalForm> Difference ( const List<CanonicalForm> &, const List<CanonicalForm> & );
template List<List<CanonicalForm> > Difference ( const List<List<CanonicalForm> >&, const List<List<CanonicalForm> >&);
template List<List<CanonicalForm> > Difference ( const List<List<CanonicalForm> >&, const List<CanonicalForm>&);
template CanonicalForm prod ( const List<CanonicalForm> & );
template bool find ( const List<CanonicalForm> &, const CanonicalForm&);
template bool find ( const List<List<CanonicalForm> >&, const List<CanonicalForm>&);
// place here your own template stuff, not yet instantiated by factory
//
swap
#define swap(_i, _j)
canonicalform.h
Header for factory's main class CanonicalForm.
OSTREAM
#define OSTREAM
Definition canonicalform.h:16
cf_assert.h
assertions for Factory
cf_iter.h
Iterators for CanonicalForm's.
cf_map.h
map polynomials
cf_reval.h
generate random evaluation points
tabs
int tabs
Definition checklibs.c:11
AFactor
Definition ftmpl_afactor.h:17
Array
Definition ftmpl_array.h:18
CanonicalForm
factory's main class
Definition canonicalform.h:86
Factor
Definition ftmpl_factor.h:18
ListItem
Definition ftmpl_list.h:29
ListIterator
Definition ftmpl_list.h:87
List
Definition ftmpl_list.h:52
Matrix
Definition ftmpl_matrix.h:29
SubMatrix
Definition ftmpl_matrix.h:72
Variable
factory's class for variables
Definition factory.h:127
prod
fq_nmod_poly_t prod
Definition facHensel.cc:100
ftmpl_afactor.cc
ftmpl_array.cc
ftmpl_factor.cc
ftmpl_functions.h
some useful template functions.
tmax
template CanonicalForm tmax(const CanonicalForm &, const CanonicalForm &)
operator<<
template OSTREAM & operator<<(OSTREAM &, const List< CanonicalForm > &)
explicit template function instantiations
tmin
template CanonicalForm tmin(const CanonicalForm &, const CanonicalForm &)
Union
template List< Variable > Union(const List< Variable > &, const List< Variable > &)
operator==
template int operator==(const Factor< CanonicalForm > &, const Factor< CanonicalForm > &)
Difference
template List< Variable > Difference(const List< Variable > &, const List< Variable > &)
find
template bool find(const List< CanonicalForm > &, const CanonicalForm &)
ftmpl_list.cc
ftmpl_matrix.cc