Crash during torus eversion

homotopy-io / homotopy-rs

A Rust/WASM implementation of homotopy.io

https://homotopy.io

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

84 stars 7 forks source link

Crash during torus eversion #1290

Closed wilfofford closed 10 months ago

wilfofford commented 10 months ago

torus_eversion_actions.txt

Crash I experienced while trying to simplify one of the proof steps in an attempt to build the torus eversion.

calintat commented 10 months ago

Thanks Wilf!

jamievicary commented 10 months ago

Thanks Calin and Wilf. Calin what was the issue here?

calintat commented 10 months ago

It was trying to do an anticontraction but it couldn't do the factorization so it panicked. Now if that happens, it just does a bubbling (which has always been our fallback).