#14793: Unique representation for homsets
-------------------------------+--------------------------------------------
Reporter: nthiery | Owner: nthiery
Type: enhancement | Status: new
Priority: major | Milestone: sage-5.12
Component: categories | Resolution:
Keywords: | Work issues:
Report Upstream: N/A | Reviewers:
Authors: Simon King | Merged in:
Dependencies: | Stopgaps:
-------------------------------+--------------------------------------------
Comment (by nbruin):
Replying to [comment:15 SimonKing]:
An example in the documentation:
{{{
sage: G = DirichletGroup(13,GF(4,'a'));
sage: e = G.list()[2];
sage: M = ModularSymbols(e,4);
sage: M.base()
Finite Field in a of size 2^2
sage: M._ModularSymbolsSpace__character.base_ring()
Finite Field in a of size 2^2
}}}
The base ring can (in principle at least) be pretty much anything, and the
way you're proposing to retrieve it seems to work OK (it seems the
character is always there)
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14793#comment:17>
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 http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.
