-
Notifications
You must be signed in to change notification settings - Fork 27
Open
Description
Reported to me via email from Arthur Norman:
The rule
Int[AA1:(a_.+c_.x_^2)^p_(d_.+e_.x_+f_.x_^2)^q_,AA2:x_Symbol] :=
(2cx)(a+cx^2)^(p+1)(d+ex+fx^2)^q/((-4ac)(p+1)) -
(1/((-4ac)(p+1))) [Star]
Int[(a+cx^2)^(p+1)(d+ex+fx^2)^(q-1)
Simp[2cd*(2p+3)+(2ce(2p+q+3))x+2cf*(2p+2q+3)x^2,x],x]
/;
FreeQ[{a,c,d,e,f},x] && NeQ[e^2-4d*f] && 4
LtQ[p,-1] && GtQ[q,0] && Not[IGtQ[q,0]]
calls NeQ with only a argument where I view it as pretty clear-cut that
this is a typo and a ",0" should go in.
The rule is in
Algebraic functions/1.2 Trinomial products/1.2.1 Quadratic/1.2.1.4
I am not using the Rubi github stuff at present since I have checked out
the version I will use, so that is not a place I find it natural to rais
points like this, but some of you should know!
Metadata
Metadata
Assignees
Labels
No labels