Nestedsums library
Ssum_to_Infinity Class Reference

A Ssum_to_Infinity is a special case of a Ssum. More...

#include <Ssum_to_Infinity.h>

Inheritance diagram for Ssum_to_Infinity:
Ssum harmonic_sum_to_Infinity

Public Member Functions

 Ssum_to_Infinity (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::ex eval () const override
 
- Public Member Functions inherited from Ssum
 Ssum (const GiNaC::ex &nc)
 
 Ssum (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 convert_to_Zsum_exvector (const GiNaC::exvector &Z0, const GiNaC::exvector &Z1) const
 
virtual GiNaC::ex shuffle_exvector (const GiNaC::exvector &Z0, const GiNaC::exvector &Z1, const GiNaC::exvector &Z2) const
 
virtual GiNaC::ex refine_exvector (unsigned q, const GiNaC::exvector &Z0, const GiNaC::exvector &Z1) const
 
virtual GiNaC::ex refine (unsigned q) const
 
virtual GiNaC::ex set_index (const GiNaC::ex &i) const
 
virtual GiNaC::ex shift_plus_one (void) const
 
virtual GiNaC::ex shift_minus_one (void) const
 
virtual GiNaC::ex adjust_upper_limit_downwards (const GiNaC::ex &i) const
 
virtual GiNaC::ex adjust_upper_limit_upwards (const GiNaC::ex &i) const
 
virtual GiNaC::ex adjust_upper_limit_plus_one (void) const
 
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 int flag_remove_negative_degrees (void) const
 
virtual GiNaC::ex remove_negative_degrees (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 remove_first_letter (void) const
 
virtual GiNaC::ex remove_first_letter (const GiNaC::ex &nc) 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
 

Additional Inherited Members

- Protected Member Functions inherited from Ssum
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_Zsum (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 Ssum
GiNaC::ex n
 
GiNaC::ex letter_list
 

Detailed Description

A Ssum_to_Infinity is a special case of a Ssum.

A Ssum to Infinity is defined by

\[
   S(\infty;m_1,...,m_k;x_1,...,x_k) 
\]

Member Function Documentation

◆ eval()

ex eval ( ) const
override

The simplifications are done in the following order:

  • If all $x_j$'s are equal to 1, we have a harmonic sum to infinity.

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