singext.h File Reference

helper functions for conversion to and from Singular More...

#include "canonicalform.h"
#include "factory/cf_gmp.h"
#include "resources/feFopen.h"

Go to the source code of this file.

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

Detailed Description

helper functions for conversion to and from Singular

Definition in file singext.h.

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 FACTORY_PUBLIC gmp_denominator	(	const CanonicalForm &	f,
		mpz_ptr	result
	)

Definition at line 136 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 FACTORY_PUBLIC gmp_numerator	(	const CanonicalForm &	f,
		mpz_ptr	result
	)

Definition at line 135 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 FACTORY_PUBLIC make_cf

(

const mpz_ptr

n

)

Definition at line 66 of file singext.cc.

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

make_cf() [2/2]

CanonicalForm FACTORY_PUBLIC 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));
}