Inheritance diagram for SymEngine::Zeta:

Collaboration diagram for SymEngine::Zeta:

Public Member Functions
void	accept (Visitor &v) const override

void	accept (EvalRealDoubleVisitorFinal &v) const override

	Zeta (const RCP< const Basic > &s, const RCP< const Basic > &a)
	Zeta Constructor.

	Zeta (const RCP< const Basic > &s)
	Zeta Constructor.

RCP< const Basic >	get_s () const

RCP< const Basic >	get_a () const

bool	is_canonical (const RCP< const Basic > &s, const RCP< const Basic > &a) const

RCP< const Basic >	create (const RCP< const Basic > &a, const RCP< const Basic > &b) const override

virtual RCP< const Basic >	create (const RCP< const Basic > &a, const RCP< const Basic > &b) const=0
	Method to construct classes with canonicalization.

RCP< const Basic >	create (const vec_basic &b) const

Public Member Functions inherited from SymEngine::TwoArgBasic< BaseClass >
	TwoArgBasic (const RCP< const Basic > &a, const RCP< const Basic > &b)
	`b` in `TwoArgBasic(a, b)` More...

hash_t	__hash__ () const override

RCP< const Basic >	get_arg1 () const

RCP< const Basic >	get_arg2 () const

vec_basic	get_args () const override

RCP< const Basic >	create (const vec_basic &b) const

bool	__eq__ (const Basic &o) const override

int	compare (const Basic &o) const override
	Structural equality comparator.

Static Public Attributes
static const TypeID	type_code_id = SYMENGINE_ZETA

Detailed Description

Definition at line 569 of file functions.h.

Member Function Documentation

◆ create()

RCP< const Basic > SymEngine::Zeta::create	(	const RCP< const Basic > &	a,
		const RCP< const Basic > &	b
	)		const

overridevirtual

Returns: canonicalized zeta

Implements SymEngine::TwoArgBasic< BaseClass >.

Definition at line 2794 of file functions.cpp.

 {
     return zeta(a, b);
 }

◆ get_a()

RCP<const Basic> SymEngine::Zeta::get_a ( ) const

inline

Returns: a_

Definition at line 595 of file functions.h.

     {
         return get_arg2();
     }

◆ get_s()

RCP<const Basic> SymEngine::Zeta::get_s ( ) const

inline

Returns: s_

Definition at line 590 of file functions.h.

     {
         return get_arg1();
     }

◆ is_canonical()

bool SymEngine::Zeta::is_canonical	(	const RCP< const Basic > &	s,
		const RCP< const Basic > &	a
	)		const

Returns: true if canonical

Definition at line 2779 of file functions.cpp.

 {
     if (eq(*s, *zero))
         return false;
     if (eq(*s, *one))
         return false;
     if (is_a<Integer>(*s) and is_a<Integer>(*a)) {
         auto s_ = down_cast<const Integer &>(*s).as_int();
         if (s_ < 0 || s_ % 2 == 0)
             return false;
     }
     return true;
 }

Field Documentation

◆ type_code_id

const TypeID SymEngine::Zeta::type_code_id = SYMENGINE_ZETA

static

Type_code_id shared by all instances

Definition at line 584 of file functions.h.

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

/home/runner/work/symengine/symengine/symengine/functions.h
/home/runner/work/symengine/symengine/symengine/functions.cpp

Public Member Functions

Static Public Attributes