Re: [sympy] QEPCAD

2016-09-18 Thread Ferran Pujol Camins
Thank you Jason. QEPCAD: Quantifier Elimination by Partial Cylindrical Algebraic Decomposition A brief introduction: https://www.usna.edu/CS/qepcadweb/B/QE.html Here's the discussion of your GSOC proposal: https://groups.google.com/d/msg/sympy/Ujznd13xfgw/1TB6Yg9G2qkJ El divendres, 16 setembre

Re: [sympy] QEPCAD

2016-09-18 Thread Aaron Meurer
Ah. I had not seen the QEP part of that acronym before. No, there is no work completed thus far. To answer the other questions: - We do support Python 2.7 and 3.3-3.5. When you make a pull request Travis CI will test all of these automatically. You mainly need to make sure to use things from symp

[sympy] Re: How does sympy know there are two tokens in the string "xalpha"

2016-09-18 Thread 'Finn Krein' via sympy
Hello, I'm a beginner too. What would I use to get an \alpha x? I tried r'\alpha x' but Spaces already have a meaning in symbol declarations so I couldn't find a way to do it. Thank you Am Donnerstag, 12. März 2015 12:33:57 UTC+1 schrieb Chris Smith: > > Does r'x\alpha' work for you? > > On Wedn

[sympy] Results for integrate(Rational(1,4)*(1/(4-t)))

2016-09-18 Thread Raphael Timbó
Hi, I was trying to use: integrate(Rational(1,4)*(1/(4-t))) This was returning: −14log(4t−16) I was not expecting this result... I went to sympy gamma to see the steps and I saw that: Antiderivative forms:

Re: [sympy] How does sympy know there are two tokens in the string "xalpha"

2016-09-18 Thread Aaron Meurer
To create a symbol with spaces you have to use the Symbol() constructor, not symbols(). Aaron Meurer On Sunday, September 18, 2016, 'Finn Krein' via sympy < sympy@googlegroups.com> wrote: > Hello, > I'm a beginner too. What would I use to get an \alpha x? I tried r'\alpha > x' but Spaces already

[sympy] Re: Results for integrate(Rational(1,4)*(1/(4-t)))

2016-09-18 Thread Raphael Timbó
Since the images with the results are distorted: First result: -(1/4)*log(4*t - 16) Results given by the step-by=step solution on sympy gamma: -(1/4)*log(-t + 4) On Sunday, September 18, 2016 at 3:18:31 PM UTC-3, Raphael Timbó wrote: > > Hi, > I was trying to use: > integrate(Rational(1,4)*(

Re: [sympy] Re: Results for integrate(Rational(1,4)*(1/(4-t)))

2016-09-18 Thread Aaron Meurer
A multiplication of a constant inside a log is the same as adding a constant to the log (log(a*b) = log(a) + log(b)). So both are valid integrals, because of the constant of integration. You can check yourself that both give the original expression if you differentiate them. Aaron Meurer On Sun,

[sympy] Re: Results for integrate(Rational(1,4)*(1/(4-t)))

2016-09-18 Thread Kalevi Suominen
There are several integrators in SymPy. The latter form is produced by ratint. >>> from sympy.integrals.rationaltools import ratint >>> from sympy.abc import t >>> ratint(1/(4*(-t + 4)), t) -log(t - 4)/4 Kalevi Suominen On Monday, September 19, 2016 at 5:06:22 AM UTC+3, Raphael Timbó wrote: >