Fungrim home page

Fungrim entry: 1f88a4

Symbol: BernoulliPolynomial Bn ⁣(z)B_{n}\!\left(z\right) Bernoulli polynomial
Domain Codomain
nZ0  and  zRn \in \mathbb{Z}_{\ge 0} \;\mathbin{\operatorname{and}}\; z \in \mathbb{R} Bn ⁣(z)RB_{n}\!\left(z\right) \in \mathbb{R}
nZ0  and  zCn \in \mathbb{Z}_{\ge 0} \;\mathbin{\operatorname{and}}\; z \in \mathbb{C} Bn ⁣(z)CB_{n}\!\left(z\right) \in \mathbb{C}
nZ0  and  zR  and  RRings  and  QRn \in \mathbb{Z}_{\ge 0} \;\mathbin{\operatorname{and}}\; z \in R \;\mathbin{\operatorname{and}}\; R \in \operatorname{Rings} \;\mathbin{\operatorname{and}}\; \mathbb{Q} \subseteq R Bn ⁣(z)RB_{n}\!\left(z\right) \in R
Table data: (P,Q)\left(P, Q\right) such that (P)        (Q)\left(P\right) \;\implies\; \left(Q\right)
Fungrim symbol Notation Short description
BernoulliPolynomialBn ⁣(z)B_{n}\!\left(z\right) Bernoulli polynomial
ZZGreaterEqualZn\mathbb{Z}_{\ge n} Integers greater than or equal to n
RRR\mathbb{R} Real numbers
CCC\mathbb{C} Complex numbers
QQQ\mathbb{Q} Rational numbers
Source code for this entry:
    SymbolDefinition(BernoulliPolynomial, BernoulliPolynomial(n, z), "Bernoulli polynomial"),
    Table(TableRelation(Tuple(P, Q), Implies(P, Q)), TableHeadings(Description("Domain"), Description("Codomain")), List(Tuple(And(Element(n, ZZGreaterEqual(0)), Element(z, RR)), Element(BernoulliPolynomial(n, z), RR)), Tuple(And(Element(n, ZZGreaterEqual(0)), Element(z, CC)), Element(BernoulliPolynomial(n, z), CC)), Tuple(And(Element(n, ZZGreaterEqual(0)), Element(z, R), Element(R, Rings), SubsetEqual(QQ, R)), Element(BernoulliPolynomial(n, z), R)))))

Topics using this entry

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2021-03-15 19:12:00.328586 UTC