aring-style adapter for arbitrary-precision complex intervals, stored as (MPFI, MPFI) pairs. More...

#include <aring-CCi.hpp>

Inheritance diagram for M2::ARingCCi:

Public Types
typedef cci_struct	elem
typedef elem	ElementType

Public Member Functions
	ARingCCi (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 ARingCCC::ElementType &a, const ElementType &f) const
bool	is_member (const ARingRRi::ElementType &a, 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 (ElementType &result, const gmp_CCi 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
bool	set_from_BigComplex (ElementType &result, gmp_CC a) const
bool	set_from_BigComplex (ElementType &result, const cc_struct *a) const
bool	set_from_complex_double (ElementType &result, double re, double im) const
bool	set_from_ComplexInterval (ElementType &result, gmp_CCi a) const
bool	set_from_ComplexInterval (ElementType &result, ElementType &a) const
void	set_from_BigReals (ElementType &result, gmp_RR re, gmp_RR im) const
void	set_from_doubles (ElementType &result, double re, double im) const
const ARingRRi::ElementType &	realPartReference (const ElementType &a) const
const ARingRRi::ElementType &	imaginaryPartReference (const ElementType &a) const
void	set_real_part (ElementType &c, ARingRRi::ElementType &a) const
void	set_imaginary_part (ElementType &c, ARingRRi::ElementType &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 (ARingCCC::ElementType &a, const ElementType &b) const
void	diameter (ARingRRi::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
gmp_CC	toBigComplex (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_CCi

Private Attributes
unsigned long	mPrecision

Detailed Description

aring-style adapter for arbitrary-precision complex intervals, stored as (MPFI, MPFI) pairs.

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

ElementType is cci_struct — MPFI intervals for the real and imaginary components, so arithmetic yields rigorous containing intervals. mPrecision sets the per-bound MPFR precision. ringID = ring_CCi.

Definition at line 73 of file aring-CCi.hpp.

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

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

Public Types

Public Member Functions

Static Public Member Functions

Static Public Attributes

Private Attributes

Detailed Description