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/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 [email protected].
To unsubscribe from this group, send email to
[email protected].
Visit this group at http://groups.google.com/group/sage-devel?hl=en.
