Point groups: local context

Project map · Chapter map · Full theorem DAG · Open textbook statement

This local map shows one dependency hop in either direction. The highlighted item is the current focus.

planned6Described in the blueprint only.

graph LR n0["Test categories"]:::planned n1("Simplex generators"):::planned n2("Point groups"):::planned n3("Contractible quotient"):::planned n4("Bounded comparison"):::planned n5("Rational sphere calculation"):::planned n1 -.-> n2 n0 --> n1 n0 --> n4 n0 --> n3 n0 --> n2 n0 --> n5 n2 -.-> n4 n2 -.-> n3 n2 -.-> n5 click n0 "../../../roadmap/sheaf-categories/index.html#test-categories" "Test categories — 1 item · 1 planned" click n1 "../../../roadmap/sheaf-categories/index.html#simplex-generators" "Simplex generators — 1 item · 1 planned" class n2 focus click n2 "../../../roadmap/sphere-lattice/index.html#point-groups" "Point groups — 1 item · 1 planned" click n3 "../../../roadmap/sphere-lattice/index.html#contractible-quotient" "Contractible quotient — 1 item · 1 planned" click n4 "../../../roadmap/sphere-lattice/index.html#bounded-comparison" "Bounded comparison — 1 item · 1 planned" click n5 "../../../roadmap/sphere-lattice/index.html#sphere-rank" "Rational sphere calculation — 1 item · 1 planned"