#18534: Posets: Adding function from categories to index of functions
-------------------------------------+-------------------------------------
Reporter: jmantysalo | Owner:
Type: enhancement | Status: needs_review
Priority: minor | Milestone: sage-6.8
Component: documentation | Resolution:
Keywords: | Merged in:
Authors: Jori Mäntysalo | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/jmantysalo/posets__adding_function_from_categories_to_index_of_functions|
b31c216bae73e63b9066778e2a3d569536ca91d2
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by jmantysalo):
Replying to [comment:3 ncohen]:
> I believe that you should move those functions from categories files to
posets files. What you say in the ticket's description is already partly
wrong: the index of poset function indicates the functions defined in
`FinitePoset`, but not the functions inherited from more abstract classes:
I expect that you do not plan to see all poset functions if we ever have
an index of functions in `lattices.py`?
Sidenote, we do have index in `lattices.py` now: #18489.
I asked about moving functions about a year ago. There was some reasons
for not doing it.
I think that everyone using lattices will know that a lattice is a poset,
and so can find the functions. This is totally different in this case:
plain mathematical knowledge can not reveal at all that some functions are
available but from another file.
(There is a real corner case: Student playing with groups may not know
what is magma or semigroup. In principle there should be no
`.is_abelian()` (or something like that) directly on groups. It should be
inherited from magmas. But that might be a problem from documentation
point of view.)
--
Ticket URL: <http://trac.sagemath.org/ticket/18534#comment:4>
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/d/optout.
