Skip to content

Fix fmpz_read#2571

Merged
fredrik-johansson merged 1 commit intoflintlib:mainfrom
fredrik-johansson:fmpz_read
Feb 2, 2026
Merged

Fix fmpz_read#2571
fredrik-johansson merged 1 commit intoflintlib:mainfrom
fredrik-johansson:fmpz_read

Conversation

@fredrik-johansson
Copy link
Copy Markdown
Collaborator

Fixes #2570: fmpz_read was completely broken (tried to read from stdout instead of stdin).

This fixes the qfb profile programs. Before:

$ build/qfb/profile/p-factor_qfb
Enter number to be factored: Read failed
Aborted (core dumped)

After:

$ build/qfb/profile/p-factor_qfb
Enter number to be factored: 1000000000000000000000033
iters = 10, multipliers = 10
iters = 20, multipliers = 11
Factor: 1726503814391

@fredrik-johansson fredrik-johansson merged commit 569bcf5 into flintlib:main Feb 2, 2026
9 checks passed
@fredrik-johansson fredrik-johansson deleted the fmpz_read branch February 2, 2026 14:02
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.

Mixed up STDOUT vs STDIN in read function

1 participant