coefficientsIn
P93936
predicate
Indicates that one entity appears as a coefficient within the mathematical expression or representation of another entity.
All labels observed (14)
| Label | Occurrences |
|---|---|
| canBeDefinedWithCoefficientsIn | 3 |
| usedWithCoefficients | 3 |
| coefficientField | 2 |
| coefficientNotation | 2 |
| hasCoefficientFunction | 2 |
| FourierCoefficientsIndexedBy | 1 |
| coefficientComputation | 1 |
| coefficientInLaurentExpansion | 1 |
| coefficientOfConstantTerm | 1 |
| coefficientSequence | 1 |
| coefficientVariable | 1 |
| coefficientsCanBe | 1 |
| coefficientsIn canonical | 1 |
| hasTaylorCoefficient | 1 |
Description generation (PDg)
The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.
Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning. # Instructions Focus on describing the relationship, not the entities themselves. # Response Format Begin the description with \' Indicates...\'
Input
Predicate: coefficientsIn
Generated description
Indicates that one entity appears as a coefficient within the mathematical expression or representation of another entity.
Sample triples (21)
| Subject | Object |
|---|---|
| Weil cohomology | field of characteristic 0 ⓘ |
| Dirichlet series | (a_n)_{n≥1} via predicate surface "coefficientSequence" ⓘ |
| Ramanujan–Nagell equation | 7 via predicate surface "coefficientOfConstantTerm" ⓘ |
| de Rham cohomology | complex numbers via predicate surface "coefficientsCanBe" ⓘ |
| Newton interpolation polynomial | f[x_0] via predicate surface "coefficientNotation" ⓘ |
| Newton interpolation polynomial | f[x_0, x_1, ..., x_k] via predicate surface "coefficientNotation" ⓘ |
| Laurent series | a_n = (1 / 2πi) ∮_C f(z) (z - z₀)^{-n-1} dz via predicate surface "coefficientComputation" ⓘ |
| Alexander–Spanier cohomology | abelian groups via predicate surface "canBeDefinedWithCoefficientsIn" ⓘ |
| Alexander–Spanier cohomology | rings via predicate surface "canBeDefinedWithCoefficientsIn" ⓘ |
| Alexander–Spanier cohomology | modules via predicate surface "canBeDefinedWithCoefficientsIn" ⓘ |
| Alexander–Spanier cohomology | abelian group G via predicate surface "coefficientVariable" ⓘ |
| Sturm–Liouville problem | p(x) via predicate surface "hasCoefficientFunction" ⓘ |
| Sturm–Liouville problem | q(x) via predicate surface "hasCoefficientFunction" ⓘ |
| Siegel modular form | symmetric, semi-positive definite integral matrices via predicate surface "FourierCoefficientsIndexedBy" ⓘ |
| Koebe function | a_n = n for n \ge 1 via predicate surface "hasTaylorCoefficient" ⓘ |
| Steenrod operations | F_2 via predicate surface "coefficientField" ⓘ |
| Steenrod operations | F_p via predicate surface "coefficientField" ⓘ |
| Bockstein homomorphism | Z/nZ via predicate surface "usedWithCoefficients" NERFINISHED ⓘ |
| Bockstein homomorphism | Z/pZ via predicate surface "usedWithCoefficients" ⓘ |
| Bockstein homomorphism | local coefficient systems via predicate surface "usedWithCoefficients" ⓘ |
| Hurwitz zeta function | Stieltjes constants generalized by parameter a via predicate surface "coefficientInLaurentExpansion" ⓘ |