Re: Issue 3952 in sympy: Sympy cannot compute the integral of sqrt(tan(x))

2013-07-22 Thread sympy
Updates: Status: Valid Cc: matt...@gmail.com katja.so...@student.tuwien.ac.at Labels: Polynomial Simplify Integration Comment #1 on issue 3952 by asmeu...@gmail.com: Sympy cannot compute the integral of sqrt(tan(x)) http://code.google.com/p/sympy/issues/detail?id=3952

Issue 3952 in sympy: Sympy cannot compute the integral of sqrt(tan(x))

2013-07-22 Thread sympy
Status: New Owner: Labels: Type-Defect Priority-Medium New issue 3952 by omar.ant...@gmail.com: Sympy cannot compute the integral of sqrt(tan(x)) http://code.google.com/p/sympy/issues/detail?id=3952 Sympy gives up on integrate(sqrt(tan(x)),x) and returns it unevaluated. Mathematica

[sympy] Forcing square roots to collect

2013-07-22 Thread Ben Lucato
Say I have an expression like: y = sqrt(2) * sqrt(-x + 4)/2 and then we call powsimp(y), we get: sqrt(-2*x + 8)/2 is there a way to get sqrt((-x + 4) / 2), i.e. have the denominator of the fraction be checked too? I tried looking at the docs but there didn't seem to be a simplification for

[sympy] Re: Lie algebra module

2013-07-22 Thread Mary Clark
The latest build has now passed. -- You received this message because you are subscribed to the Google Groups sympy group. To unsubscribe from this group and stop receiving emails from it, send an email to sympy+unsubscr...@googlegroups.com. To post to this group, send email to

[sympy] Mul, Add for everything

2013-07-22 Thread F. B.
Wolfram Mathematica has Plus and Times which are used for every expression overloading the + and operators. I see here that SymPy has Mul, Add, MatMul, MatAdd, VectMul, VectAdd, TensMul, TensAdd, and so on... Do we really need all these ones? Couldn't Mul and Add be rewritten in such a way

Re: [sympy] Mul, Add for everything

2013-07-22 Thread Stefan Krastanov
They _could_ be rewritten, but it is always easier to start from scratch, mainly because of all the assumptions that were silently admitted when writing any of these. Add and Mul were sufficient for the vectors, forms and multiforms in `diffgeom`, but there are still corner cases causing bizarre

Re: [sympy] Re: Lie algebra module

2013-07-22 Thread Ondřej Čertík
Can you post a link? The latest commit is 957ea04, which has an X next to it: https://travis-ci.org/sympy/sympy/builds/9332240 which fails. This needs to get fixed, so that we can merge it. Ondrej On Mon, Jul 22, 2013 at 1:52 PM, Mary Clark mary.spritel...@gmail.com wrote: The latest build

Re: [sympy] Mul, Add for everything

2013-07-22 Thread Aaron Meurer
Yes, this is the idea behind issue 1941, which is very often brought up, but it's very hard. Aaron Meurer On Mon, Jul 22, 2013 at 3:47 PM, Stefan Krastanov krastanov.ste...@gmail.com wrote: They _could_ be rewritten, but it is always easier to start from scratch, mainly because of all the

Re: [sympy] Forcing square roots to collect

2013-07-22 Thread Aaron Meurer
Sorry, but some powers automatically denest: In [6]: print sqrt(x/2) sqrt(2)*sqrt(x)/2 so it is impossible to pull them together. expand_log does what you want, though it also expands using the additive rule. It's not too much more complicated to make it work with a multiplication of powers

Re: [sympy] Ternary quadratic forms and Quadratic congruences

2013-07-22 Thread mario
In the attached file there is a new version of ``descent``; I followed your suggestion about reducing the input to the square free part; in this way the lowest modular square root is always used; there is no need to use others; so the code in Smart seems to be correct, provided the input is