#19937: Implement generic __div__ and _div_ in the Magmas.Unital category
-------------------------------------+-------------------------------------
Reporter: nthiery | Owner:
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-7.1
Component: categories | Resolution:
Keywords: coercion | Merged in:
Authors: Nicolas M. Thiéry | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/nthiery/implement_generic___div___and__div__in_the_categories|
de58229ea4e66818a8f73d2c7c0fb35d344313b7
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by vdelecroix):
Replying to [comment:7 nthiery]:
Hola,
I basically agree with you. Except that spoiling the namespace with
`__div__` and `__mul__` is much better than with `numerical_approx`,
`subs`, `substitute`, `is_zero`, `cartesian_product`, `base_ring`,
`base_extend`, `N`, ...
Depending of how the reheat of the thread goes on we could:
- actually move the `__div__` and friends to `Element` (that should not be
hard)
- adopt the (possibly temporary) solution as suggested in your branch. In
which case, it would be better to mention in the docstring that we might
move this to `Element`
Have nice time in St Andrews!
Vincent
--
Ticket URL: <http://trac.sagemath.org/ticket/19937#comment:8>
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 unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
