Skip to content

Sharpen Docs and Tests for get_representative_least_absolute_residue - #538

Merged
jnsiemer merged 5 commits into
devfrom
docs_get_repr_least_abs_residue
Oct 20, 2026
Merged

jnsiemer merged 5 commits into
devfrom
docs_get_repr_least_abs_residue

Conversation

@jnsiemer

Copy link
Copy Markdown
Member

Description

This PR implements ensures that the documentation for get_representative_least_absolute_residue functions and provides tests for previously not considered edge-cases.

@jnsiemer jnsiemer self-assigned this Oct 20, 2026
@jnsiemer jnsiemer added the documentation📖 Improvements or additions to documentation label Oct 20, 2026
}

/// Checks whether every coefficient is mapped into `(-⌈modulus/2⌉, ⌊modulus/2⌋]`
/// for an odd and an even modulus, i.e. `modulus/2` is mapped to the positive representative.

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

this comment is not fully clear as modulus/2 might not be an integer to be mapped to any representative

Comment thread src/integer_mod_q/mat_polynomial_ring_zq/get.rs
@jnsiemer
jnsiemer merged commit 8d806ba into dev Oct 20, 2026
2 checks passed
@jnsiemer
jnsiemer deleted the docs_get_repr_least_abs_residue branch October 20, 2026 13:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation📖 Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants