Naïm Camille Favier on Nostr: nprofile1q…d6kk0 nprofile1q…dtphs nprofile1q…q9vrk Would some kind of descent ...
nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqjd874v63430gng67kpw5m597f34dr9vr0yhkp8dkmnma8208raysyd6kk0 (nprofile…6kk0) nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqxhmu64qvpl0efrty68zzwut2eg20dc354wz6mjd0jm9ml2crqusq8dtphs (nprofile…tphs) nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqjpjz2fr8cz3fc37qmta2tv32ndme82n5w72vyr2gyvzn4a4skk0suq9vrk (nprofile…9vrk) Would some kind of descent condition help at all? That's how I think about large elimination, but I don't know if that's what you're looking for.