Repository navigation
Take a rational function past the twelfth degree by Hermite's reduction - #1893
Merged
Rafael-SOWNet merged 5 commits intoOct 15, 2026
Conversation
A denominator up to the twenty-fourth degree is read, the squarefree part Hermite leaves still held to the twelfth for the resultant; and such a rational function with numbers for coefficients is asked before the search, its terms over the least common multiple of their denominators. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_012sonx8iAspMiwRwokT1Ura
…sk the early route only at the question asked Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_012sonx8iAspMiwRwokT1Ura
…ator-takes-a-denominator-past-the-twelfth-degree
…ator-takes-a-denominator-past-the-twelfth-degree
… and build on netstandard2.0 Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_012sonx8iAspMiwRwokT1Ura
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Part of #718.
The rational integrator (
RothsteinTrager) read a denominator of degree twelve at most. Rubi's 1.3.1 writes derivatives as sums of quotients over different powers ofx^4 + x + 3, which come to degree sixteen. Master spent seconds on those and then declined.IntegrateAHighDegreereads a denominator up to degree 24, for one past twelve only. Hermite's reduction takes the rational part; what it leaves for the logarithms is still held to twelve.SolveAHighDegreeRationalFunctionByHermitewrites the sum over the LCM of its denominators and asks that, right afterSolveByWritingEachLinearOnce. It applies to numeric coefficients only, and only at the question asked.1/(cos(x) + cos(3x))^5under the half-angle tangent went from 0.5 s to a hang.Measured
Pocket of 7,779 Rubi rows, 5 s per row, master 1fce7d8 against this branch on it:
The one other move in the pocket, 1.3.1:568, is unsolved on both sides when rerun alone. Rows both arms solve take the same time: 984 s against 972 s on master over 7,692 rows. Families 0–8 are identical on both sides. Exact checks at 50–2000 digits pass 8 of 8 on each target. The gate passes, and the suite passes 15,390.
BREAKING-CHANGES.mdrecords the two new answers.🤖 Generated with Claude Code
https://claude.ai/code/session_012sonx8iAspMiwRwokT1Ura