Closed hyanwong closed 4 months ago
Fixes #56 . Maybe worth checking if anything else is affected like this.
Sorry, didn't notice you had PR our. Anyway, it's safer to not have the length, as this way we don't need to fix the ultrametricity tool.
Agreed. Thanks for thinking this through and fixing.
Fixes #56 . Maybe worth checking if anything else is affected like this.