Repository navigation
A power of a quadratic with symbols in its outer coefficients is integrated over the monic quadratic - #1847
Merged
Rafael-SOWNet merged 4 commits intoOct 11, 2026
Conversation
…grated over the monic quadratic Part of #718. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_012sonx8iAspMiwRwokT1Ura
Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_012sonx8iAspMiwRwokT1Ura
…tic-made-monic-in-named-coefficients
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.
x^5/(a + b x + c x^2)^4was declined, whilex^5/(2 + b x + c x^2)^4andx^5/(k + m x + x^2)^4were answered. When the reduction declines the quadratic as written, the integrand is now integrated as1/c^ntimes the integral over(x^2 + k x + m)^n.k = b/candm = a/care fresh symbols during that step and are substituted back afterwards. A leading coefficient that is already a number as written is not renamed. Without that guard, a sub-question that was already monic was renamed again, and one suite answer grew from 65K to 202K characters.Sizes in characters, measured on 2.5.0, on master 78680f0 and on this branch:
x^5/(a+bx+cx^2)^4x^6/(a+bx+cx^2)^4x^7/(a+bx+cx^2)^4x^5/(a+bx+cx^2)^5x^7/(a+bx+cx^2)^5The Rubi corpus was run against 8835442 as the base. Three rows in 1.2.1.2 (2506–2508) go from unsolved to solved, and no row is wrong; every other family is identical. The allocation gate passes, and so does the suite (15,195 tests). After merging master, the calculus tests pass 4,470.
🤖 Generated with Claude Code
https://claude.ai/code/session_012sonx8iAspMiwRwokT1Ura