On Aug 26, 1:27 am, "William Stein" <[EMAIL PROTECTED]> wrote:
> On Tue, Aug 26, 2008 at 1:19 AM, Ondrej Certik <[EMAIL PROTECTED]> wrote:
<SNIP>
> >> qepcad relies on an aging library saclib for the algebraic data
> >> structures. It would be a worthwhile project to implement CAD/port
> >> qepcad so that it is modular, and can work with more recent/better
> >> libraries. Maybe someone (Carl Witty?) will take this on (or already
> >> has?). :)
>
> I think Carl Witty has done a bunch. He gave a talk about this
> at Sage Days 8.5. Maybe he'll comment on this thread.
Carl and Jason Grout have been fixing build and 64 bit issues, but
saclib is still not 64 bit. They have been pushing the fixes upstream
and there ought to be an experimental spkg soon - the current one got
rejected in review.
> > Yes, but this is not necessary to get the infrustructure in and get
> > the easy cases working and working fast.
>
> > qepcad or other things will come handy when doing the general cases,
> > where simple heuristics will fail. E.g. it's like with limits, the
> > gruntz algorithm is nice and working, but all easy cases can be done
> > (and are done) with heuristics, because it is simpler and way faster.
>
> Interesting.
Yeah, the code in qepcad looks funny since at least some of it was
translated from Fortran and hence has odd indentation for example.
> -- William
Cheers,
Michael
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
