#8800: Doctest coverage of categories
--------------------------+-------------------------------------------------
Reporter: SimonKing | Owner: Simon King
Type: defect | Status: new
Priority: major | Milestone: sage-4.4.2
Component: categories | Keywords: categories doctests
Author: Simon King | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
--------------------------+-------------------------------------------------
Comment(by SimonKing):
Replying to [comment:22 SimonKing]:
> ...
> But I acknowledge that other people might think that a coercion should
exist. Perhaps I shall ask on sage-algebra...
sage-algebra (John Cremona and William Stein) answered that the inner
product is an important structure if and ''only'' if it is explicitly
defined by the user. Hence, in the above example with ``M2`` and ``M3``,
no error should be raised, since ``M2`` has no user-defined inner product.
But if ``M2`` was ''explicitly'' be provided with the standard inner
product, then an error should be raised.
That's easy to implement: The ``construction()`` method of the modules
returns a ``VectorFunctor``, and this one carries the inner product matrix
(if provided by the user) or None. And two ``VectorFunctor``s carrying
different inner product matrices will not be merged.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8800#comment:23>
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.
