Repository navigation
Integrate a power of a power of a logarithm over x below the question asked - #2037
Merged
Rafael-SOWNet merged 1 commit intoOct 22, 2026
Merged
Conversation
… asked SolvePowersOfOneLinearAsOnePower answered only at the question asked. Under u = ln(a x^n), Rubi's 3.5 (ln(a x^n)^2)^p/x is (u^2)^p/n, a symbolic power of a power of the variable, and that is a question below the top. Below it the rule now reads powers of the variable itself, with no sum in x in them, and (u^2)^p is u (u^2)^p/(2 p + 1) on both sides of u = 0. Chain against master 2a98be4: pocket 5661 -> 5662 solved of 5675, 0 wrong; every family's samples unchanged; the one row that moved, 3.5:188, master declines and this answers. 11,193 rows compared for allocation, none grew past 1.3x and 300 MB. Part of #233. 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 #233.
SolvePowersOfOneLinearAsOnePoweranswered only the question asked. Underu = ln(a x^n), Rubi's 3.5(ln(a x^n)^2)^p/xis(u^2)^p/n, a symbolic power of a power of the variable, and that question is asked below the top. Below the top, the rule now reads powers of the variable itself when they have no sum in x.(u^2)^pisu (u^2)^p/(2 p + 1)on both sides ofu = 0.Chain against master 2a98be4:
The branch is rebased onto 78cd31b. The BREAKING-CHANGES lengths were measured on the branch.
The full unit suite ran locally: 16,551 passed and 1 failed. The failure was
SlowDeclinesAheadOfTheAnsweringRuleIntegralTest'sx^4 (d + k x^2)^3 (a + b acosh(c x)), which hit its three-minute guard at load 17. Alone it takes about 20 s on this branch and on master alike.🤖 Generated with Claude Code
https://claude.ai/code/session_012sonx8iAspMiwRwokT1Ura