Probably one should keep *closed_interval* as an alias of *interval* I also noticed today that *interval_iterator* forgets about trivial intervals [v,v].
Le mercredi 5 novembre 2014 12:17:10 UTC+1, Jori Mantysalo a écrit : > > What is the logic having both interval() and closed_interval() defined on > posets? Last one is really defined as a function, but is just calls first > one. > > -- > Jori Mäntysalo > -- 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 post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.