#11878: Proper implementation of quotients of g-algebras and polynomial rings
-----------------------------------------------+----------------------------
Reporter: SimonKing | Owner: AlexGhitza
Type: enhancement | Status: new
Priority: major | Milestone: sage-5.7
Component: algebra | Resolution:
Keywords: g-algebra Singular quotient | Work issues:
Report Upstream: N/A | Reviewers:
Authors: | Merged in:
Dependencies: #4539 | Stopgaps:
-----------------------------------------------+----------------------------
Comment (by PolyBoRi):
using
Singulars {{{reduce}}} generated by {{{singular_function}}}
should automatically deal with the quotients and still sufficiently fast
(for generation of rings). Of course, similarly to the usual case where we
attach the GB to an ideal as strategy,
we can attach the quotient ideal here to the ring.
Do not ask me about any internal Singular details at the moment.
I suggest repairing things in a most clean way (and do a performant patch
later).
In fact using the later patch, we might be again be faster than Singular
itself (as we can eliminate the repeated initialization of the strat
object).
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11878#comment:6>
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].
Visit this group at http://groups.google.com/group/sage-trac?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
