00001
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
#ifndef __NESTEDSUMS_MULTIPLE_ZETA_VALUE_H__
00027
#define __NESTEDSUMS_MULTIPLE_ZETA_VALUE_H__
00028
00029
#include "ginac/ginac.h"
00030
00031
namespace nestedsums {
00032
00035
00054 class multiple_zeta_value :
public multiple_polylog,
public Euler_Zagier_sum
00055 {
00056 GINAC_DECLARE_REGISTERED_CLASS(
multiple_zeta_value,
multiple_polylog)
00057
00058
00059
public:
00060
explicit multiple_zeta_value(
const GiNaC::ex & llc);
00061
00062
00063
public:
00064
void archive(GiNaC::archive_node &node)
const;
00065
void read_archive(
const GiNaC::archive_node &node, GiNaC::lst &sym_lst);
00066
00067 GiNaC::return_type_t return_type_tinfo()
const;
00068
00069
void print(
const GiNaC::print_context & c,
unsigned level = 0)
const;
00070 GiNaC::ex
eval(
int level = 0)
const;
00071
00072 };
00073
00074 GINAC_DECLARE_UNARCHIVER(
multiple_zeta_value);
00075
00081 inline GiNaC::ex
create_multiple_zeta_value(
const GiNaC::ex & llc)
00082 {
00083
return (
new multiple_zeta_value(llc))->setflag(GiNaC::status_flags::dynallocated);
00084 }
00085
00086 }
00087
00088
namespace GiNaC {
00089
00090
00091
template<>
inline const nestedsums::multiple_zeta_value &ex_to<nestedsums::multiple_zeta_value>(
const ex &e)
00092 {
00093
return dynamic_cast<const nestedsums::multiple_zeta_value &>(*e.bp);
00094 }
00095
00096 }
00097
00098
#endif // ndef __NESTEDSUMS_MULTIPLE_ZETA_VALUE_H__