cf_factory.h
Go to the documentation of this file.
1 /* emacs edit mode for this file is -*- C++ -*- */
2 
3 /**
4  * @file cf_factory.h
5  *
6  * Interface to generate InternalCF's over various domains from intrinsic types
7  * or mpz_t's
8 **/
9 #ifndef INCL_CF_FACTORY_H
10 #define INCL_CF_FACTORY_H
11 
12 // #include "config.h"
13 
14 #include "cf_defs.h"
15 #include "variable.h"
16 
17 #include <factory/cf_gmp.h>
18 
19 class InternalCF;
20 class CanonicalForm;
21 
22 class CFFactory
23 {
24 private:
25  static int currenttype;
26 public:
27  static int gettype () { return currenttype; }
28  static void settype ( int type );
29  static InternalCF * basic ( long value );
30  static InternalCF * basic ( int type, long value );
31  static InternalCF * basic ( const char * str );
32  static InternalCF * basic ( const char * str, int base );
33  static InternalCF * basic ( int type, const char * const str );
34  static InternalCF * basic ( int type, long value, bool nonimm );
35  static InternalCF * basic ( const mpz_ptr num );
36  static InternalCF * rational ( long num, long den );
37  static InternalCF * rational ( const mpz_ptr num, const mpz_ptr den, bool normalize );
38  static InternalCF * poly ( const Variable & v, int exp, const CanonicalForm & c );
39  static InternalCF * poly ( const Variable & v, int exp = 1 );
40 };
41 
42 void getmpi ( InternalCF * value, mpz_t mpi);
43 
44 #endif /* ! INCL_CF_FACTORY_H */
static poly normalize(poly next_p, ideal add_generators, syStrategy syzstr, int *g_l, int *p_l, int crit_comp)
Definition: syz3.cc:1028
CanonicalForm num(const CanonicalForm &f)
factory's class for variables
Definition: variable.h:32
char N base
Definition: ValueTraits.h:144
factory's main class
Definition: canonicalform.h:75
static InternalCF * poly(const Variable &v, int exp, const CanonicalForm &c)
Definition: cf_factory.cc:238
virtual class for internal CanonicalForm's
Definition: int_cf.h:39
static InternalCF * rational(long num, long den)
Definition: cf_factory.cc:220
static int currenttype
Definition: cf_factory.h:25
static InternalCF * basic(long value)
Definition: cf_factory.cc:28
factory switches.
operations on variables
const Variable & v
< [in] a sqrfree bivariate poly
Definition: facBivar.h:37
static int gettype()
Definition: cf_factory.h:27
CanonicalForm den(const CanonicalForm &f)
p exp[i]
Definition: DebugPrint.cc:39
void getmpi(InternalCF *value, mpz_t mpi)
Definition: cf_factory.cc:255
static void settype(int type)
Definition: cf_factory.cc:21