#16381: primary decomposition doesn't work when ideal is in a quotient 
polynomial
ring
-------------------------------------+-------------------------------------
       Reporter:  was                |        Owner:  malb
           Type:  defect             |       Status:  needs_info
       Priority:  minor              |    Milestone:  sage-6.4
      Component:  commutative        |   Resolution:
  algebra                            |    Merged in:
       Keywords:  sd59               |    Reviewers:
        Authors:  Martin Albrecht    |  Work issues:
Report Upstream:  Reported           |       Commit:
  upstream. Developers acknowledge   |  c237b07be5568f9f19b2333f12dc46efe8a82ea5
  bug.                               |     Stopgaps:
         Branch:  u/malb/trac_16381  |
   Dependencies:                     |
-------------------------------------+-------------------------------------

Comment (by jakobkroeker):

 Primary decomposition in quotient rings is not yet supported by Singular,
 see documentation.

 Consider that Singular usually never checks if used parameters are valid
 or allowed!!
 Their philosophy is/was that the user should know what he is doing, a very
 unfortunate one from my point of view.

 Parameter check is now (since ver 4.0 ) done for primary decomposition.
 Maybe I will add support for primary decomposition in quotient rings, so
 bug me continuously to get this done.

--
Ticket URL: <http://trac.sagemath.org/ticket/16381#comment:9>
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