isNonzeroFor
P9151
predicate
Indicates that a given value, function, or quantity is not equal to zero under specified conditions or for specified inputs.
All labels observed (8)
| Label | Occurrences |
|---|---|
| canBeNonzeroIn | 1 |
| greaterThanZeroFor | 1 |
| isNonzeroFor canonical | 1 |
| isNonzeroWhen | 1 |
| nonZeroIn | 1 |
| nonZeroOn | 1 |
| nonvanishingProperty | 1 |
| returnsNonzeroOn | 1 |
Sample triples (8)
| Subject | Object |
|---|---|
| Bekenstein–Hawking entropy | any black hole with nonzero horizon area ⓘ |
| Gibbons–Hawking temperature | cosmological constant is positive via predicate surface "isNonzeroWhen" ⓘ |
| Gamma function | right half-plane Re(z)>0 via predicate surface "nonZeroOn" ⓘ |
| Dirichlet L-functions | L(1,χ)≠0 for nontrivial Dirichlet characters χ via predicate surface "nonvanishingProperty" ⓘ |
| Weyl tensor | vacuum regions of spacetime via predicate surface "canBeNonzeroIn" ⓘ |
| Néel vector | antiferromagnetically ordered phase via predicate surface "nonZeroIn" ⓘ |
| distance covariance | dependent random variables via predicate surface "greaterThanZeroFor" ⓘ |
| SetEnvironmentVariable | success via predicate surface "returnsNonzeroOn" ⓘ |