Skip to content
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.

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

fix: use correct value for blowup #965

Merged
merged 1 commit into from
Jul 2, 2024

Conversation

zlangley
Copy link
Contributor

This change doesn’t seem to impact the logic as blowup is used solely to calculate matrix heights through the expression mat.domain.size() * blowup, and these computed heights are then only used in equality comparisons against each other. Any nonzero value for blowup should therefore "work". (But this does make me wonder why both batch_heights_log2 and batch_dims are computed, since the former should also work for this kind of logic.)

@jtguibas jtguibas changed the base branch from main to dev July 2, 2024 18:41
@jtguibas
Copy link
Contributor

jtguibas commented Jul 2, 2024

Ah nice catch! Will fix & merge after running CI.

@jtguibas jtguibas merged commit 477f730 into succinctlabs:dev Jul 2, 2024
8 of 11 checks passed
@zlangley zlangley deleted the fix/blowup_factor branch July 3, 2024 14:31
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.

None yet

2 participants