--
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+unsubscribe@googlegroups.com.
To post to this group, send email to sy...@googlegroups.com.
Visit this group at https://groups.google.com/group/sympy.
To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/2a351f04-26bf-405a-a8bc-76eb6025f5eb%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
--
Here's the discussion of your GSOC proposal: https://groups.google.com/d/msg/sympy/Ujznd13xfgw/1TB6Yg9G2qkJ
Can you clarify what QEPCAD is?Aaron Meurer
On Fri, Sep 16, 2016 at 8:57 AM, Ferran Pujol Camins <ferranpu...@gmail.com> wrote:
Hello,
I represent a group of 6 students from the maths school (FME) of the Universitat Politècnica de Catalunya.
In one of our courses we have been assigned to the task of implementing QEPCAD in python using sympy. Our goal is to develop a module that can be merged into sympy.
We have just started, so our knowledge of QEPCAD and sympy is limited, but we expect to success in our goal by the end of the semester. We would really appreciate some help to get started.
- We have seen that QEPCAD was in a GSOC proposal. AFAIK, the proposal was not accepted or the project didn't get finished. Is there something more about it we should know? Maybe some work is already done?
- We have read that sympy supports python 2 and 3. How does this affect the development process?
- How does QEPCAD fit into the existing modules ecosystem? Should our work go into its own module or inside an already existing one?
- What's the merging policy for a new module? One monolithic PR with functional code? Or several small PR that might not be usable yet?
- Any further help or comments are also welcome :)
Best regards, Ferran.
--
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+un...@googlegroups.com.
To unsubscribe from this group and stop receiving emails from it, send an email to sympy+unsubscribe@googlegroups.com.
To post to this group, send email to sy...@googlegroups.com.
Visit this group at https://groups.google.com/group/sympy.
To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/3d7602e2-132c-4a60-b35c-92d013a87e53%40googlegroups.com.
--
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+unsubscribe@googlegroups.com.
To post to this group, send email to sy...@googlegroups.com.
Visit this group at https://groups.google.com/group/sympy.
To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/d0280170-803e-48a5-b262-b2ac3a0a4760%40googlegroups.com.
Which one is more adequate?
Best regards, Ferran
I would reiterate that it's good to start to submit code (start a pull request) early, even before you have a working prototype, so that you can get feedback as early as possible. This is good for any project, but doubly so for a difficult project. Not getting feedback as early as possible would be setting yourself up for failure.Aaron Meurer
On Tue, Sep 20, 2016 at 3:25 AM, 'Reinhard Oldenburg' via sympy <sy...@googlegroups.com> wrote:
Hi all,
having quantifier elimination in sympy would be great. However, some thoughts:
- This is a non-trivial piece of software, I hope your advisor knows that.
- Performance is a key issue. QEPCAD is written in C and still much to slow for many easy problems. Why don't you look at RegularChains as implemented in Maple? There is a quantifier elimination on top of this (C. Chen and M. Moreno Maza. Quantifier Elimination by Cylindrical Algebraic Decomposition Based on Regular Chains. In Proc. ISSAC 2014, pages 91–98, 2014.)
So, good luck - I'd be happy if something useful comes out of this because QE is from my point of view (math education) one of the most interesting features a computer algebra system can have but up to now, Mathematica is the only system that can be used - and it is far too expensive for wide use in education.
Reinhard
--
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+un...@googlegroups.com.
To post to this group, send email to sy...@googlegroups.com.
Visit this group at https://groups.google.com/group/sympy.
In sympy 1.0 docs I see a general n-dimensional point:
http://docs.sympy.org/latest/modules/geometry/points.html
Anyway, let's say we create our custom class. What's the appropiate class to store each coordinate? AlgebraicNumber or RootOf? What they differ on?
> email to sympy+unsubscribe@googlegroups.com.
> To post to this group, send email to sy...@googlegroups.com.
> Visit this group at https://groups.google.com/group/sympy.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/sympy/5a77c805-d5b1-423f-a426-f81033a85fe4%40googlegroups.com.
>
> For more options, visit https://groups.google.com/d/optout.
--
You received this message because you are subscribed to a topic in the Google Groups "sympy" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/sympy/p-PcoCJMiN0/unsubscribe.
To unsubscribe from this group and all its topics, send an email to sympy+unsubscribe@googlegroups.com.
To post to this group, send email to sy...@googlegroups.com.
Visit this group at https://groups.google.com/group/sympy.
To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/CAKgW%3D6Kk%2BeHAuX7%2BZMee%3DryMynWOAxxF_jw4S%2B8e_zuh9MTS4Q%40mail.gmail.com.
In sympy 1.0 docs I see a general n-dimensional point:
http://docs.sympy.org/latest/modules/geometry/points.htmlAnyway, let's say we create our custom class. What's the appropiate class to store each coordinate? AlgebraicNumber or RootOf? What they differ on?
--
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+unsubscribe@googlegroups.com.
To post to this group, send email to sy...@googlegroups.com.
Visit this group at https://groups.google.com/group/sympy.
To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/091d7027-0c60-4a5e-911e-1e908160f0e1%40googlegroups.com.
rp = Poly(x**5-x**3+2*x-2-1)
r = (rp.real_roots())[0]
p = Poly(x**2+y**2+x*y)
q = p.eval(r)
q.real_roots()
NotImplementedError: sorted roots not supported over EX
>>> solve(q)
[(-1 + sqrt(3)*I)*CRootOf(x**5 - x**3 + 2*x - 3, 0)/2, -(1 + sqrt(3)*I)*CRootOf(x**5 - x**3 + 2*x - 3, 0)/2]
You might find the sympy modules at github.com/brombo/galgebra useful since they include an n-dimensional vector space with operations. Look at galgebra.pdf in the doc directory for a complete description. The following link might also be of use -
en.wikipedia.org/wiki/Conformal_geometric_algebra
On Sat, Oct 8, 2016 at 9:06 AM, Kalevi Suominen <jks...@gmail.com> wrote:
On Saturday, October 8, 2016 at 3:40:47 PM UTC+3, Ferran Pujol Camins wrote:In sympy 1.0 docs I see a general n-dimensional point:
http://docs.sympy.org/latest/modules/geometry/points.htmlAnyway, let's say we create our custom class. What's the appropiate class to store each coordinate? AlgebraicNumber or RootOf? What they differ on?
The most important difference is that objects of RootOf class have no arithmetic operations defined other than those inherited from Expr class. That makes computations with them inefficient.
--
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+un...@googlegroups.com.
To post to this group, send email to sy...@googlegroups.com.
Visit this group at https://groups.google.com/group/sympy.
sympy.polys.polytools.
subresultants
(f, g, *gens, **args))--
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+unsubscribe@googlegroups.com.
To post to this group, send email to sy...@googlegroups.com.
Visit this group at https://groups.google.com/group/sympy.
To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/43e0d68e-6be0-4ff6-adc3-1f11a8a8213b%40googlegroups.com.