Menu
▾
▴
#2309 monstertrig makes bogus call to maxima-substitute
The call to subliss eventually tries to substitute (%cos simp) for D:
(%i2) integrate(cos(2*x)*cos(x),x);
< stuff deleted>
1> (MONSTERTRIG
((MTIMES SIMP) ((%COS SIMP) $X)
((%COS SIMP) ((MTIMES SIMP) 2 $X)))
$X $X)
2> (SUBLISS ((N . 2) (X . $X) (D %COS SIMP) (M . 1) (X . $X)
(B %COS SIMP) (A . 1))
((MTIMES) A
((MPLUS)
((MQUOTIENT)
((%SIN) ((MTIMES) ((MPLUS) M ((MTIMES) -1 N)) X))
((MTIMES) 2 ((MPLUS) M ((MTIMES) -1 N))))
((MQUOTIENT) ((%SIN) ((MTIMES) ((MPLUS) M N) X))
((MTIMES) 2 ((MPLUS) M N))))))
2
I dunno, it seems harmless to me. The first argument to SUBLISS is the list of pattern matching variables with their matched values, as found by M2. Not all of the pattern variables appear in the formula for the result, so some of the substitutions are no-ops. I guess it's possible to create an example in which there are some ?b or ?d symbols in the input, and thereby cause trouble when those get spurious substitutions. But the same could be said about any of the other pattern variables.