#5566: [with patch, needs some work] 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):
Hi Martin,
Replying to [comment:29 malb]:
> Replying to [comment:26 SimonKing]:
...
> > But now, as you mention it: The dense ring class inherits from the
sparse ring class; perhaps there should also be dense and a sparse element
class, with separate {{{_add_}}}?
>
> It probably would be cleaner and faster.
OK, I'll try and do it (which needs more time). I guess, as for the rings,
the dense class should inherit from the sparse class, and overload the
arithmetic methods.
> > At this occasion: Would you prefer the method name
'symmetric_cancellation_order' over 'sco'?
>
> If {{{sco}}} is not the word used in papers, I'd prefer
{{{symmetric_cancelation_order}}}. I have no hard feelings either way
though.
OK, my impression is that ''explicit'' names are preferred.
> > I checked the doc tests, but I don't know how to generate the docs.
>
> run {{{sage -docbuild reference html}}} and check for warnings +
inspect the result.
Thank you. It complains:
* WARNING: Missing title for
sage.rings.polynomial.infinite_polynomial_element
* reST markup error: /home/king/SAGE/devel/sage-3.2.3/local/lib/python2.5
/site-packages/sage/rings/polynomial/symmetric_ideal.py:docstring of
sage.rings.polynomial.symmetric_ideal.SymmetricIdeal:4: (SEVERE/4)
Unexpected section title.[[BR]]
THEORY:[[BR]]
-------
So, how can I add a title? And what's wrong with the section title?
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5566#comment:30>
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
-~----------~----~----~----~------~----~------~--~---
