#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.
§ 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 67 of file singext.cc.
static InternalCF * basic(long value)
§ make_cf() [2/2]
Definition at line 73 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 78 of file singext.cc.
InternalCF * int2imm_gf(long i)