Manuscript XXII-C@1 · XXII-C.tex · definition · b9a05a24
Definition: Predeclared order-and-feasibility extraction
The frozen representation query · lines 805–826
XXII-C@1#def:extraction, XXII-C@1#eq:extraction
The frozen rule is
Its construction is given by (eq:strength-maximum), (eq:direct-relation), (eq:scc), (eq:component-order), and Definitions def:generated–def:feasible.
Displayed formulas in this passage
XXII-C@1#eq:extraction · line 808
Nearby in this section
- section: The frozen representation query
- definition: Definition: Generated cone associated with an embedding
- definition: Definition: Representation-feasibility set
- section: The frozen representation query
- proposition: Proposition: Covariance of the feasibility problem
- section: The frozen representation query