X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=ginac%2Fnumeric.h;h=ff1c27d86eb39b003fb2c21fbf62b69becd523b6;hp=b1f4871805b5d02d7f4d64dec61dc51d4d933e1a;hb=9e2d60e206395fc9908e1f9025e50c76b3d7c182;hpb=68a7044bf956a75b6bd70aefa21ffe358e648e19 diff --git a/ginac/numeric.h b/ginac/numeric.h index b1f48718..ff1c27d8 100644 --- a/ginac/numeric.h +++ b/ginac/numeric.h @@ -3,7 +3,7 @@ * Makes the interface to the underlying bignum package available. */ /* - * GiNaC Copyright (C) 1999 Johannes Gutenberg University Mainz, Germany + * GiNaC Copyright (C) 1999-2000 Johannes Gutenberg University Mainz, Germany * * This program is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by @@ -24,13 +24,15 @@ #define __GINAC_NUMERIC_H__ #include -#include -#include +#include "basic.h" +#include "ex.h" -class cl_N; // We want to include cln.h only in numeric.cpp in order to - // avoid namespace pollution and keep compile-time low. +class cl_N; // We want to include cln.h only in numeric.cpp in order to + // avoid namespace pollution and keep compile-time low. +#ifndef NO_NAMESPACE_GINAC namespace GiNaC { +#endif // ndef NO_NAMESPACE_GINAC #define HASHVALUE_NUMERIC 0x80000001U @@ -47,294 +49,289 @@ class _numeric_digits { // member functions public: - _numeric_digits(); - _numeric_digits& operator=(long prec); - operator long(); - void print(ostream & os) const; + _numeric_digits(); + _numeric_digits& operator=(long prec); + operator long(); + void print(std::ostream & os) const; // member variables private: - long digits; - static bool too_late; + long digits; + static bool too_late; }; /** This class is a wrapper around CLN-numbers within the GiNaC class * hierarchy. Objects of this type may directly be created by the user.*/ class numeric : public basic { + GINAC_DECLARE_REGISTERED_CLASS(numeric, basic) + // friends - friend numeric exp(numeric const & x); - friend numeric log(numeric const & x); - friend numeric sin(numeric const & x); - friend numeric cos(numeric const & x); - friend numeric tan(numeric const & x); - friend numeric asin(numeric const & x); - friend numeric acos(numeric const & x); - friend numeric atan(numeric const & x); - friend numeric atan(numeric const & y, numeric const & x); - friend numeric sinh(numeric const & x); - friend numeric cosh(numeric const & x); - friend numeric tanh(numeric const & x); - friend numeric asinh(numeric const & x); - friend numeric acosh(numeric const & x); - friend numeric atanh(numeric const & x); - friend numeric bernoulli(numeric const & n); - friend numeric abs(numeric const & x); - friend numeric mod(numeric const & a, numeric const & b); - friend numeric smod(numeric const & a, numeric const & b); - friend numeric irem(numeric const & a, numeric const & b); - friend numeric irem(numeric const & a, numeric const & b, numeric & q); - friend numeric iquo(numeric const & a, numeric const & b); - friend numeric iquo(numeric const & a, numeric const & b, numeric & r); - friend numeric sqrt(numeric const & x); - friend numeric isqrt(numeric const & x); - friend numeric gcd(numeric const & a, numeric const & b); - friend numeric lcm(numeric const & a, numeric const & b); - friend numeric const & numZERO(void); - friend numeric const & numONE(void); - friend numeric const & numTWO(void); - friend numeric const & numTHREE(void); - friend numeric const & numMINUSONE(void); - friend numeric const & numHALF(void); + friend const numeric exp(const numeric & x); + friend const numeric log(const numeric & x); + friend const numeric sin(const numeric & x); + friend const numeric cos(const numeric & x); + friend const numeric tan(const numeric & x); + friend const numeric asin(const numeric & x); + friend const numeric acos(const numeric & x); + friend const numeric atan(const numeric & x); + friend const numeric atan(const numeric & y, const numeric & x); + friend const numeric sinh(const numeric & x); + friend const numeric cosh(const numeric & x); + friend const numeric tanh(const numeric & x); + friend const numeric asinh(const numeric & x); + friend const numeric acosh(const numeric & x); + friend const numeric atanh(const numeric & x); + friend const numeric Li2(const numeric & x); + friend const numeric zeta(const numeric & x); + friend const numeric fibonacci(const numeric & n); + friend numeric abs(const numeric & x); + friend numeric mod(const numeric & a, const numeric & b); + friend numeric smod(const numeric & a, const numeric & b); + friend numeric irem(const numeric & a, const numeric & b); + friend numeric irem(const numeric & a, const numeric & b, numeric & q); + friend numeric iquo(const numeric & a, const numeric & b); + friend numeric iquo(const numeric & a, const numeric & b, numeric & r); + friend numeric sqrt(const numeric & x); + friend numeric isqrt(const numeric & x); + friend numeric gcd(const numeric & a, const numeric & b); + friend numeric lcm(const numeric & a, const numeric & b); // member functions - // default constructor, destructor, copy constructor assignment - // operator and helpers + // default constructor, destructor, copy constructor assignment + // operator and helpers public: - numeric(); - ~numeric(); - numeric(numeric const & other); - numeric const & operator=(numeric const & other); + numeric(); + ~numeric(); + numeric(const numeric & other); + const numeric & operator=(const numeric & other); protected: - void copy(numeric const & other); - void destroy(bool call_parent); + void copy(const numeric & other); + void destroy(bool call_parent); - // other constructors + // other constructors public: - explicit numeric(int i); - explicit numeric(unsigned int i); - explicit numeric(long i); - explicit numeric(unsigned long i); - explicit numeric(long numer, long denom); - explicit numeric(double d); - explicit numeric(char const *); - numeric(cl_N const & z); - - // functions overriding virtual functions from bases classes + explicit numeric(int i); + explicit numeric(unsigned int i); + explicit numeric(long i); + explicit numeric(unsigned long i); + explicit numeric(long numer, long denom); + explicit numeric(double d); + explicit numeric(const char *); + numeric(const cl_N & z); + + // functions overriding virtual functions from bases classes public: - basic * duplicate() const; - void printraw(ostream & os) const; - void printtree(ostream & os, unsigned indent) const; - void print(ostream & os, unsigned precedence=0) const; - void printcsrc(ostream & os, unsigned type, unsigned precedence=0) const; - bool info(unsigned inf) const; - ex evalf(int level=0) const; - ex diff(symbol const & s) const; - ex normal(lst &sym_lst, lst &repl_lst, int level=0) const; - numeric integer_content(void) const; - ex smod(numeric const &xi) const; - numeric max_coefficient(void) const; + basic * duplicate() const; + void print(std::ostream & os, unsigned precedence=0) const; + void printraw(std::ostream & os) const; + void printtree(std::ostream & os, unsigned indent) const; + void printcsrc(std::ostream & os, unsigned type, unsigned precedence=0) const; + bool info(unsigned inf) const; + bool has(const ex & other) const; + ex eval(int level=0) const; + ex evalf(int level=0) const; + ex normal(lst &sym_lst, lst &repl_lst, int level=0) const; + ex to_rational(lst &repl_lst) const; + numeric integer_content(void) const; + ex smod(const numeric &xi) const; + numeric max_coefficient(void) const; protected: - int compare_same_type(basic const & other) const; - bool is_equal_same_type(basic const & other) const; - unsigned calchash(void) const { - hashvalue=HASHVALUE_NUMERIC; - return HASHVALUE_NUMERIC; - } + ex derivative(const symbol & s) const; + int compare_same_type(const basic & other) const; + bool is_equal_same_type(const basic & other) const; + unsigned calchash(void) const; - // new virtual functions which can be overridden by derived classes - // (none) + // new virtual functions which can be overridden by derived classes + // (none) - // non-virtual functions in this class + // non-virtual functions in this class public: - numeric add(numeric const & other) const; - numeric sub(numeric const & other) const; - numeric mul(numeric const & other) const; - numeric div(numeric const & other) const; - numeric power(numeric const & other) const; - numeric const & add_dyn(numeric const & other) const; - numeric const & sub_dyn(numeric const & other) const; - numeric const & mul_dyn(numeric const & other) const; - numeric const & div_dyn(numeric const & other) const; - numeric const & power_dyn(numeric const & other) const; - numeric const & operator=(int i); - numeric const & operator=(unsigned int i); - numeric const & operator=(long i); - numeric const & operator=(unsigned long i); - numeric const & operator=(double d); - numeric const & operator=(char const * s); - /* - numeric add_dyn(numeric const & other) const { return add(other); } - numeric sub_dyn(numeric const & other) const { return sub(other); } - numeric mul_dyn(numeric const & other) const { return mul(other); } - numeric div_dyn(numeric const & other) const { return div(other); } - numeric power_dyn(numeric const & other) const { return power(other); } - */ - numeric inverse(void) const; - int csgn(void) const; - int compare(numeric const & other) const; - bool is_equal(numeric const & other) const; - bool is_zero(void) const; - bool is_positive(void) const; - bool is_negative(void) const; - bool is_integer(void) const; - bool is_pos_integer(void) const; - bool is_nonneg_integer(void) const; - bool is_even(void) const; - bool is_odd(void) const; - bool is_prime(void) const; - bool is_rational(void) const; - bool is_real(void) const; - bool operator==(numeric const & other) const; - bool operator!=(numeric const & other) const; - bool operator<(numeric const & other) const; - bool operator<=(numeric const & other) const; - bool operator>(numeric const & other) const; - bool operator>=(numeric const & other) const; - int to_int(void) const; - double to_double(void) const; - numeric real(void) const; - numeric imag(void) const; - numeric numer(void) const; - numeric denom(void) const; - int int_length(void) const; + numeric add(const numeric & other) const; + numeric sub(const numeric & other) const; + numeric mul(const numeric & other) const; + numeric div(const numeric & other) const; + numeric power(const numeric & other) const; + const numeric & add_dyn(const numeric & other) const; + const numeric & sub_dyn(const numeric & other) const; + const numeric & mul_dyn(const numeric & other) const; + const numeric & div_dyn(const numeric & other) const; + const numeric & power_dyn(const numeric & other) const; + const numeric & operator=(int i); + const numeric & operator=(unsigned int i); + const numeric & operator=(long i); + const numeric & operator=(unsigned long i); + const numeric & operator=(double d); + const numeric & operator=(const char * s); + numeric inverse(void) const; + int csgn(void) const; + ::cl_N* clnptr(void) const { return value; } /**< ptr to representation. */ + int compare(const numeric & other) const; + bool is_equal(const numeric & other) const; + bool is_zero(void) const; + bool is_positive(void) const; + bool is_negative(void) const; + bool is_integer(void) const; + bool is_pos_integer(void) const; + bool is_nonneg_integer(void) const; + bool is_even(void) const; + bool is_odd(void) const; + bool is_prime(void) const; + bool is_rational(void) const; + bool is_real(void) const; + bool is_cinteger(void) const; + bool is_crational(void) const; + bool operator==(const numeric & other) const; + bool operator!=(const numeric & other) const; + bool operator<(const numeric & other) const; + bool operator<=(const numeric & other) const; + bool operator>(const numeric & other) const; + bool operator>=(const numeric & other) const; + int to_int(void) const; + long to_long(void) const; + double to_double(void) const; + const numeric real(void) const; + const numeric imag(void) const; + const numeric numer(void) const; + const numeric denom(void) const; + int int_length(void) const; // member variables protected: - static unsigned precedence; - cl_N *value; + static unsigned precedence; + ::cl_N *value; }; // global constants extern const numeric some_numeric; extern const numeric I; -extern type_info const & typeid_numeric; +extern const std::type_info & typeid_numeric; extern _numeric_digits Digits; -#define is_a_numeric_hash(x) ((x)==HASHVALUE_NUMERIC) +//#define is_a_numeric_hash(x) ((x)==HASHVALUE_NUMERIC) // may have to be changed to ((x)>=0x80000000U) +// has been changed +//#define is_a_numeric_hash(x) ((x)&0x80000000U) + // global functions -numeric const & numZERO(void); -numeric const & numONE(void); -numeric const & numTWO(void); -numeric const & numMINUSONE(void); -numeric const & numHALF(void); - -numeric exp(numeric const & x); -numeric log(numeric const & x); -numeric sin(numeric const & x); -numeric cos(numeric const & x); -numeric tan(numeric const & x); -numeric asin(numeric const & x); -numeric acos(numeric const & x); -numeric atan(numeric const & x); -numeric atan(numeric const & y, numeric const & x); -numeric sinh(numeric const & x); -numeric cosh(numeric const & x); -numeric tanh(numeric const & x); -numeric asinh(numeric const & x); -numeric acosh(numeric const & x); -numeric atanh(numeric const & x); -numeric zeta(numeric const & x); -numeric gamma(numeric const & x); -numeric psi(numeric const & n, numeric const & x); -numeric factorial(numeric const & n); -numeric doublefactorial(numeric const & n); -numeric binomial(numeric const & n, numeric const & k); -numeric bernoulli(numeric const & n); - -numeric abs(numeric const & x); -numeric mod(numeric const & a, numeric const & b); -numeric smod(numeric const & a, numeric const & b); -numeric irem(numeric const & a, numeric const & b); -numeric irem(numeric const & a, numeric const & b, numeric & q); -numeric iquo(numeric const & a, numeric const & b); -numeric iquo(numeric const & a, numeric const & b, numeric & r); -numeric sqrt(numeric const & x); -numeric isqrt(numeric const & x); - -numeric gcd(numeric const & a, numeric const & b); -numeric lcm(numeric const & a, numeric const & b); - -/** Exception thrown by numeric members to signal failure */ -struct numeric_fail -{ - int failval; - numeric_fail(int n) { failval = n; } -}; +const numeric exp(const numeric & x); +const numeric log(const numeric & x); +const numeric sin(const numeric & x); +const numeric cos(const numeric & x); +const numeric tan(const numeric & x); +const numeric asin(const numeric & x); +const numeric acos(const numeric & x); +const numeric atan(const numeric & x); +const numeric atan(const numeric & y, const numeric & x); +const numeric sinh(const numeric & x); +const numeric cosh(const numeric & x); +const numeric tanh(const numeric & x); +const numeric asinh(const numeric & x); +const numeric acosh(const numeric & x); +const numeric atanh(const numeric & x); +const numeric Li2(const numeric & x); +const numeric zeta(const numeric & x); +const numeric lgamma(const numeric & x); +const numeric tgamma(const numeric & x); +const numeric psi(const numeric & x); +const numeric psi(const numeric & n, const numeric & x); +const numeric factorial(const numeric & n); +const numeric doublefactorial(const numeric & n); +const numeric binomial(const numeric & n, const numeric & k); +const numeric bernoulli(const numeric & n); +const numeric fibonacci(const numeric & n); + +numeric abs(const numeric & x); +numeric mod(const numeric & a, const numeric & b); +numeric smod(const numeric & a, const numeric & b); +numeric irem(const numeric & a, const numeric & b); +numeric irem(const numeric & a, const numeric & b, numeric & q); +numeric iquo(const numeric & a, const numeric & b); +numeric iquo(const numeric & a, const numeric & b, numeric & r); +numeric sqrt(const numeric & x); +numeric isqrt(const numeric & x); + +numeric gcd(const numeric & a, const numeric & b); +numeric lcm(const numeric & a, const numeric & b); // wrapper functions around member functions -inline numeric inverse(numeric const & x) +inline numeric pow(const numeric & x, const numeric & y) +{ return x.power(y); } + +inline numeric inverse(const numeric & x) { return x.inverse(); } -inline bool csgn(numeric const & x) +inline int csgn(const numeric & x) { return x.csgn(); } -inline bool is_zero(numeric const & x) +inline bool is_zero(const numeric & x) { return x.is_zero(); } -inline bool is_positive(numeric const & x) +inline bool is_positive(const numeric & x) { return x.is_positive(); } -inline bool is_integer(numeric const & x) +inline bool is_integer(const numeric & x) { return x.is_integer(); } -inline bool is_pos_integer(numeric const & x) +inline bool is_pos_integer(const numeric & x) { return x.is_pos_integer(); } -inline bool is_nonneg_integer(numeric const & x) +inline bool is_nonneg_integer(const numeric & x) { return x.is_nonneg_integer(); } -inline bool is_even(numeric const & x) +inline bool is_even(const numeric & x) { return x.is_even(); } -inline bool is_odd(numeric const & x) +inline bool is_odd(const numeric & x) { return x.is_odd(); } -inline bool is_prime(numeric const & x) +inline bool is_prime(const numeric & x) { return x.is_prime(); } -inline bool is_rational(numeric const & x) +inline bool is_rational(const numeric & x) { return x.is_rational(); } -inline bool is_real(numeric const & x) +inline bool is_real(const numeric & x) { return x.is_real(); } -inline numeric real(numeric const & x) +inline bool is_cinteger(const numeric & x) +{ return x.is_cinteger(); } + +inline bool is_crational(const numeric & x) +{ return x.is_crational(); } + +inline const numeric real(const numeric & x) { return x.real(); } -inline numeric imag(numeric const & x) +inline const numeric imag(const numeric & x) { return x.imag(); } -inline numeric numer(numeric const & x) +inline const numeric numer(const numeric & x) { return x.numer(); } -inline numeric denom(numeric const & x) +inline const numeric denom(const numeric & x) { return x.denom(); } -/* do we need this any more? */ -//inline numeric factorial(int n) -//{ return factorial(numeric(n)); } - -/* do we need this any more? */ -//inline numeric binomial(int n, int k) -//{ return binomial(numeric(n), numeric(k)); } +// numeric evaluation functions for class constant objects: -ex IEvalf(void); ex PiEvalf(void); -ex EulerGammaEvalf(void); +ex EulerEvalf(void); ex CatalanEvalf(void); + // utility functions inline const numeric &ex_to_numeric(const ex &e) { return static_cast(*e.bp); } + +#ifndef NO_NAMESPACE_GINAC } // namespace GiNaC +#endif // ndef NO_NAMESPACE_GINAC #endif // ndef __GINAC_NUMERIC_H__