Repository navigation
Lower the power of a binomial beside x below a sine before splitting over its roots - #2051
Merged
Rafael-SOWNet merged 1 commit intoOct 22, 2026
Conversation
…over its roots Rubi's 4.1.11 sin(c + d x)/(x (a + b x^3)^3) was declined: the split over x and the cube's three roots, each to the third power, came out past the size it hands on. Since a + b x^n - b x^n is a, 1/(x Q^k) is 1/(a x Q^(k - 1)) - (b/a) x^(n - 1)/Q^k, and each of the two is a question SolveATrigonometricOfALinearOverAPowerOfALinear answers: the first lower in k until the split takes it, the second over Q^k without x. Where the direct split declines, the two are asked as questions of their own. 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.
sin(c + d x)/(x (a + b x^3)^3)was declined.SolveATrigonometricOfALinearOverAPowerOfALinearsplits over the linears of the denominator, which here are x and the cube's three roots, each to the third power. That split came out past the size it hands on. Over the square of the binomial it answers, in 6,403 characters.a + b x^n - b x^nisa,1/(x Q^k)is1/(a x Q^(k - 1)) - (b/a) x^(n - 1)/Q^k, forQ = a + b x^nwith n three or four. Each of the two is a question the rule answers: the first is lower in k, until the split takes it, and the second is overQ^kwithout x. Only where the direct split declines are the two asked as questions of their own.sin(c + d x)/(x (a + b x^3)^3)cos(c + d x)/(x (a + b x^3)^3)Rubi's own answer is a sum over the cube's roots of sine and cosine integrals, as this one is.
Chain against master ef4150e:
The library builds for netstandard2.0, net8.0 and net10.0. The suite is left to CI. The BREAKING-CHANGES lengths were measured on the branch, and the 2.5.0 column on a v2.5.0 build. Rebased onto de11aaf.
🤖 Generated with Claude Code
https://claude.ai/code/session_012sonx8iAspMiwRwokT1Ura