#7797: Full interface to letterplace from singular
-------------------------------------------------------------------+--------
Reporter: burcin |
Owner: jdemeyer
Type: enhancement |
Status: positive_review
Priority: major |
Milestone: sage-5.5
Component: algebra |
Resolution:
Keywords: singular, free algebra, letterplace | Work
issues:
Report Upstream: None of the above - read trac for reasoning. |
Reviewers: Alexander Dreyer
Authors: Simon King, Michael Brickenstein, Burcin Erocal | Merged
in:
Dependencies: #4539, #11268, #12461, #12749, #12988, #13237 |
Stopgaps:
-------------------------------------------------------------------+--------
Changes (by SimonKing):
* status: needs_work => positive_review
Comment:
I am sorry that I took so long to fix it.
I have changed the "big" patch. The diff of the two patch versions is:
{{{
#!diff
--- trac7797-full_letterplace_wrapper_combined.patch 2012-11-09
11:15:19.355793326 +0100
+++ trac7797-full_letterplace_wrapper_combined.patch 2012-09-02
09:00:20.000000000 +0200
@@ -2176,7 +2176,7 @@
+ sage: p.reduce(I)
+ y*y*y - y*y*z + y*z*y - y*z*z
+ sage: G = F._reductor_(I.gens(),3); G
-+ Ideal (x*y_1 + y*z_1, x_1*y_2 + y_1*z_2, x*x_1 + x*y_1 -
y*x_1 - y*y_1, x_1*x_2 + x_1*y_2 - y_1*x_2 - y_1*y_2) of Multivariate
Polynomial Ring in x, y, z, x_1, y_1, z_1, x_2, y_2, z_2... over Rational
Field
++ Ideal (x*y_1 + y*z_1, x_1*y_2 + y_1*z_2, x*x_1 + x*y_1 -
y*x_1 - y*y_1, x_1*x_2 + x_1*y_2 - y_1*x_2 - y_1*y_2) of Multivariate
Polynomial Ring in x, y, z, x_1, y_1, z_1, x_2, y_2, z_2, x_3, y_3, z_3...
over Rational Field
+
+ We do not use the usual reduction method for polynomials in
+ Sage, since it does the reductions in a different order
}}}
I hope it is ok to restore the positive review, since I assume doctests
will be run anyway before releasing.
Apply trac7797-full_letterplace_wrapper_combined.patch trac_7797-ref.patch
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7797#comment:105>
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.
