#include "form3.h"
#include <gmp.h>
#include <mpfr.h>

Include dependency graph for evaluate.c:

Macros
#define	EXTRAPRECISION 4

#define	RND MPFR_RNDN

#define	auxr1 (((mpfr_t *)(AT.auxr_))[0])

#define	auxr2 (((mpfr_t *)(AT.auxr_))[1])

#define	auxr3 (((mpfr_t *)(AT.auxr_))[2])

#define	auxr4 (((mpfr_t *)(AT.auxr_))[3])

#define	auxr5 (((mpfr_t *)(AT.auxr_))[4])

Functions
int	PackFloat (WORD *, mpf_t)

int	UnpackFloat (mpf_t, WORD *)

void	RatToFloat (mpf_t, UWORD *, int)

void	FormtoZ (mpz_t, UWORD *, WORD)

void	IntegerToFloatr (mpfr_t result, UWORD *formlong, int longsize)

void	RatToFloatr (mpfr_t result, UWORD *formrat, int ratsize)

void	SetfFloatPrecision (LONG prec)

void	ClearfFloat (void)

int	GetFloatArgument (PHEAD mpfr_t f_out, WORD *fun, int par)

int	GetPiArgument (PHEAD WORD *arg)

int	EvaluateFun (PHEAD WORD term, WORD level, WORD pars)

Variables
mpf_t	ln2

Detailed Description

Evaluation of functions for the floating-point system, by interfacing with MPFR.

Definition in file evaluate.c.

Macro Definition Documentation

◆ EXTRAPRECISION

#define EXTRAPRECISION 4

Definition at line 39 of file evaluate.c.

◆ RND

#define RND MPFR_RNDN

Definition at line 41 of file evaluate.c.

◆ auxr1

#define auxr1 (((mpfr_t *)(AT.auxr_))[0])

Definition at line 43 of file evaluate.c.

◆ auxr2

#define auxr2 (((mpfr_t *)(AT.auxr_))[1])

Definition at line 44 of file evaluate.c.

◆ auxr3

#define auxr3 (((mpfr_t *)(AT.auxr_))[2])

Definition at line 45 of file evaluate.c.

◆ auxr4

#define auxr4 (((mpfr_t *)(AT.auxr_))[3])

Definition at line 46 of file evaluate.c.

◆ auxr5

#define auxr5 (((mpfr_t *)(AT.auxr_))[4])

Definition at line 47 of file evaluate.c.

Function Documentation

◆ PackFloat()

int PackFloat	(	WORD *	fun,
		mpf_t	infloat
	)

Definition at line 271 of file float.c.

◆ UnpackFloat()

int UnpackFloat	(	mpf_t	outfloat,
		WORD *	fun
	)

Definition at line 366 of file float.c.

◆ RatToFloat()

void RatToFloat	(	mpf_t	result,
		UWORD *	formrat,
		int	ratsize
	)

Definition at line 624 of file float.c.

◆ FormtoZ()

void FormtoZ	(	mpz_t	z,
		UWORD *	a,
		WORD	na
	)

Definition at line 515 of file float.c.

◆ IntegerToFloatr()

void IntegerToFloatr	(	mpfr_t	result,
		UWORD *	formlong,
		int	longsize
	)

Definition at line 65 of file evaluate.c.

◆ RatToFloatr()

void RatToFloatr	(	mpfr_t	result,
		UWORD *	formrat,
		int	ratsize
	)

Definition at line 81 of file evaluate.c.

◆ SetfFloatPrecision()

void SetfFloatPrecision ( LONG prec )

Definition at line 108 of file evaluate.c.

◆ ClearfFloat()

void ClearfFloat ( void )

Definition at line 141 of file evaluate.c.

◆ GetFloatArgument()

int GetFloatArgument	(	PHEAD mpfr_t	f_out,
		WORD *	fun,
		int	par
	)

Definition at line 180 of file evaluate.c.

◆ GetPiArgument()

int GetPiArgument ( PHEAD WORD * arg )

Definition at line 275 of file evaluate.c.

◆ EvaluateFun()

int EvaluateFun	(	PHEAD WORD *	term,
		WORD	level,
		WORD *	pars
	)

Definition at line 368 of file evaluate.c.

Variable Documentation

◆ ln2

mpf_t ln2

Definition at line 49 of file evaluate.c.

Macros

Functions

Variables