eachGröbnerConeCorrespondsTo
P175120
predicate
Indicates that every Gröbner cone in a given fan or decomposition is associated with, and uniquely determines, a specific algebraic or combinatorial object (such as an initial ideal or term order).
Observed surface forms (1)
| Surface form | Occurrences |
|---|---|
| maximalConesCorrespondTo | 1 |
Sample triples (2)
| Subject | Object |
|---|---|
| Gröbner fan | distinct reduced Gröbner bases via predicate surface "maximalConesCorrespondTo" ⓘ |
| Gröbner fan | one reduced Gröbner basis ⓘ |