Skip to content

tests(library/math): specs preservation of operand identity in greatestCommonDivisor #571

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 1 commit into from
Jul 23, 2025
Merged

tests(library/math): specs preservation of operand identity in greatestCommonDivisor #571

merged 1 commit into from
Jul 23, 2025

Conversation

bjacobgordon
Copy link
Collaborator

@bjacobgordon bjacobgordon commented Jul 23, 2025 •
edited
Loading

  • describes property where, for positive integers $$a$$, $$\text{gcd}(a, a) = a$$.

@bjacobgordon bjacobgordon self-assigned this Jul 23, 2025
@github-actions github-actions bot added the tests label Jul 23, 2025
@bjacobgordon bjacobgordon merged commit 7cd7a8c into nod-ai:integration Jul 23, 2025
5 checks passed
@bjacobgordon bjacobgordon deleted the tests(library/math)--specs-preservation-of-operand-identity-in-`greatestCommonDivisor` branch July 23, 2025 20:31
@bjacobgordon bjacobgordon mentioned this pull request Jul 23, 2025
Open
18 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@bjacobgordon bjacobgordon

Labels
tests
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@bjacobgordon