#include <basix/string.hpp>
#include <basix/identifiers.hpp>
#include <basix/literal.hpp>
#include <basix/compound.hpp>
#include <basix/vector_sort.hpp>

Classes

struct sum_less_op
struct product_less_op

Namespaces

namespace mmx

Functions

bool is_atom (const syntactic &g)
string as_string (const syntactic &g)
syntactic apply (const vector< syntactic > &v)
syntactic apply (const syntactic &f)
syntactic apply (const syntactic &f, const syntactic &a1)
syntactic apply (const syntactic &f, const syntactic &a1, const syntactic &a2)
syntactic apply (const syntactic &f, const syntactic &a1, const syntactic &a2, const syntactic &a3)
syntactic apply (const syntactic &f, const syntactic &a1, const syntactic &a2, const syntactic &a3, const syntactic &a4)
syntactic apply (const syntactic &f, const syntactic &a1, const syntactic &a2, const syntactic &a3, const syntactic &a4, const syntactic &a5)
syntactic apply (const syntactic &f, const syntactic &a1, const syntactic &a2, const syntactic &a3, const syntactic &a4, const syntactic &a5, const syntactic &a6)
syntactic apply (const syntactic &f, const vector< syntactic > &a)
bool is_func (const syntactic &g, const char *f)
bool is_func (const syntactic &g, const char *f, nat n)
bool is_func (const syntactic &g, const syntactic &f)
bool is_func (const syntactic &g, const syntactic &f, nat n)
bool is_func (const syntactic &g, const generic &f)
bool is_func (const syntactic &g, const generic &f, nat n)
vector< syntactic > components (const syntactic &g)
vector< syntactic > arguments (const syntactic &g)
void set_smallest (syntactic &x)
void set_largest (syntactic &x)
void set_accuracy (syntactic &x)
void set_pi (syntactic &x)
void set_log2 (syntactic &x)
void set_euler (syntactic &x)
void set_catalan (syntactic &x)
void set_imaginary (syntactic &x)
void set_nan (syntactic &x)
void set_fuzz (syntactic &x)
void set_infinity (syntactic &x)
void set_maximal (syntactic &x)
void set_minimal (syntactic &x)
static void signed_decompose (const syntactic &g, syntactic &abs_g, int &sgn_g)
syntactic operator- (const syntactic &g)
syntactic operator+ (const syntactic &g1, const syntactic &g2)
syntactic operator- (const syntactic &g1, const syntactic &g2)
static syntactic migrate_sub (const syntactic &g, const syntactic &h)
static syntactic migrate_sub (const syntactic &g, nat found)
syntactic migrate_negate (const syntactic &g, nat maximal)
bool set_frac_flag (bool new_val)
syntactic operator* (const syntactic &g1, const syntactic &g2)
syntactic operator/ (const syntactic &g1, const syntactic &g2)
syntactic square (const syntactic &g)
syntactic invert (const syntactic &g)
syntactic pow (const syntactic &g1, const syntactic &g2)
syntactic pow (const syntactic &g1, const int &g2)
syntactic pow (const int &g1, const syntactic &g2)
bool is_numeric (const string &s)
syntactic ordered_sum (const vector< syntactic > &v)
syntactic ordered_product (const vector< syntactic > &v)
syntactic gcd (const syntactic &g1, const syntactic &g2)
syntactic lcm (const syntactic &g1, const syntactic &g2)
syntactic xgcd (const syntactic &g1, const syntactic &g2)
syntactic sqrt (const syntactic &g)
syntactic exp (const syntactic &g)
syntactic log (const syntactic &g)
syntactic cos (const syntactic &g)
syntactic sin (const syntactic &g)
syntactic tan (const syntactic &g)
syntactic acos (const syntactic &g)
syntactic asin (const syntactic &g)
syntactic atan (const syntactic &g)
syntactic cosh (const syntactic &g)
syntactic sinh (const syntactic &g)
syntactic tanh (const syntactic &g)
syntactic acosh (const syntactic &g)
syntactic asinh (const syntactic &g)
syntactic atanh (const syntactic &g)
syntactic trig (const syntactic &g)
syntactic hypot (const syntactic &g1, const syntactic &g2)
syntactic atan2 (const syntactic &g1, const syntactic &g2)
syntactic Re (const syntactic &g1)
syntactic Im (const syntactic &g1)
syntactic abs (const syntactic &g1)
syntactic arg (const syntactic &g1)
syntactic conj (const syntactic &g1)
syntactic gaussian (const syntactic &g1, const syntactic &g2)
syntactic polar (const syntactic &g1, const syntactic &g2)
syntactic center (const syntactic &g1)
syntactic radius (const syntactic &g1)
syntactic numerator (const syntactic &x)
syntactic denominator (const syntactic &x)
syntactic operator<< (const syntactic &x1, const syntactic &x2)
syntactic operator>> (const syntactic &x1, const syntactic &x2)
syntactic lshiftz (const syntactic &g, const syntactic &sh)
syntactic rshiftz (const syntactic &g, const syntactic &sh)
syntactic derive (const syntactic &g)
syntactic derive (const syntactic &g, const syntactic &v)
syntactic xderive (const syntactic &g)
syntactic xderive (const syntactic &g, const syntactic &v)
syntactic integrate (const syntactic &g)
syntactic integrate (const syntactic &g, const syntactic &v)
syntactic sqrt_init (const syntactic &x, const syntactic &c)
syntactic log_init (const syntactic &x, const syntactic &c)
syntactic acos_init (const syntactic &x, const syntactic &c)
syntactic asin_init (const syntactic &x, const syntactic &c)
syntactic atan_init (const syntactic &x, const syntactic &c)
syntactic integrate_init (const syntactic &x, const syntactic &c)
syntactic integrate_init (const syntactic &g, const syntactic &v, const syntactic &c)
syntactic solve_lde_init (const syntactic &x, const syntactic &c)
syntactic access (const syntactic &g, const syntactic &i)
syntactic access (const syntactic &g, const syntactic &i, const syntactic &j)
syntactic inject (const syntactic &x, const syntactic &y, const syntactic &z)
syntactic project (const syntactic &x, const syntactic &y)
syntactic & the_series_var ()
syntactic & the_polynomial_var ()
syntactic flatten (const bool &b)
syntactic flatten (const char &i)
syntactic flatten (const signed char &i)
syntactic flatten (const unsigned char &i)
syntactic flatten (const short int &i)
syntactic flatten (const short unsigned int &i)
syntactic flatten (const int &i)
syntactic flatten (const unsigned int &i)
syntactic flatten (const long int &i)
syntactic flatten (const long unsigned int &i)
syntactic flatten (const long long int &i)
syntactic flatten (const long long unsigned int &i)
syntactic flatten (const float &x)
syntactic flatten (const double &x)
syntactic flatten (const long double &x)
syntactic flatten (char *const &s)
syntactic flatten (const string &s)

Variables

static bool frac_flag = false
nat the_series_prec = 10
nat the_series_zt = 25
bool the_series_expr = false