Skip to content

Possible typo in Rubi rule #58

@stblake

Description

@stblake

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] :=
(2
c
x)(a+cx^2)^(p+1)(d+ex+fx^2)^q/((-4ac)(p+1)) -
(1/((-4ac)(p+1))) [Star]
Int[(a+c
x^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-4
d*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
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions