On Wednesday, 20 August 2025 at 13:55:04 UTC-7 axio...@yahoo.de wrote:
In my original post I proposed `total_order_rank` and `total_order_unrank`. I think it would be good to have the same prefix, in order not to further clutter the already long list of method names you get by tab completion in enumerated sets. Sure; fine with me. I suspect you'll have to leave the alias "index" in place for compatibility with python lists. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion visit https://groups.google.com/d/msgid/sage-devel/ea760591-1d42-4f0c-8284-ba6fb2055c5an%40googlegroups.com.
