Hello Everybody !! I just had to write a doctest saying "If this bipartite graph is not a forest, then is has an even cycle"
This can of course be written "(not g.is_forest() and g.has_even_cycle())" I would have like to have some "implication operator", to be able to write : ( not g.is_forest() => g.has_even_cycle() ) Which would of could do the very same operations (probably with a different choice for the implication operator. Is is alreay possible ? If not, could we do something about it ? :-) Thanks !!! Nathann -- To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
