#5566: [with patch, needs review] Symmetric Groebner bases and Infinitely
Generated Polynomial Rings
---------------------------------+------------------------------------------
Reporter: SimonKing | Owner: SimonKing
Type: enhancement | Status: new
Priority: major | Milestone: sage-4.0
Component: commutative algebra | Keywords: Symmetric Ideal
---------------------------------+------------------------------------------
Comment(by SimonKing):
Dear Martin and Michael,
Replying to [comment:36 malb]:
> Replying to [comment:35 SimonKing]:
> > First, some general questions:
> >
> > 1. Should previous versions of a patch be preserved, or is it better
to overwrite the old patch with the new version?
>
> I don't think we established a good practice here yet. But it is
certainly easier for the release manager if there is only one patch or a
clear description what to apply when.
OK, so I produced a stand-alone patch {{{SymmetricIdealsFinal.patch}}}
relative to sage-3.4.1.rc3 that I consider final (see below).
> > One question to the referee: As mentioned in a comment above, I try to
be clever, i.e., in {{{SymmetricIdeal.symmetrisation()}}} I only apply
elementary transpositions rather than the full symmetric group. I believe
it works, but it is a difference to what Aschenbrenner and Hillar
suggested. Shall I point it out in the documentation
>
> Yes, that should be pointed out clearly.
OK, I did so in the documentation of {{{SymmetricIdeal.symmetrisation()}}}
and {{{SymmetricIdeal.groebner_basis()}}}: I give no evidence ''why'' I
believe that my algorithm is correct, but I state in what respect it
differs from the work of Aschenbrenner and Hillar.
Moreover, I made it optional to chose the ''original'' algorithm of
Aschenbrenner and Hillar -- if some users don't trust me.
> Let me know what the 'final' version of your patch is and then I'll
review it.
I think this version is final, in the following sense:
- doc tests pass
- I am already doing serious computations with that version, and it seems
to work well
- I looked intensely at the html documentation, and I found it alright.
Cheers,
Simon
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5566#comment:38>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
