#5566: [with patch, positive review] Symmetric Groebner bases and Infinitely
Generated Polynomial Rings
---------------------------------+------------------------------------------
Reporter: SimonKing | Owner: SimonKing
Type: enhancement | Status: closed
Priority: major | Milestone: sage-4.0
Component: commutative algebra | Resolution: fixed
Keywords: Symmetric Ideal |
---------------------------------+------------------------------------------
Comment(by SimonKing):
Replying to [comment:46 mabshoff]:
> What is the credit situation? I.e. did Mike Hansen write some of this?
I credited Mike Hansen both in {{{infinite_polynomial_ring.py}}} and in
{{{infinite_polynomial_element.py}}}, since the ''dense'' implementations
are based on the code that he posted at #5453.
Recall the history of these patches:
* At sage-devel, I sometimes expressed my interest in having
Aschenbrenner's and Hillar's algorithms in Sage.
* Mike Hanse opened #5453, but his main interest seemed to be working
with the polynomials rather than with symmetric ideals.
* First, I contributed to #5453 by providing an alternative (sparse)
implementation to Mike Hansen's approach.
* But when I realised that the purpose of the ticket was different from
my own intent, I opened #5566 and implemented Symmetric Gröbner Bases,
using Mike Hansen's ''dense'' approach as default implementation and my
''sparse'' approach as another option for the user.
* Unfortunately, since then, I didn't hear a single word of Mike Hansen.
__Conclusion__
1. Mike Hansen deserves to be credited, since I started with his code.
2. He is credited
3. {{{symmetric_ideal.py}}} and {{{symmetric_reduction.pyx}}} is my own
code, hence, only one author.
4. Merging these patches should also result in closing #5453.
Cheers,
Simon
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5566#comment:48>
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
-~----------~----~----~----~------~----~------~--~---
