#12803: quotient of ideals throws up Singular bug
---------------------------------------+------------------------
       Reporter:  mariah               |        Owner:  malb
           Type:  defect               |       Status:  new
       Priority:  major                |    Milestone:  sage-6.2
      Component:  commutative algebra  |   Resolution:
       Keywords:                       |    Merged in:
        Authors:                       |    Reviewers:
Report Upstream:  N/A                  |  Work issues:
         Branch:                       |       Commit:
   Dependencies:                       |     Stopgaps:
---------------------------------------+------------------------

Comment (by jakobkroeker):

 This bug (and some others) are fixed in recent
 [https://github.com/Singular/Sources Singular]:

 {{{
 ring rng = integer,(x,y,z),dp;
 ideal A = x^2, x*y, x*z;
 ideal B = x;
 quotient(A,B);
 //_[1]=z
 //_[2]=y
 //_[3]=x
 }}}
 (offtopic: are all known Singular-bugs reported [http://www.singular.uni-
 kl.de:8002/trac/newticket upstream]? )

 However, I recall that there are some issues when considering updating
 Singular :
 - there is no stable/official release yet
 - in sage-devel (?, cannot currently find the post I had in mind) it was
 mentioned that the libSingular interface changed significantly in
 comparison to v 3.1.6

--
Ticket URL: <http://trac.sagemath.org/ticket/12803#comment:4>
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 unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to