![]() |
My Project
|
#include <cf_factory.h>
Static Public Member Functions | |
static int | gettype () |
static void | settype (int type) |
static InternalCF * | basic (int value) |
static InternalCF * | basic (long value) |
static InternalCF * | basic (int type, long value) |
static InternalCF * | basic (const char *str) |
static InternalCF * | basic (const char *str, int base) |
static InternalCF * | basic (int type, const char *const str) |
static InternalCF * | basic (int type, long value, bool nonimm) |
static InternalCF * | basic (const mpz_ptr num) |
static InternalCF * | rational (long num, long den) |
static InternalCF * | rational (const mpz_ptr num, const mpz_ptr den, bool normalize) |
static InternalCF * | poly (const Variable &v, int exp, const CanonicalForm &c) |
static InternalCF * | poly (const Variable &v, int exp=1) |
Static Private Attributes | |
static int | currenttype = IntegerDomain |
Definition at line 23 of file cf_factory.h.
|
static |
Definition at line 122 of file cf_factory.cc.
|
static |
Definition at line 163 of file cf_factory.cc.
|
static |
Definition at line 261 of file cf_factory.cc.
|
static |
Definition at line 204 of file cf_factory.cc.
|
static |
Definition at line 99 of file cf_factory.cc.
|
static |
Definition at line 245 of file cf_factory.cc.
|
static |
Definition at line 61 of file cf_factory.cc.
|
static |
Definition at line 31 of file cf_factory.cc.
Definition at line 28 of file cf_factory.h.
|
static |
Definition at line 286 of file cf_factory.cc.
|
static |
Definition at line 295 of file cf_factory.cc.
Definition at line 275 of file cf_factory.cc.
|
static |
Definition at line 268 of file cf_factory.cc.
Definition at line 29 of file cf_factory.h.
|
staticprivate |
Definition at line 26 of file cf_factory.h.