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
[Merged by Bors] - chore(topology/topological_fiber_bundle): reorganizing the code #7989
Conversation
topological_vector_bundle_code
topological_vector_bundle_core
e5ecfd6
to
3b7ca99
Compare
c86e1bb
to
a9c40c1
Compare
a9c40c1
to
6eaf958
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The PR is called topological_vector_bundle_core
, but I have reviewed 3/4 of it and it is only about refactoring topological fiber bundles. Could you remove the part about vector bundles from this PR, rename it, and add an appropriate PR description? I think this will make it much easier to review and merge quickly.
0656d71
to
5e2f205
Compare
topological_vector_bundle_core
Done! |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Could you update the PR explanatory text?
bors r+ |
Mainly redesigning the `simp` strategy.
Pull request successfully merged into master. Build succeeded: |
Mainly redesigning the `simp` strategy.
Mainly redesigning the
simp
strategy.