Many of the internal integrators do check for  periodicity and symmetries, but apparently they are not catching compositions of trig functions.  I will look into beefing this up a bit.

John

Many of the internal integrators do check for  periodicity and symmetries, but apparently they are not catching compositions of trig functions.  I will look into beefing this up a bit.

John

This appears to be related to a very old issue with solve and inverse trig solutions.  We've added it as an SCR to our database, and I will be sure to look at it.

John May
Math Developer, Maplesoft

Question asking sites (e.g. Yahoo Answers and Ask Metafilter) and review sites (e.g. the Amazon reviews) use a system like this.  In the case of "answers" sites, there is often a special rating set aside for the original "asker" to specify that an answer was helpful to their situation directly.

It looks like there are a lot of Drupal modules to do this sort of thing, but it is not obvious from a quick look which is the right one for Mapleprimes.

John

For what it is worth, the issue reported in Alex's original post was fixed in Maple 12:

> int(a,t=-Pi/4..Pi/4);
                                     1/2
                                    2    Pi
                                    -------
                                       8


> int(aa,t=-Pi/4..Pi/4);
                                     1/2
                                    2    Pi
                                    -------
                                       8

> evalf(Int(a,t=-Pi/4..Pi/4)); identify(%); 
                                 0.5553603673

                                     1/2
                                    2    Pi
                                    -------
                                       8

> evalf(Int(aa,t=-Pi/4..Pi/4));             
                                 0.5553603673

John

Engineering clean and maintainable replacements to artistic code that is more-or-less fully backward compatible with the old code is an especially entertaining pursuit.   It involves playing a lot of the game that one of my co-workers lovingly calls "Whack-a-Mole" with the regression test database.

John

Engineering clean and maintainable replacements to artistic code that is more-or-less fully backward compatible with the old code is an especially entertaining pursuit.   It involves playing a lot of the game that one of my co-workers lovingly calls "Whack-a-Mole" with the regression test database.

John

[citation needed]

I'd be interested to see numbers. I've read a couple things to indicate that initial Vista sales were pretty good compared to XP but that overall adoption is not.  The relevant wikipedia entry seems to be in the middle of a neutrality dispute however.

John

Jonathan Coulton played this song at his live show in Toronto last night.  It was quite excellent.  Based purely on t-shirts in the audience, there was a pretty strong math nerd showing.

John

If you are looking for something more efficient than if/then, goto is probably not it.  I am fairly certain there is a reason that Maple's goto is undocumented and, as far as I know, not used anywhere in the library.

John

If you are looking for something more efficient than if/then, goto is probably not it.  I am fairly certain there is a reason that Maple's goto is undocumented and, as far as I know, not used anywhere in the library.

John

3- Actually if you type x_0  in 2D math, it will be turned into x[0].

Going back to this thread: http://www.mapleprimes.com/forum/indices
If you type x<ctrl>_0 it will create something that is rendered as a subscript, but is not an indexed variable (it is actually `#msub(mi("x"),mn("0"))` - the same as executing 'convert to atomic identifier' on it) .  A third option is to type x\_0 to get x_0 literally, but that will not get rendered as a subscript in 2D.

John

This behavior of solve (which started in Maple 5.4) helps to confuse the issue:

solve(x-3<0, x);          
                         RealRange(-infinity, Open(3))

John

This is an interesting idea.

However, in this case, it is entirely possible that solve is even doing "all" the work.  Putting a trace on solve before executing these commands shows, for example, solve is being called:

solve(ln(x)-1/2*ln(1+x^2)-1/x*y(x)+
   1/2*ln(1/cos(y(x)-arctan(x)+_C1)^2)-_C2, {y(x)});
solve( x/(1+x^2)^(1/2)/exp(1/x*y(x))*(1/(cos(y(x))/(1+x^2)^(1/2)
   *cos(_C1)+cos(y(x))*x/(1+x^2)^(1/2)*sin(_C1)+sin(y(x))
   *x/(1+x^2)^(1/2)*cos(_C1)-sin(y(x))/(1+x^2)^(1/2)
   *sin(_C1))^2)^(1/2)/exp(_C2)-1, y(x));

And those seem almost as complicated as the original problem.

John

Shuhong's paper on multivariate factoring via PDEs is great, but a slighly funny example here.  The PDE in that paper is apparently pretty strange (notwithstanding the fact that it is considered as being defined over finite fields!), and for the purposes of the algorithm it is instantly turned into a matrix - so it is not actually using any of the theory of PDEs.  I suspect most of the reason for putting 'PDE' in the title is was to make it eye catching.

John