isZeroFor
P9150
predicate
Indicates that a given value, expression, or function evaluates to zero when applied to or considered with respect to a specified entity or context.
Observed surface forms (10)
- trivialZero ×3
- equalsZeroFor ×2
- equalsZeroIf ×2
- equalsZeroIfAndOnlyIf ×1
- equalsZeroWhen ×1
- isZeroCondition ×1
- isZeroWhen ×1
- trivialZerosLocation ×1
- vanishesFor ×1
- zeroCondition ×1
Sample triples (15)
| Subject | Object |
|---|---|
| Bekenstein–Hawking entropy | zero-area horizon ⓘ |
| Conway polynomial | vanishes for split links with more than one component via predicate surface "zeroCondition" ⓘ |
| Gibbons–Hawking temperature | cosmological constant is zero via predicate surface "isZeroWhen" ⓘ |
| Kullback–Leibler divergence | two distributions are equal almost everywhere via predicate surface "equalsZeroIfAndOnlyIf" ⓘ |
| Ricci curvature tensor | characterizes Ricci-flat manifolds via predicate surface "isZeroCondition" ⓘ |
| Ricci curvature tensor | flat manifold via predicate surface "vanishesFor" ⓘ |
| Ricci scalar | Ricci-flat manifolds via predicate surface "equalsZeroFor" ⓘ |
| Ricci scalar | vacuum solutions of Einstein equations without cosmological constant via predicate surface "equalsZeroFor" ⓘ |
| Riemann curvature tensor | connection is flat via predicate surface "equalsZeroIf" ⓘ |
| Riemann curvature tensor | manifold is locally isometric to Euclidean space via predicate surface "equalsZeroIf" ⓘ |
| Riemann zeta function | negative even integers via predicate surface "trivialZerosLocation" ⓘ |
| Riemann zeta function | s = -2 via predicate surface "trivialZero" ⓘ |
| Riemann zeta function | s = -4 via predicate surface "trivialZero" ⓘ |
| Riemann zeta function | s = -6 via predicate surface "trivialZero" ⓘ |
| Rényi divergence | P = Q almost surely via predicate surface "equalsZeroWhen" ⓘ |