#12959: Improvements to Sets.WithRealizations
-----------------------------------------------------+----------------------
Reporter: nthiery | Owner: nthiery
Type: enhancement | Status:
needs_review
Priority: major | Milestone: sage-5.3
Component: categories | Resolution:
Keywords: realizations, sd40 | Work issues:
Report Upstream: N/A | Reviewers:
Authors: Nicolas M. Thiéry, Franco Saliola | Merged in:
Dependencies: #12953 | Stopgaps:
-----------------------------------------------------+----------------------
Changes (by {'newvalue': u'Nicolas M. Thi\xe9ry, Franco Saliola', 'oldvalue':
u'Nicolas M. Thi\xe9ry, ...'}):
* cc: chrisjamesberg (added)
* keywords: realizations => realizations, sd40
* status: new => needs_review
* author: Nicolas M. Thiéry, ... => Nicolas M. Thiéry, Franco Saliola
Comment:
Implement default methods for (With)Realizations that use the realization
provided by the method a_realization for computations:
- {{{AlgebrasWithBasis.ParentMethods.product}}} is modified to use
product_by_coercion if {{{product_on_basis}}} is not available
- {{{Magmas.Realizations}}} added and
{{{Magmas.Realizations.ParentMethods.product_by_coercion}}} uses
{{{self.a_realization()}}}
- {{{CommutativeAdditiveMonoids.WithRealizations}}} added and
{{{CommutativeAdditiveMonoids.WithRealizations.ParentMethods.zero}}}
returns {{{self.a_realization().zero()}}}
- {{{Monoids.WithRealizations}}} added and
{{{Monoids.WithRealizations.ParentMethods.one}}}
returns {{{self.a_realization().one()}}}
- {{{Sets.WithRealizations.ParentMethods.inject_shorthands}}} : injects
any
shorthands names for realizations provided in the {{{_shorthands}}}
attribute
- added {{{_shorthand}}} attribute to the example in
{{{sage.categories.example.with_realizations}}}
And update {{{examples/with_realizations.py}}} accordingly.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12959#comment:1>
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.
