The geometry package only handles 2D points. You may need to create a new point class specifically to represent a point from an algebraic affine space.
Aaron Meurer On Fri, Oct 7, 2016 at 12:44 PM, Ferran Pujol Camins <ferranpujolcam...@gmail.com> wrote: > Hello, we are indeed working on a prototype for the projection and extension > phase. We are going to reach you for feedback ASAP. > > During the extension phase, we generate a set of (n+1)-dimensional cell > sample points by appending a new coordinate to a n-dimensional sample point > from the previous iteration. The coordinate we append is the root of a > certain polynomial. What's the best way to model this points? > > Point class from geometry package? (Does it handle numbers as 1d points?) > Can we create Points with coordinates being: > > AlgebraicNumber > RootOf > > Which one is more adequate? > > > Best regards, Ferran > > > El dimarts, 20 setembre de 2016 19:55:54 UTC+2, Aaron Meurer va escriure: >> >> 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. >>> To view this discussion on the web visit >>> https://groups.google.com/d/msgid/sympy/d0280170-803e-48a5-b262-b2ac3a0a4760%40googlegroups.com. >>> >>> For more options, visit https://groups.google.com/d/optout. >> >> > -- > 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@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 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@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. For more options, visit https://groups.google.com/d/optout.
