Thanks Jason. I'll go through those discussions. I thought SAGE has no support for QEPCAD. Thanks for the pointer!
On Sat, Jan 26, 2013 at 2:45 AM, Jason Grout <jason-s...@creativetrax.com>wrote: > On 1/25/13 2:16 PM, Hari Krishna wrote: > >> Greetings folks, >> >> I'm new to research in math, having taken up the path of research in >> august 2012. I began working on quantifier elimination and came up with >> the following idea. Can you please comment on it and offer advice? >> >> I'm looking to implement it for SAGE in the long run, if it proves >> successful. >> >> The report is at: http://arxiv.org/abs/1112.5352 >> >> > I see you are using QEPCAD B in your paper experiments. As you probably > know, we have an experimental package for qepcad. You might be interested > also in the relevant discussion: > > http://trac.sagemath.org/sage_**trac/ticket/3431<http://trac.sagemath.org/sage_trac/ticket/3431> > > http://trac.sagemath.org/sage_**trac/ticket/10224<http://trac.sagemath.org/sage_trac/ticket/10224> > > A while ago, though, I noticed that our spkg for qepcad didn't compile on > sage.math, so I stopped installing it on *.sagenb.org. > > I think it'd be awesome to have better support for CAD in Sage. Carl > Witty was working on the necessary pieces for a long time (that's where we > got AAbar and QQbar, IIRC), and he mentioned at one point that he had some > sort of proof of concept code for CAD or some special case or something. I > think he estimated that he had a couple of full-time months of work left. > But then Carl disappeared and I haven't heard from him in years. > > Anyway, I can't help very much with the mathematics at this point, but > just wanted to mention a bit about the history in Sage and encourage you. > > Thanks, > > Jason > > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To post to this group, send email to sage-devel@googlegroups.com. > To unsubscribe from this group, send email to sage-devel+unsubscribe@** > googlegroups.com <sage-devel%2bunsubscr...@googlegroups.com>. > Visit this group at > http://groups.google.com/**group/sage-devel?hl=en<http://groups.google.com/group/sage-devel?hl=en> > . > > > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To post to this group, send email to sage-devel@googlegroups.com. To unsubscribe from this group, send email to sage-devel+unsubscr...@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel?hl=en.
