Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add immediate methods for connected and strongly connected graphs #583

Merged
merged 1 commit into from
Apr 26, 2023

Conversation

mtorpey
Copy link
Collaborator

@mtorpey mtorpey commented Apr 24, 2023

A few observations that can get us certain properties for free:

  • IsStronglyConnectedDigraph implies IsConnectedDigraph;
  • One DigraphStronglyConnectedComponent implies IsStronglyConnectedDigraph;
  • One DigraphConnectedComponent implies IsConnectedDigraph.

This PR adds a couple of quick immediate methods that give us these.

@mtorpey mtorpey added enhancement A label for PRs that provide enhancements. minor A label for PRs or issues that are minor in some sense. labels Apr 24, 2023
gap/prop.gi Outdated Show resolved Hide resolved
gap/prop.gi Outdated Show resolved Hide resolved
@mtorpey mtorpey force-pushed the connected-immediate-methods branch from f5d79d7 to 02a493c Compare April 25, 2023 09:50
@mtorpey
Copy link
Collaborator Author

mtorpey commented Apr 25, 2023

Cheers for the suggestions. Fixed and rebased!

@james-d-mitchell james-d-mitchell merged commit c96540a into main Apr 26, 2023
@james-d-mitchell
Copy link
Member

Nice one thanks @wilfwilson and @mtorpey !

@mtorpey mtorpey deleted the connected-immediate-methods branch April 26, 2023 09:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement A label for PRs that provide enhancements. minor A label for PRs or issues that are minor in some sense.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants