Additions to the bigraded Betti number methods

[OP5642]

This pull request expands the functionality of bigraded_betti_number() methods of a SimplicialComplex by adding an additional parameter verbose. The verbose option increases verbosity while computing the invariant by printing the subcomplexes along with their non-trivial homology groups.

This PR is a part of #35640 (GSoC 2023).

📝 Checklist

• The title is concise, informative, and self-explanatory.
• 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 accordingly.

[OP5642]

@tscrim

[tscrim]

This should not depend on #35875. Adding the bigraded methods should be done on that PR alone. These PRs are independent AFAICS.

I agree with the verbose option, but I don't agree with the tablular, at least using print(). If anything, it should return an actual table(-like) object. Although I am not convinced that it isn't something the user should just do on their own.

[OP5642]

Thank you for the review, @tscrim. I also modified the verbose option for bigraded_betti_numbers() method by adding the index (in the form (-i, 2j)) as a prefix, as well as one more doctest which demonstrates the verbose output. How should I deal with lines 4945 and 5024, which seem way too long?

[tscrim]

LGTM.

[vbraun]

Merge conflict

[tscrim]

@OP5642 Can you git rebase this over the most recent develop (and then force push it)?

[OP5642]

Thank you, I think I managed to do so just now.

[github-actions]

Documentation preview for this PR (built with commit 037b616; changes) is ready! 🎉