aring-style adapter for arbitrary-precision real intervals, backed by MPFI. More...

#include <aring-RRi.hpp>

Inheritance diagram for M2::ARingRRi:

Public Types
typedef __mpfi_struct	elem
typedef elem	ElementType

Public Member Functions
	ARingRRi (unsigned long precision)
size_t	characteristic () const
unsigned long	get_precision () const
void	text_out (buffer &o) const
unsigned int	computeHashValue (const elem &a) const
bool	is_unit (const ElementType &f) const
bool	is_zero (const ElementType &f) const
bool	is_equal (const ElementType &f, const ElementType &g) const
int	compare_elems (const ElementType &f, const ElementType &g) const
bool	is_empty (const ElementType &f) const
bool	is_member (const ARingRRR::ElementType &a, const ElementType &f) const
bool	is_member (mpq_srcptr a, const ElementType &f) const
bool	is_member (mpz_srcptr a, const ElementType &f) const
bool	is_member (long a, const ElementType &f) const
bool	is_member (double a, const ElementType &f) const
bool	is_subset (const ElementType &g, const ElementType &f) const
void	to_ring_elem (ring_elem &result, const ElementType &a) const
void	from_ring_elem (ElementType &result, const ring_elem &a) const
const ElementType &	from_ring_elem_const (const ring_elem &a) const
void	init (ElementType &result) const
void	init_set (ElementType &result, const ElementType &a) const
void	set (ElementType &result, const ElementType &a) const
void	set_zero (ElementType &result) const
void	copy (ElementType &result, const ElementType &a) const
void	set_from_long (ElementType &result, long a) const
void	set_var (ElementType &result, int v) const
void	set_from_mpz (ElementType &result, mpz_srcptr a) const
bool	set_from_mpq (ElementType &result, mpq_srcptr a) const
bool	set_from_double (ElementType &result, double a) const
bool	set_from_BigReal (ElementType &result, gmp_RR a) const
bool	set_from_Interval (ElementType &result, gmp_RRi a) const
void	negate (ElementType &result, const ElementType &a) const
void	invert (ElementType &result, const ElementType &a) const
void	add (ElementType &result, const ElementType &a, const ElementType &b) const
void	addMultipleTo (ElementType &result, const ElementType &a, const ElementType &b) const
void	subtract (ElementType &result, const ElementType &a, const ElementType &b) const
void	subtract_multiple (ElementType &result, const ElementType &a, const ElementType &b) const
void	mult (ElementType &result, const ElementType &a, const ElementType &b) const
void	divide (ElementType &result, const ElementType &a, const ElementType &b) const
void	power (ElementType &result, const ElementType &a, int n) const
void	power_mpz (ElementType &result, const ElementType &a, mpz_srcptr n) const
void	swap (ElementType &a, ElementType &b) const
void	midpoint (ARingRRR::ElementType &a, const ElementType &b) const
void	diameter (ARingRRR::ElementType &a, const ElementType &b) const
void	left (ARingRRR::ElementType &a, const ElementType &b) const
void	right (ARingRRR::ElementType &a, const ElementType &b) const
void	elem_text_out (buffer &o, const ElementType &a, bool p_one, bool p_plus, bool p_parens) const
void	syzygy (const ElementType &a, const ElementType &b, ElementType &x, ElementType &y) const
void	random (ElementType &result) const
void	eval (const RingMap *map, const ElementType &f, int first_var, ring_elem &result) const
void	zeroize_tiny (gmp_RR epsilon, ElementType &a) const
void	increase_norm (gmp_RRmutable norm, const ElementType &a) const
void	abs (ElementType &result, const ElementType &a) const
void	abs_squared (ElementType &result, const ElementType &a) const
double	coerceToDouble (const ElementType &a) const

Static Public Member Functions
static void	clear (ElementType &result)
Static Public Member Functions inherited from our_new_delete
static void *	operator new (size_t size)
static void *	operator new[] (size_t size)
static void	operator delete (void *obj)
static void	operator delete[] (void *obj)
static void *	operator new (size_t size, void *existing_memory)
static void *	operator new[] (size_t size, void *existing_memory)
static void	operator delete (void obj, void existing_memory)
static void	operator delete[] (void obj, void existing_memory)

Static Public Attributes
static const RingID	ringID = ring_RRi

Private Attributes
unsigned long	mPrecision

Detailed Description

aring-style adapter for arbitrary-precision real intervals, backed by MPFI.

Note: AI-generated documentation. Verify against the source before relying on it.

ElementType is __mpfi_struct — a closed interval [lo, hi] of MPFR endpoints, so arithmetic returns rigorous containing intervals. mPrecision sets the per-endpoint MPFR precision; characteristic is 0. ringID = ring_RRi. Forms the real component of ARingCCi.

Definition at line 68 of file aring-RRi.hpp.

The documentation for this class was generated from the following files:

Macaulay2/e/aring-RRi.hpp
Macaulay2/e/aring-RRi.cpp

Public Types

Public Member Functions

Static Public Member Functions

Static Public Attributes

Private Attributes

Detailed Description