#7797: Full interface to letterplace from singular
-------------------------------------------------------------------+--------
Reporter: burcin |
Owner: jdemeyer
Type: enhancement |
Status: needs_work
Priority: major |
Milestone: sage-5.4
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:
-------------------------------------------------------------------+--------
Comment (by AlexanderDreyer):
Replying to [comment:89 SimonKing]:
> I suggest to modify that test (and perhaps others as well) as follows:
> {{{
> > sage: G = F._reductor_(I.gens(),3); G
> > Expected:
> > 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
> }}}
> The variables before the `...` are guaranteed to occur, and we don't
know (and don't care) whether more variables appear behind the scenes.
>
> Would you accept that solution?
Sounds reasonable to me. So I'd reestablished the positive review, if
Jeroen likes is, too.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7797#comment:90>
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.
