#include "config.h"
#include "cf_assert.h"
#include "cf_defs.h"
#include "singext.h"
#include "int_cf.h"
#include "int_int.h"
#include "int_rat.h"
#include "imm.h"
#include "cf_factory.h"
#include <factory/cf_gmp.h>
Go to the source code of this file.
◆ ABS
#define ABS |
( |
|
x | ) |
((x)<0?(-(x)):(x)) |
◆ gf_value()
Definition at line 60 of file singext.cc.
63 return ((intptr_t)ff) >>2;
virtual class for internal CanonicalForm's
◆ gmp_denominator()
Definition at line 40 of file singext.cc.
46 mpz_init_set_si(
result, 1 );
56 ASSERT( 0,
"illegal type" );
static mpz_ptr MPQDEN(const InternalCF *const c)
virtual class for internal CanonicalForm's
virtual int levelcoeff() const
#define ASSERT(expression, message)
◆ gmp_numerator()
Definition at line 20 of file singext.cc.
36 ASSERT( 0,
"illegal type" );
virtual class for internal CanonicalForm's
virtual int levelcoeff() const
static mpz_ptr MPI(const InternalCF *const c)
MPI() - return underlying mpz_t of `c'.
#define ASSERT(expression, message)
static mpz_ptr MPQNUM(const InternalCF *const c)
◆ make_cf() [1/2]
Definition at line 70 of file singext.cc.
static InternalCF * basic(long value)
◆ make_cf() [2/2]
Definition at line 81 of file singext.cc.
static poly normalize(poly next_p, ideal add_generators, syStrategy syzstr, int *g_l, int *p_l, int crit_comp)
static InternalCF * rational(long num, long den)
◆ make_cf_from_gf()
Definition at line 86 of file singext.cc.
InternalCF * int2imm_gf(long i)