1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79
|
/* emacs edit mode for this file is -*- C++ -*- */
#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"
void gmp_numerator ( const CanonicalForm & f, mpz_ptr result )
{
InternalCF * ff = f.getval();
ASSERT( ! is_imm( ff ), "illegal type" );
if ( ff->levelcoeff() == IntegerDomain )
{
mpz_init_set( result, (InternalInteger::MPI( ff )) );
ff->deleteObject();
}
else if ( ff->levelcoeff() == RationalDomain )
{
mpz_init_set( result, (InternalRational::MPQNUM( ff )) );
ff->deleteObject();
}
else
{
ASSERT( 0, "illegal type" );
}
}
void gmp_denominator ( const CanonicalForm & f, mpz_ptr result )
{
InternalCF * ff = f.getval();
ASSERT( ! is_imm( ff ), "illegal type" );
if ( ff->levelcoeff() == IntegerDomain )
{
mpz_init_set_si( result, 1 );
ff->deleteObject();
}
else if ( ff->levelcoeff() == RationalDomain )
{
mpz_init_set( result, (InternalRational::MPQDEN( ff )) );
ff->deleteObject();
}
else
{
ASSERT( 0, "illegal type" );
}
}
int gf_value (const CanonicalForm & f )
{
InternalCF * ff = f.getval();
return ((intptr_t)ff) >>2;
}
CanonicalForm make_cf ( const mpz_ptr n )
{
return CanonicalForm( CFFactory::basic( n ) );
}
CanonicalForm make_cf ( const mpz_ptr n, const mpz_ptr d, bool normalize )
{
return CanonicalForm( CFFactory::rational( n, d, normalize ) );
}
CanonicalForm make_cf_from_gf ( const int z )
{
return CanonicalForm(int2imm_gf(z));
}
|