singext.cc File Reference

#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.

Functions
void	gmp_numerator (const CanonicalForm &f, mpz_ptr result)
void	gmp_denominator (const CanonicalForm &f, mpz_ptr result)
int	gf_value (const CanonicalForm &f)
CanonicalForm	make_cf (const mpz_ptr n)
CanonicalForm	make_cf (const mpz_ptr n, const mpz_ptr d, bool normalize)
CanonicalForm	make_cf_from_gf (const int z)

Function Documentation

gf_value()

int gf_value

(

const CanonicalForm &

f

)

Definition at line 60 of file singext.cc.

{
    InternalCF * ff = f.getval();
    return ((intptr_t)ff) >>2;
}

gmp_denominator()

void gmp_denominator	(	const CanonicalForm &	f,
		mpz_ptr	result
	)

Definition at line 40 of file singext.cc.

{
    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" );
    }
}

gmp_numerator()

void gmp_numerator	(	const CanonicalForm &	f,
		mpz_ptr	result
	)

Definition at line 20 of file singext.cc.

{
    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" );
    }
}

make_cf() [1/2]

CanonicalForm make_cf

(

const mpz_ptr

n

)

Definition at line 66 of file singext.cc.

{
    return CanonicalForm( CFFactory::basic( n ) );
}

make_cf() [2/2]

CanonicalForm make_cf	(	const mpz_ptr	n,
		const mpz_ptr	d,
		bool	normalize
	)

Definition at line 71 of file singext.cc.

{
    return CanonicalForm( CFFactory::rational( n, d, normalize ) );
}

make_cf_from_gf()

CanonicalForm make_cf_from_gf

(

const int

z

)

Definition at line 76 of file singext.cc.

{
    return CanonicalForm(int2imm_gf(z));
}