#include <cf_factory.h>
|
static int | gettype () |
|
static void | settype (int type) |
|
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) |
|
Definition at line 23 of file cf_factory.h.
◆ basic() [1/7]
Definition at line 30 of file cf_factory.cc.
49 ASSERT( 0,
"illegal basic domain!" );
static InternalCF * int2imm(long i)
InternalCF * int2imm_p(long i)
#define LIKELY(expression)
For optimizing if-branches.
InternalCF * int2imm_gf(long i)
#define GaloisFieldDomain
#define ASSERT(expression, message)
factory's class for integers
#define FiniteFieldDomain
◆ basic() [2/7]
InternalCF * CFFactory::basic |
( |
int |
type, |
|
|
long |
value |
|
) |
| |
|
static |
Definition at line 56 of file cf_factory.cc.
73 ASSERT1( 0,
"illegal basic domain (type = %d)!", type );
static InternalCF * int2imm(long i)
InternalCF * int2imm_p(long i)
#define LIKELY(expression)
For optimizing if-branches.
#define ASSERT1(expression, message, parameter1)
InternalCF * int2imm_gf(long i)
#define GaloisFieldDomain
factory's class for integers
#define FiniteFieldDomain
◆ basic() [3/7]
Definition at line 79 of file cf_factory.cc.
114 ASSERT( 0,
"illegal basic domain!" );
static InternalCF * int2imm(long i)
InternalCF * int2imm_p(long i)
virtual class for internal CanonicalForm's
InternalCF * int2imm_gf(long i)
#define GaloisFieldDomain
#define ASSERT(expression, message)
factory's class for integers
#define FiniteFieldDomain
◆ basic() [4/7]
Definition at line 120 of file cf_factory.cc.
155 ASSERT( 0,
"illegal basic domain!" );
static InternalCF * int2imm(long i)
InternalCF * int2imm_p(long i)
virtual class for internal CanonicalForm's
InternalCF * int2imm_gf(long i)
#define GaloisFieldDomain
#define ASSERT(expression, message)
factory's class for integers
#define FiniteFieldDomain
◆ basic() [5/7]
Definition at line 161 of file cf_factory.cc.
196 ASSERT( 0,
"illegal basic domain!" );
static InternalCF * int2imm(long i)
virtual class for internal CanonicalForm's
InternalCF * int2imm_gf(long i)
#define GaloisFieldDomain
#define ASSERT(expression, message)
factory's class for integers
#define FiniteFieldDomain
◆ basic() [6/7]
InternalCF * CFFactory::basic |
( |
int |
type, |
|
|
long |
value, |
|
|
bool |
nonimm |
|
) |
| |
|
static |
Definition at line 202 of file cf_factory.cc.
210 ASSERT( 0,
"illegal basic domain!" );
static InternalCF * basic(long value)
#define ASSERT(expression, message)
factory's class for integers
factory's class for rationals
◆ basic() [7/7]
Definition at line 218 of file cf_factory.cc.
#define ASSERT(expression, message)
factory's class for integers
◆ gettype()
static int CFFactory::gettype |
( |
| ) |
|
|
inlinestatic |
◆ poly() [1/2]
Definition at line 243 of file cf_factory.cc.
gmp_float exp(const gmp_float &a)
factory's class for polynomials
◆ poly() [2/2]
Definition at line 252 of file cf_factory.cc.
gmp_float exp(const gmp_float &a)
factory's class for polynomials
static InternalCF * basic(long value)
◆ rational() [1/2]
InternalCF * CFFactory::rational |
( |
long |
num, |
|
|
long |
den |
|
) |
| |
|
static |
Definition at line 225 of file cf_factory.cc.
InternalCF * normalize_myself()
reduce InternalRational to lowest terms
factory's class for rationals
◆ rational() [2/2]
Definition at line 232 of file cf_factory.cc.
static poly normalize(poly next_p, ideal add_generators, syStrategy syzstr, int *g_l, int *p_l, int crit_comp)
InternalCF * normalize_myself()
reduce InternalRational to lowest terms
factory's class for rationals
◆ settype()
static void CFFactory::settype |
( |
int |
type | ) |
|
|
inlinestatic |
Definition at line 29 of file cf_factory.h.
#define GaloisFieldDomain
#define ASSERT(expression, message)
#define FiniteFieldDomain
◆ currenttype
The documentation for this class was generated from the following files: