equation 21.12 eq:lag-constraint-hypothesis
open in the book ·
parts/03-classical-mechanics/04-lagrangian-mechanics.tex:261
- connected by a declared semantic edge
Rests on
No declared or derived dependency edges point away from this node yet.
Supports
-
depends_on
proposition 21.22
Determinacy of the first-kind system
¶
- depends_on proposition 21.25 Departure from a smooth sphere ¶
- depends_on proposition 21.25 Departure from a smooth sphere ¶ ↺
Neighborhood
Every logical edge within two steps of this node.
- declared and complete
- partly declared
- a check failed
- not graded
- declared in the source
- inferred from structure
Edges
| type | direction | node | provenance | where |
|---|---|---|---|---|
depends_on |
← | Determinacy of the first-kind system | declared | parts/03-classical-mechanics/04-lagrangian-mechanics.tex:489 |
depends_on |
← | Departure from a smooth sphere | declared | parts/03-classical-mechanics/04-lagrangian-mechanics.tex:593 |