Why doesn't this contract?

homotopy-io / homotopy-rs

A Rust/WASM implementation of homotopy.io

https://homotopy.io

BSD 3-Clause "New" or "Revised" License

76 stars 5 forks source link

Why doesn't this contract? #1358

Open wilfofford opened 3 months ago

wilfofford commented 3 months ago

squash.hom.zip

I can't contract these layers, and the squash button fails too. The singular layers should contract, as these two morphisms can definitely be applied in parallel.