#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-3.4.2
Component: commutative algebra | Keywords: Symmetric Ideal
---------------------------------+------------------------------------------
Comment(by SimonKing):
Replying to [comment:18 malb]:
> Hi Simon,
> * I've deleted the redundant attachments, (you need special rights to
do that)
Why hasn't the owner all rights for his/her tickets?
> * Can you confirm that Mike is happy with the infinite polynomial ring
interface?
I can only hope (I haven't heard of Mike for a long time).
At least I would expect that he likes it, because it is his original
terminology ('InfinitePolynomialRing', not 'SymmetricPolynomialRing')...
Btw., I would insist on the name 'SymmetricIdeal' and 'SymmetricReduction'
since this is the terminology of Aschenbrenner and Hillar.
> * btw. you can simply write ({{{foo in bar}}} instead of
{{{bar.__contains__(foo)}}}.
Ok, but I think I wouldn't rewrite the code for that reason...
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5566#comment:19>
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
-~----------~----~----~----~------~----~------~--~---
