Skip to content

Use i32 for homological degree#186

Merged
JoeyBF merged 1 commit intoSpectralSequences:masterfrom
JoeyBF:s_i32
Mar 7, 2025
Merged

Use i32 for homological degree#186
JoeyBF merged 1 commit intoSpectralSequences:masterfrom
JoeyBF:s_i32

Conversation

@JoeyBF
Copy link
Collaborator

@JoeyBF JoeyBF commented Mar 6, 2025

This enables a few things.

  • We can now reason about duals, which are negatively graded, even though this is completely untested and probably broken as-is.
  • We can also use Bidegrees to index full-page spectral sequences, like in the sseq subcrate or the webserver.
  • We can now store bidegrees as [i32; 2], to allow for generalizing to [i32; N] for multi-graded objects in the future.

Copy link
Contributor

@hoodmane hoodmane left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice also to see how many casts this removes.

@JoeyBF
Copy link
Collaborator Author

JoeyBF commented Mar 7, 2025

I also found it very satisfying! Also because many fields went from OnceVec to OnceBiVec, we got rid of the usize casts too

@JoeyBF JoeyBF merged commit d82f60c into SpectralSequences:master Mar 7, 2025
23 checks passed
@JoeyBF JoeyBF deleted the s_i32 branch March 7, 2025 08:22
github-actions bot added a commit that referenced this pull request Mar 7, 2025
github-actions bot added a commit to JoeyBF/sseq that referenced this pull request Mar 7, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants