5454c02328
- Replace all-to-all sub-poset connection with rewrite-based correspondence - Add compute_subpoint_correspondence() using cone structure for 3 cases: identity (1-to-1), contraction (many-to-one), insertion (index shift) - Add compute_height_maps() for singular and regular height tracking - Covering relations reduced from 114 to 35 for half_braid (69% reduction) - Surface 3 (r0,s0,r0): 9 spurious successors → 3 correct successors - 175 tests passing, 0 failures - Regenerated fixtures/half_braid_geometry.json with corrected boundaries Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
42 lines
1.3 KiB
Text
42 lines
1.3 KiB
Text
warning: unnecessary parentheses around closure body
|
|
--> homotopy-core/src/collapse.rs:135:22
|
|
|
|
|
135 | .filter(|&e| (e.target() != keep))
|
|
| ^ ^
|
|
|
|
|
= note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default
|
|
help: remove these parentheses
|
|
|
|
|
135 - .filter(|&e| (e.target() != keep))
|
|
135 + .filter(|&e| e.target() != keep)
|
|
|
|
|
|
|
warning: unnecessary parentheses around closure body
|
|
--> homotopy-core/src/collapse.rs:158:22
|
|
|
|
|
158 | .filter(|&e| (e.source() != keep))
|
|
| ^ ^
|
|
|
|
|
help: remove these parentheses
|
|
|
|
|
158 - .filter(|&e| (e.source() != keep))
|
|
158 + .filter(|&e| e.source() != keep)
|
|
|
|
|
|
|
warning: `homotopy-core` (lib) generated 2 warnings (run `cargo fix --lib -p homotopy-core` to apply 2 suggestions)
|
|
Compiling homotopy-core v0.1.0 (/home/maximus/.env/extern/diagrammatic-semiotics/homotopy-rs/homotopy-core)
|
|
Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.74s
|
|
Running `target/debug/examples/export_padded`
|
|
=== Original half_braid ===
|
|
dimension: 3
|
|
size: 1
|
|
|
|
=== Identity cospan ===
|
|
forward is_identity: true
|
|
backward is_identity: true
|
|
cospan is_identity: true
|
|
|
|
=== Padded diagram ===
|
|
dimension: 3
|
|
size: 2
|
|
last cospan is_identity: true
|