#10284: Infinite loop in gcd() via pynac-0.2.1
-------------------------+--------------------------------------------------
Reporter: bgoodri | Owner: burcin
Type: defect | Status: new
Priority: major | Milestone: sage-5.0
Component: symbolics | Keywords: gcd
Author: | Upstream: Fixed upstream, in a later stable
release.
Reviewer: | Merged:
Work_issues: |
-------------------------+--------------------------------------------------
Comment(by burcin):
Replying to [ticket:10284 bgoodri]:
> This bug was fixed in GiNaC 1.5.x but pynac forked off the 1.4.x branch.
See
>
>
http://www.ginac.de/ginac.git?p=ginac.git;a=commit;h=edf1ae46a926d0a718063c149b78c1b9a7ec2043
<snipped example>
> So, it appears as if we need to use Singular or sync to at least GiNaC
1.5.8 .
If there isn't a straightforward way to adopt the patch that went into
GiNaC 1.5.x, I don't think it's worth the time to sync the gcd code in
pynac with the latest version in GiNaC.
Multivariate gcd is a hard problem. IMHO, we should have a single, well-
tested, fast implementation and use that everywhere in Sage, rather than
rely on the efforts of each upstream developer team to implement their own
with a unique set of bugs.
Using Factory as a library doesn't look too hard:
http://www.singular.uni-kl.de/svn/trunk/factory/examples/gcd.cc
The README file is helpful, although I'm not sure if there is any other
documentation available:
http://www.singular.uni-kl.de/svn/trunk/factory/README
I'm quite sure we would get good feedback from the current developers if
the issues are discussed at the libsingular-devel list:
http://groups.google.com/group/libsingular-devel
It seems that once the necessary changes are made in pynac to use Factory
for gcd's, it would be straightforward to plug in another library, perhaps
giac, later.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10284#comment:1>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
