Loading...
Searching...
No Matches
SymEngine::Dirichlet_eta Class Reference
+ Inheritance diagram for SymEngine::Dirichlet_eta:
+ Collaboration diagram for SymEngine::Dirichlet_eta:

Public Member Functions

virtual void accept (Visitor &v) const
 
virtual void accept (EvalRealDoubleVisitorFinal &v) const
 
 Dirichlet_eta (const RCP< const Basic > &s)
 Dirichlet_eta Constructor. More...
 
RCP< const Basicget_s () const
 
bool is_canonical (const RCP< const Basic > &s) const
 
RCP< const Basicrewrite_as_zeta () const
 Rewrites in the form of zeta. More...
 
virtual RCP< const Basiccreate (const RCP< const Basic > &arg) const
 
virtual RCP< const Basiccreate (const RCP< const Basic > &arg) const=0
 Method to construct classes with canonicalization. More...
 
RCP< const Basiccreate (const vec_basic &b) const
 
- Public Member Functions inherited from SymEngine::OneArgFunction
 OneArgFunction (const RCP< const Basic > &arg)
 The arg in OneArgFunction(arg) More...
 
hash_t __hash__ () const
 
RCP< const Basicget_arg () const
 
virtual vec_basic get_args () const
 Returns the list of arguments. More...
 
virtual RCP< const Basiccreate (const RCP< const Basic > &arg) const =0
 Method to construct classes with canonicalization. More...
 
RCP< const Basiccreate (const vec_basic &b) const
 
virtual bool __eq__ (const Basic &o) const
 
virtual int compare (const Basic &o) const
 Structural equality comparator. More...
 
- Public Member Functions inherited from SymEngine::Basic
TypeID get_type_code () const
 
 Basic ()
 Constructor. More...
 
 Basic (const Basic &)=delete
 Delete the copy constructor and assignment.
 
Basicoperator= (const Basic &)=delete
 Assignment operator in continuation with above.
 
 Basic (Basic &&)=delete
 Delete the move constructor and assignment.
 
Basicoperator= (Basic &&)=delete
 Assignment operator in continuation with above.
 
virtual hash_t __hash__ () const =0
 
hash_t hash () const
 
virtual bool __eq__ (const Basic &o) const =0
 Test equality. More...
 
bool __neq__ (const Basic &o) const
 true if this is not equal to o. More...
 
int __cmp__ (const Basic &o) const
 Comparison operator. More...
 
virtual int compare (const Basic &o) const =0
 
std::string __str__ () const
 
std::string dumps () const
 Returns a string of the instance serialized. More...
 
RCP< const Basicsubs (const map_basic_basic &subs_dict) const
 Substitutes 'subs_dict' into 'self'. More...
 
RCP< const Basicxreplace (const map_basic_basic &subs_dict) const
 
virtual RCP< const Basicexpand_as_exp () const
 expands the special function in terms of exp function More...
 
virtual vec_basic get_args () const =0
 Returns the list of arguments. More...
 
virtual void accept (Visitor &v) const =0
 
virtual void accept (EvalRealDoubleVisitorFinal &v) const =0
 
RCP< const Basicdiff (const RCP< const Symbol > &x, bool cache=true) const
 
- Public Member Functions inherited from SymEngine::EnableRCPFromThis< Basic >
RCP< Basicrcp_from_this ()
 Get RCP<T> pointer to self (it will cast the pointer to T) More...
 
RCP< const Basicrcp_from_this () const
 Get RCP<const T> pointer to self (it will cast the pointer to const T) More...
 
RCP< const T2 > rcp_from_this_cast () const
 Get RCP<T2> pointer to self (it will cast the pointer to T2) More...
 
unsigned int use_count () const
 

Static Public Attributes

static const TypeID type_code_id = SYMENGINE_DIRICHLET_ETA
 

Additional Inherited Members

- Static Public Member Functions inherited from SymEngine::Basic
static RCP< const Basicloads (const std::string &)
 Creates an instance of a serialized string. More...
 
- Data Fields inherited from SymEngine::Basic
TypeID type_code_
 

Detailed Description

Definition at line 611 of file functions.h.

Constructor & Destructor Documentation

◆ Dirichlet_eta()

SymEngine::Dirichlet_eta::Dirichlet_eta ( const RCP< const Basic > &  s)

Dirichlet_eta Constructor.

Definition at line 2836 of file functions.cpp.

2836 : OneArgFunction(s)
2837{
2838 SYMENGINE_ASSIGN_TYPEID()
2839 SYMENGINE_ASSERT(is_canonical(s))
2840}
bool is_canonical(const RCP< const Basic > &s) const
Definition: functions.cpp:2842
OneArgFunction(const RCP< const Basic > &arg)
The arg in OneArgFunction(arg)
Definition: functions.h:27

Member Function Documentation

◆ accept() [1/2]

virtual void SymEngine::Dirichlet_eta::accept ( EvalRealDoubleVisitorFinal v) const
virtual

Implements SymEngine::Basic.

◆ accept() [2/2]

virtual void SymEngine::Dirichlet_eta::accept ( Visitor v) const
virtual

Implements SymEngine::Basic.

◆ create() [1/3]

RCP< const Basic > SymEngine::Dirichlet_eta::create ( const RCP< const Basic > &  arg) const
virtual
Returns
Canonicalized zeta

Implements SymEngine::OneArgFunction.

Definition at line 2856 of file functions.cpp.

2857{
2858 return dirichlet_eta(arg);
2859}
RCP< const Basic > dirichlet_eta(const RCP< const Basic > &s)
Create a new Dirichlet_eta instance:
Definition: functions.cpp:2861

◆ create() [2/3]

virtual RCP< const Basic > SymEngine::OneArgFunction::create ( const RCP< const Basic > &  arg) const
virtual

Method to construct classes with canonicalization.

Implements SymEngine::OneArgFunction.

◆ create() [3/3]

RCP< const Basic > SymEngine::OneArgFunction::create ( const vec_basic b) const
inline

Definition at line 47 of file functions.h.

48 {
49 SYMENGINE_ASSERT(b.size() == 1);
50 return create(b[0]);
51 }
virtual RCP< const Basic > create(const RCP< const Basic > &arg) const
Definition: functions.cpp:2856

◆ get_s()

RCP< const Basic > SymEngine::Dirichlet_eta::get_s ( ) const
inline
Returns
s

Definition at line 619 of file functions.h.

620 {
621 return get_arg();
622 }
RCP< const Basic > get_arg() const
Definition: functions.h:36

◆ is_canonical()

bool SymEngine::Dirichlet_eta::is_canonical ( const RCP< const Basic > &  s) const
Returns
true if canonical

Definition at line 2842 of file functions.cpp.

2843{
2844 if (eq(*s, *one))
2845 return false;
2846 if (not(is_a<Zeta>(*zeta(s))))
2847 return false;
2848 return true;
2849}
RCP< const Basic > zeta(const RCP< const Basic > &s, const RCP< const Basic > &a)
Create a new Zeta instance:
Definition: functions.cpp:2800
bool eq(const Basic &a, const Basic &b)
Checks equality for a and b
Definition: basic-inl.h:21

◆ rewrite_as_zeta()

RCP< const Basic > SymEngine::Dirichlet_eta::rewrite_as_zeta ( ) const

Rewrites in the form of zeta.

Definition at line 2851 of file functions.cpp.

2852{
2853 return mul(sub(one, pow(i2, sub(one, get_arg()))), zeta(get_arg()));
2854}
RCP< const Basic > sub(const RCP< const Basic > &a, const RCP< const Basic > &b)
Substracts b from a.
Definition: add.cpp:495
RCP< const Basic > mul(const RCP< const Basic > &a, const RCP< const Basic > &b)
Multiplication.
Definition: mul.cpp:352
T pow(T... args)

Field Documentation

◆ type_code_id

const TypeID SymEngine::Dirichlet_eta::type_code_id = SYMENGINE_DIRICHLET_ETA
static

Type_code_id shared by all instances

Definition at line 615 of file functions.h.


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