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 parameter immutable to transitive closure methods in sage/graphs/generic_graph.py #39287

Open
wants to merge 13 commits into
base: develop
Choose a base branch
from

Conversation

dcoudert
Copy link
Contributor

@dcoudert dcoudert commented Jan 5, 2025

Following #39280 and discussions in #39177, we add parameter immutable to methods related to transitive closure in sage/graphs/generic_graph.py and sage/graphs/generic_graph_pyx.pyx:

  • transitive_closure. We also fix the use of parameter loops that was previously ignored
  • transitive_reduction
  • transitive_reduction_acyclic
  • is_transitively_reduced. Here we ensure that the method accepts immutable digraphs.

📝 Checklist

  • The title is concise and informative.
  • The description explains in detail what this PR is about.
  • I have linked a relevant issue or discussion.
  • I have created tests covering the changes.
  • I have updated the documentation and checked the documentation preview.

⌛ Dependencies

@dcoudert dcoudert self-assigned this Jan 5, 2025
Copy link

github-actions bot commented Jan 5, 2025

Documentation preview for this PR (built with commit 8a5ec16; changes) is ready! 🎉
This preview will update shortly after each push to this PR.

@dcoudert
Copy link
Contributor Author

I'm not sure how to prevent the doctest error in src/sage/categories/kahler_algebras.py
https://github.com/sagemath/sage/actions/runs/12975446215/job/36186529412?pr=39287#step:10:2487

This is certainly due to a change in the order of the vertices of a graph used somewhere...
Help is more than welcome here.

vbraun pushed a commit to vbraun/sage that referenced this pull request Feb 10, 2025
…hs/generic_graph.py`

    
Following sagemath#39280, sagemath#39285, sagemath#39287, sagemath#39296 and discussions in sagemath#39177, we
add parameter immutable to methods  in `sage/graphs/generic_graph.py`:
- `longest_cycle`
- `longest_path`
- `hamiltonian_path`
- and add tests in `cycle_basis`

### 📝 Checklist

<!-- Put an `x` in all the boxes that apply. -->

- [x] The title is concise and informative.
- [x] The description explains in detail what this PR is about.
- [x] I have linked a relevant issue or discussion.
- [x] I have created tests covering the changes.
- [x] I have updated the documentation and checked the documentation
preview.

### ⌛ Dependencies

<!-- List all open PRs that this PR logically depends on. For example,
-->
<!-- - sagemath#12345: short description why this is a dependency -->
<!-- - sagemath#34567: ... -->
    
URL: sagemath#39297
Reported by: David Coudert
Reviewer(s): Kwankyu Lee
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant