use leja order for factored polynomial, follow up on #568 #588
Triggered via pull request
November 15, 2024 23:24
Status
Success
Total duration
10m 37s
Artifacts
–