#include <multiple_zeta_value.h>

Inheritance diagram for multiple_zeta_value:

Public Member Functions
	multiple_zeta_value (const GiNaC::ex &llc)

void	archive (GiNaC::archive_node &node) const override

void	read_archive (const GiNaC::archive_node &node, GiNaC::lst &sym_lst) override

GiNaC::return_type_t	return_type_tinfo () const override

void	print (const GiNaC::print_context &c, unsigned level=0) const override

GiNaC::ex	eval () const override

Public Member Functions inherited from multiple_polylog
	multiple_polylog (const GiNaC::ex &llc)

void	archive (GiNaC::archive_node &node) const override

void	read_archive (const GiNaC::archive_node &node, GiNaC::lst &sym_lst) override

void	print (const GiNaC::print_context &c, unsigned level=0) const override

GiNaC::ex	eval () const override

virtual GiNaC::ex	eval_approx () const

Public Member Functions inherited from Zsum
	Zsum (const GiNaC::ex &nc)

	Zsum (const GiNaC::ex &nc, const GiNaC::ex &llc)

void	archive (GiNaC::archive_node &node) const override

void	read_archive (const GiNaC::archive_node &node, GiNaC::lst &sym_lst) override

unsigned	return_type (void) const override

void	print (const GiNaC::print_context &c, unsigned level=0) const override

unsigned	precedence (void) const override

GiNaC::ex	eval () const override

GiNaC::ex	subs (const GiNaC::exmap &m, unsigned options=0) const override

virtual GiNaC::ex	index_eq_one (void) const

virtual GiNaC::ex	get_head (int k) const

virtual GiNaC::ex	get_tail (int k) const

virtual GiNaC::ex	antipode (void) const

virtual GiNaC::ex	expand_members (int level=0) const

virtual GiNaC::ex	eval_explicit () const

virtual GiNaC::ex	get_first_letter (void) const

virtual GiNaC::ex	prepend_letter (const GiNaC::ex &lc) const

virtual GiNaC::ex	prepend_letter (const GiNaC::ex &nc, const GiNaC::ex &lc) const

virtual GiNaC::ex	append_letter (const GiNaC::ex &lc) const

virtual GiNaC::ex	append_letter_list (const GiNaC::ex &lc) const

GiNaC::ex	get_index (void) const

GiNaC::ex	get_letter_list (void) const

unsigned	get_depth (void) const

GiNaC::ex	get_weight (void) const

Public Member Functions inherited from Euler_Zagier_sum
	Euler_Zagier_sum (const GiNaC::ex &nc)

	Euler_Zagier_sum (const GiNaC::ex &nc, const GiNaC::ex &llc)

void	archive (GiNaC::archive_node &node) const override

void	read_archive (const GiNaC::archive_node &node, GiNaC::lst &sym_lst) override

GiNaC::return_type_t	return_type_tinfo () const override

void	print (const GiNaC::print_context &c, unsigned level=0) const override

GiNaC::ex	eval () const override

GiNaC::ex	convert_to_Ssum_exvector (const GiNaC::exvector &Z0, const GiNaC::exvector &Z1) const override

GiNaC::ex	shuffle_exvector (const GiNaC::exvector &Z0, const GiNaC::exvector &Z1, const GiNaC::exvector &Z2) const override

GiNaC::ex	set_index (const GiNaC::ex &i) const override

GiNaC::ex	shift_plus_one (void) const override

GiNaC::ex	shift_minus_one (void) const override

GiNaC::ex	adjust_upper_limit_downwards (const GiNaC::ex &i) const override

GiNaC::ex	adjust_upper_limit_upwards (const GiNaC::ex &i) const override

GiNaC::ex	adjust_upper_limit_plus_one (void) const override

GiNaC::ex	remove_first_letter (void) const override

GiNaC::ex	remove_first_letter (const GiNaC::ex &nc) const override

Additional Inherited Members
Protected Member Functions inherited from Zsum
GiNaC::ex	eval_ncmul (const GiNaC::exvector &v) const override

GiNaC::ex	derivative (const GiNaC::symbol &s) const override

unsigned	calchash (void) const override

virtual GiNaC::ex	cast_to_Ssum (void) const

virtual GiNaC::ex	multiply_letter_with_last_letter (const GiNaC::ex &lc) const

virtual GiNaC::ex	multiply_letter_with_first_letter (const GiNaC::ex &lc) const

virtual GiNaC::ex	concat_two_sums (const GiNaC::ex &Z1, const GiNaC::ex &Z2) const

Protected Attributes inherited from Zsum
GiNaC::ex	n

GiNaC::ex	letter_list

Detailed Description

A multiple zeta value can be viewed as a special case of a multiple polylog or as a special case of an Euler-Zagier sum. Multiple zeta values are defined by

$\zeta_{m_k,...,m_1} = Z(\infty;m_1,...,m_k;1,...,1)$

There are two "print" formats available. The default option prints multiple zeta values with reversed order of the arguments, as in the definition above.

If the flag "print_format::no_reversed_order" in the variable "_print_format" is set, multiple zeta values are printed without reversing the order of the arguments, e.g.

$Z(\infty;m_1,...,m_k;1,...,1) = \zeta_{m_1,...,m_k}$

This notation is used in the french literature.

Member Function Documentation

◆ eval()

ex eval ( ) const

override

No simplifications implemented for multiple zeta values.

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

Public Member Functions

Additional Inherited Members

Detailed Description

Member Function Documentation

◆ eval()