PS Note that if you ever did decide to have a method G.is_disconnected() then I would want that to be False also for the emtpy graph, just as 1 is not composite.
On 19 August 2013 17:07, Jernej Azarija <azi.std...@gmail.com> wrote: > Hello! > > As you can check here > http://mathoverflow.net/questions/120536/is-the-empty-graph-a-tree > > the big shot guys agree that the empty graph is to be considered > disconnected. So YES in general, mathematicians appear to be depressed > persons..... > > > > > On Mon, Aug 19, 2013 at 5:51 PM, Nathann Cohen <nathann.co...@gmail.com> > wrote: >> >> Helloooooooo everybody !! >> >> There is a discussion on theology going on at #15060, about whether we >> should consider whether the empty graph is connected or not. We >> already had one about deciding whether the empty graph is a tree or >> not, and Karl-Dieter supposed that other discussions of this kind >> already happened in Sage. >> >> Here's the thing : we have two definitions which conflict on a trivial >> case only, and we have functions that are expected to answer whether >> -- yes or no -- the property holds. >> >> I personally voted for not answering anything, and raising a "We Have >> No Idea And We Don't Want To Be Forced To Give An Answer Exception" in >> this case, for there is no way to give an answer that would not lead >> anybody to very weird bugs. >> >> What do you think ? Darij agreed with this idea, and Karl-Dieter >> believes that we should make a decision and answer something :-) >> >> Help us ! :-P >> >> Nathann > > > -- > 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/groups/opt_out. -- 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/groups/opt_out.
