include/continewz/analytic.hpp File Reference

#include <basix/vector.hpp>
#include <basix/table.hpp>
#include <basix/pair.hpp>
#include <numerix/floating.hpp>
#include <numerix/complex_double.hpp>
#include <numerix/ball_complex.hpp>
#include <algebramix/series.hpp>
#include <algebramix/series_elementary.hpp>
#include <analyziz/newton_polygon.hpp>
#include <analyziz/polynomial_numeric.hpp>

Go to the source code of this file.

Classes

class std_analytic
struct unvectorize< C >
class analytic_cache< C, V >
class assume_bound< C >
class analytic< C, V >
struct radius_ratio_helper< C, FM >
struct radius_ratio_helper< C, empty_format >
class recursive_analytic_rep< C, V >
class recursive_container_analytic_rep< C, V >
class zero_analytic_rep< C, V >
class polynomial_analytic_rep< C, V >
class nullary_recursive_analytic_rep< Op, C, V >
class unary_analytic_rep< Op, C, V >
class unary_recursive_analytic_rep< Op, C, V >
class binary_analytic_rep< Op, C, V >
class binary_recursive_analytic_rep< Op, C, V >
class binary_scalar_analytic_rep< Op, C, V, X >
class add_analytic_rep< C, V >
class neg_analytic_rep< C, V >
class sub_analytic_rep< C, V >
class sc_mul_analytic_rep< C, V >
class mul_analytic_rep< C, V >
class div_analytic_rep< C, V >
class lshiftz_analytic_rep< C, V >
class integrate_analytic_rep< C, V >
class compose_analytic_rep< C, V >
class reverse_analytic_rep< C, V >

Namespaces

namespace mmx

Defines

#define TMPL_DEF template<typename C,typename V= std_analytic>
#define TMPL template<typename C, typename V>
#define TMPLK template<typename C, typename V, typename K>
#define Format format<C>
#define Analytic analytic<C,V>
#define Analytic_rep analytic_rep<C,V>
#define Recursive_analytic_rep recursive_analytic_rep<C,V>
#define Assume assume_bound<typename unvectorize<R >::val>
#define Scalar typename unvectorize<C>::val
#define Radius Abs_type(Scalar)
#define Series series<C>
#define Series_rep series_rep<C>
#define Recursive_series_rep recursive_series_rep<C>
#define Polynomial polynomial<C>
#define R Abs_type(C)
#define CACHE_EXPANSION 1
#define CACHE_TAIL_BOUND 2
#define CACHE_RADIUS_BOUND 4
#define CACHE_MOVE 8
#define CACHE_EVAL 16
#define CACHE_ALL 32
#define mmx_analytic(R, C) analytic<C >

Typedefs

typedef long long unsigned int llnat

Functions

template<typename C , typename V > analytic< C, V > lshiftz (const analytic< C, V > &f, const int &shift=1)
template<typename C , typename V > analytic< C, V > rshiftz (const analytic< C, V > &f, const int &shift=1)
template<typename C > C safe_div (const C &n, const C &d)
template<typename C , typename T > C minimum_quotients (const table< vector< C >, T > &t, const table< vector< C >, T > &u)
template<typename C > bool less (const C &x, const C &y, bool sure)
template<typename C > bool less (const ball< C > &x, const ball< C > &y, bool sure)
template<typename C , typename T > bool less (const table< vector< C >, T > &t, const table< vector< C >, T > &u, bool sure)
template<typename C , typename T > nat total_size (const table< vector< C >, T > &t)
template<typename C , typename V = std_analytic> class analytic_rep REP_STRUCT_1 (C)
INDIRECT_IMPL_2 (analytic, analytic_rep, typename C, C, typename V, V) DEFINE_UNARY_FORMAT_2(analytic) STYPE_TO_TYPE(template< typename C
template<typename C , typename V > format< C > CF (const analytic< C, V > &f)
template<typename C , typename V > analytic< C, V > operator+ (const analytic< C, V > &f, const analytic< C, V > &g)
template<typename C , typename V > analytic< C, V > operator- (const analytic< C, V > &f)
template<typename C , typename V > analytic< C, V > operator- (const analytic< C, V > &f, const analytic< C, V > &g)
template<typename C , typename V , typename K > analytic< C, V > operator* (const K &c, const analytic< C, V > &f)
template<typename C , typename V > analytic< C, V > operator* (const analytic< C, V > &f, const C &c)
template<typename C , typename V > analytic< C, V > operator/ (const analytic< C, V > &f, const C &c)
template<typename C , typename V > analytic< C, V > operator* (const analytic< C, V > &f, const analytic< C, V > &g)
template<typename C , typename V > analytic< C, V > operator/ (const analytic< C, V > &f, const analytic< C, V > &g)
template<typename C , typename V > analytic< C, V > integrate (const analytic< C, V > &f)
template<typename C , typename V > analytic< C, V > integrate_init (const analytic< C, V > &f, const C &c)
template<typename C , typename V > analytic< C, V > sqrt (const analytic< C, V > &f)
template<typename C , typename V > analytic< C, V > sqrt_init (const analytic< C, V > &f, const C &c)
template<typename C , typename V > analytic< C, V > exp (const analytic< C, V > &f)
template<typename C , typename V > analytic< C, V > log (const analytic< C, V > &f)
template<typename C , typename V > analytic< C, V > log_init (const analytic< C, V > &f, const C &c)
template<typename C , typename V > analytic< C, V > cos (const analytic< C, V > &f)
template<typename C , typename V > analytic< C, V > sin (const analytic< C, V > &f)
template<typename C , typename V > analytic< C, V > tan (const analytic< C, V > &f)
template<typename C , typename V > analytic< C, V > acos (const analytic< C, V > &f)
template<typename C , typename V > analytic< C, V > asin (const analytic< C, V > &f)
template<typename C , typename V > analytic< C, V > atan (const analytic< C, V > &f)
template<typename C , typename V > analytic< C, V > fast_eval (const analytic< C, V > &f)
template<typename C , typename V > analytic< C, V > cache_last (const analytic< C, V > &f)
template<typename C , typename V > analytic< C, V > radial (const analytic< C, V > &f)
template<typename C , typename V > analytic< C, V > heuristic (const polynomial< C > &f)
template<typename C , typename V > void clear_cache (const analytic< C, V > &f, nat which)
template<typename C , typename V > series< C > expand (const analytic< C, V > &f)
template<typename C , typename V > series< C > expand (const analytic< C, V > &f, nat order)
template<typename C , typename V > polynomial< C > truncate (const analytic< C, V > &f, nat n)
template<typename C , typename V > polynomial< C > range (const analytic< C, V > &f, nat i, nat j)
template<typename C , typename V > analytic< C, V > derive (const analytic< C, V > &f)
template<typename C , typename V > analytic< C, V > xderive (const analytic< C, V > &f)
template<typename C , typename V > generic var (const analytic< C, V > &f)
HARD_TO_EXACT_IDENTITY_SUGAR (template< typename C, typename V >, analytic< C, V >) template< typename C
V nat hash (const analytic< C, V > &f)
template<typename C , typename V > bool operator== (const analytic< C, V > &f, const analytic< C, V > &g)
template<typename C , typename V > bool operator!= (const analytic< C, V > &f, const analytic< C, V > &g)
template<typename C , typename V > syntactic flatten (const analytic< C, V > &f, const syntactic &z)
template<typename C , typename V > syntactic flatten (const analytic< C, V > &f)
template<typename C , typename V > Abs_type (C) tail_bound(const analytic<C
V const Abs_type (typename unvectorize< C >::val)&r
V nat default_order (const analytic< C, V > &f)
template<typename C > C big_max (const C &x)
V analytic< C, V > move (const analytic< C, V > &f, const typename unvectorize< C >::val &z)
template<typename C , typename V > C default_eval (const analytic< C, V > &f, const typename unvectorize< C >::val &z)
template<typename C , typename V > C eval (const analytic< C, V > &f, const typename unvectorize< C >::val &z)
template<typename C > list< C > simplify (const list< C > &l, const Abs_type(C)&r)
template<typename C > C shrink (const C &z)
template<typename C , typename V > analytic< C, V > default_move (const analytic< C, V > &f2, const list< typename unvectorize< C >::val > &l2)
template<typename C , typename V > C default_eval (const analytic< C, V > &f2, const list< typename unvectorize< C >::val > &l2)
template<typename C , typename V > analytic< C, V > move (const analytic< C, V > &f, const list< typename unvectorize< C >::val > &l)
template<typename C , typename V > C eval (const analytic< C, V > &f, const list< typename unvectorize< C >::val > &l)
template<typename C , typename V > analytic< C, V > move (const analytic< C, V > &f, const vector< typename unvectorize< C >::val > &v)
template<typename C , typename V > C eval (const analytic< C, V > &f, const vector< typename unvectorize< C >::val > &v)
template<typename C , typename V > analytic< C, V > radial_move (const analytic< C, V > &f, const typename unvectorize< C >::val &z)
template<typename C , typename V > C radial_eval (const analytic< C, V > &f, const typename unvectorize< C >::val &z)
template<typename C , typename V > analytic< C, V > recursive (recursive_analytic_rep< C, V > *f)
template<typename Real > analytic< Complex_type(Real) > analytic_complex (const vector< Real > &v)
template<typename Op , typename C > analytic< C > nullary_recursive_analytic (const C &c)
template<typename Op , typename C , typename V > analytic< C, V > unary_analytic (const analytic< C, V > &f)
template<typename Op , typename C , typename V > analytic< C, V > unary_recursive_analytic (const analytic< C, V > &f)
template<typename Op , typename C , typename V > analytic< C, V > unary_recursive_analytic (const analytic< C, V > &f, const C &c)
template<typename Op , typename C , typename V > analytic< C, V > binary_analytic (const analytic< C, V > &f, const analytic< C, V > &g)
template<typename Op , typename C , typename V > analytic< C, V > binary_recursive_analytic (const analytic< C, V > &f, const analytic< C, V > &g)
template<typename Op , typename C , typename V , typename X > analytic< C, V > binary_scalar_analytic (const analytic< C, V > &f, const X &x)
template<typename C , typename V > analytic< C, V > operator+ (const C &f, const analytic< C, V > &g)
template<typename C , typename V > analytic< C, V > operator+ (const analytic< C, V > &f, const C &g)
template<typename C , typename V > analytic< C, V > operator- (const C &f, const analytic< C, V > &g)
template<typename C , typename V > analytic< C, V > operator- (const analytic< C, V > &f, const C &g)
template<typename C , typename V > analytic< C, V > operator/ (const C &f, const analytic< C, V > &g)
ARITH_SCALAR_INT_SUGAR (template< typename C, typename V >, analytic< C, V >)
template<typename C , typename V > analytic< C, V > pow (const analytic< C, V > &f, const C &c)
template<typename C , typename V > analytic< C, V > pow (const analytic< C, V > &f, const analytic< C, V > &g)
template<typename C , typename V > analytic< C, V > acos_init (const analytic< C, V > &f, const C &c)
template<typename C , typename V > analytic< C, V > asin_init (const analytic< C, V > &f, const C &c)
template<typename C , typename V > analytic< C, V > atan_init (const analytic< C, V > &f, const C &c)
INV_TRIGO_SUGAR (template< typename C, typename V >, analytic< C, V >) HYPER_SUGAR(template< typename C
template<typename C , typename V > analytic< C, V > analytic< C,
V > analytic< C, V > compose (const analytic< C, V > &f, const analytic< C, V > &g)
template<typename C , typename V > analytic< C, V > reverse (const analytic< C, V > &f)
template<typename C > analytic< C > make_mmx_analytic (const C &c)
template<typename C > analytic< C > make_mmx_analytic (const polynomial< C > &p)
template<typename C > analytic< C > make_mmx_analytic (const vector< C > &cs)

Variables

double mmx_order_ratio = 1.0
double mmx_radius_ratio = 0.4
V
scalar_type
analytic< C, V >
C
V & f
V const nat order
V V & me
V V const analytic< C, V >
const analytic< C, V > & g
analytic< C, V > INV_HYPER_SUGAR (template< typename C, typename V >, analytic< C, V >) ARG_HYPER_SUGAR(template< typename C