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 ModularProduct #354

Merged
merged 12 commits into from
Dec 22, 2020
Merged

Conversation

james-d-mitchell
Copy link
Member

This PR partially introduces the ModularProduct of two digraphs, as used in @le27's PR #334. When trying to understand the code in PR #334, I wrote the method in this PR. It seems to be about 10 times faster than the method in PR #334 for finding the modular product, but it doesn't do exactly the same thing.

@le27 can I suggest that you finish this PR off (add tests and documentation), and then use the ModularProduct in your other PR #334?

It's possible that it would be beneficial to have a ReducedModularProduct operation too (which basically returns the same thing as ReducedDigraph(ModularProduct(D)); but without the creation of the intermediate (possibly too large) ModularProduct(D)). Having said that I don't think the time consuming part of ReducedDigraph(ModularProduct(D)); is the call to ReducedDigraph so this might also not be worth it.

@james-d-mitchell james-d-mitchell added WIP Label of PRs that are a Work In Progress (WIP) new-feature A label for new features. labels Nov 18, 2020
@codecov
Copy link

codecov bot commented Nov 18, 2020

Codecov Report

Merging #354 (7d4025f) into master (ab5aadc) will increase coverage by 0.00%.
The diff coverage is 97.22%.

@@           Coverage Diff           @@
##           master     #354   +/-   ##
=======================================
  Coverage   95.30%   95.31%           
=======================================
  Files          50       50           
  Lines       12953    12989   +36     
=======================================
+ Hits        12345    12380   +35     
- Misses        608      609    +1     
Impacted Files Coverage Δ
gap/oper.gi 98.47% <97.14%> (-0.04%) ⬇️
gap/oper.gd 100.00% <100.00%> (ø)

gap/oper.gi Outdated Show resolved Hide resolved
gap/oper.gi Outdated Show resolved Hide resolved
doc/oper.xml Outdated Show resolved Hide resolved
doc/oper.xml Outdated Show resolved Hide resolved
doc/oper.xml Outdated Show resolved Hide resolved
doc/oper.xml Outdated Show resolved Hide resolved
doc/oper.xml Outdated Show resolved Hide resolved
@james-d-mitchell james-d-mitchell removed the WIP Label of PRs that are a Work In Progress (WIP) label Dec 21, 2020
@james-d-mitchell
Copy link
Member Author

I think this is good to go.

doc/oper.xml Show resolved Hide resolved
doc/oper.xml Outdated Show resolved Hide resolved
doc/oper.xml Outdated Show resolved Hide resolved
doc/oper.xml Outdated Show resolved Hide resolved
doc/oper.xml Outdated Show resolved Hide resolved
doc/oper.xml Outdated Show resolved Hide resolved
doc/oper.xml Outdated Show resolved Hide resolved
@wilfwilson wilfwilson merged commit 8d46bc4 into digraphs:master Dec 22, 2020
@james-d-mitchell james-d-mitchell deleted the modular-product branch December 22, 2020 15:52
@james-d-mitchell
Copy link
Member Author

Thanks @wilfwilson !

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
new-feature A label for new features.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants