Fungrim home page

Operators

Table of contents: Extreme values - Limits - Derivatives

Extreme values

6ec976
Symbol: Supremum supP(x)f ⁣(x)\mathop{\operatorname{sup}}\limits_{P\left(x\right)} f\!\left(x\right) Supremum of a set or function
bbeb35
Symbol: Infimum infP(x)f ⁣(x)\mathop{\operatorname{inf}}\limits_{P\left(x\right)} f\!\left(x\right) Infimum of a set or function
d0cb24
Symbol: Minimum minP(x)f ⁣(x)\mathop{\min}\limits_{P\left(x\right)} f\!\left(x\right) Minimum value of a set or function
65ccf2
Symbol: Maximum maxP(x)f ⁣(x)\mathop{\max}\limits_{P\left(x\right)} f\!\left(x\right) Maximum value of a set or function
0a3e5a
Symbol: ArgMin arg minP(x)f ⁣(x)\mathop{\operatorname{arg\,min}}\limits_{P\left(x\right)} f\!\left(x\right) Locations of minimum value
617fe3
Symbol: ArgMax arg maxP(x)f ⁣(x)\mathop{\operatorname{arg\,max}}\limits_{P\left(x\right)} f\!\left(x\right) Locations of maximum value
f4fbb8
Symbol: ArgMinUnique arg min*P(x)f ⁣(x)\mathop{\operatorname{arg\,min*}}\limits_{P\left(x\right)} f\!\left(x\right) Unique location of minimum value
be4926
Symbol: ArgMaxUnique arg max*P(x)f ⁣(x)\mathop{\operatorname{arg\,max*}}\limits_{P\left(x\right)} f\!\left(x\right) Unique location of maximum value

Limits

26ea9f
Symbol: Limit limxaf ⁣(x)\lim_{x \to a} f\!\left(x\right) Limiting value
1d2ee5
Symbol: SequenceLimit limnaf ⁣(n)\lim_{n \to a} f\!\left(n\right) Limiting value of sequence
6fe5c1
Symbol: RealLimit limxaf ⁣(x)\lim_{x \to a} f\!\left(x\right) Limiting value, real variable
c8a5f0
Symbol: LeftLimit limxaf ⁣(x)\lim_{x \to {a}^{-}} f\!\left(x\right) Limiting value, from the left
afd5ca
Symbol: RightLimit limxa+f ⁣(x)\lim_{x \to {a}^{+}} f\!\left(x\right) Limiting value, from the right
05a3ee
Symbol: ComplexLimit limzaf ⁣(z)\lim_{z \to a} f\!\left(z\right) Limiting value, complex variable
2be0b5
Symbol: MeromorphicLimit limzaf ⁣(z)\lim_{z \to a} f\!\left(z\right) Limiting value, allowing poles

Derivatives

1b6a57
Symbol: Derivative ddzf ⁣(z)\frac{d}{d z}\, f\!\left(z\right) Derivative
452407
Symbol: RealDerivative ddxf ⁣(x)\frac{d}{d x}\, f\!\left(x\right) Real derivative
b4b319
Symbol: ComplexDerivative ddzf ⁣(z)\frac{d}{d z}\, f\!\left(z\right) Complex derivative
96f695
Symbol: ComplexBranchDerivative ddzf ⁣(z)\frac{d}{d z}\, f\!\left(z\right) Complex derivative, allowing branch cuts
4c6780
Symbol: MeromorphicDerivative ddzf ⁣(z)\frac{d}{d z}\, f\!\left(z\right) Complex derivative, allowing poles

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

2019-06-18 07:49:59.356594 UTC