is_t_design needs to verify that every t-tuple is in at least one block - Githubissues

sagemath / sage

Main repository of SageMath

https://www.sagemath.org

Other

1.46k stars 482 forks source link

is_t_design needs to verify that every t-tuple is in at least one block #38973

Open DaveWitteMorris opened 6 days ago

DaveWitteMorris commented 6 days ago

Fixes #38454.

In a t-design, every t-tuple needs to be contained in the same number of blocks. The code for is_t_design did not verify this correctly, because it only checked the t-tuples that are contained in at least one block. We fix this by verifying that the number of t-tuples that appear in at least one block is equal to the total number of t-tuples.

:memo: Checklist

[x] The title is concise and informative.
[x] The description explains in detail what this PR is about.
[x] I have linked a relevant issue or discussion.
[x] I have created tests covering the changes.
[x] I have updated the documentation and checked the documentation preview.

:hourglass: Dependencies

github-actions[bot] commented 6 days ago

Documentation preview for this PR (built with commit f3d5c8dde3b605cdd1c66e9b73e7b3c02f865f6a; changes) is ready! :tada: This preview will update shortly after each push to this PR.