#10963: More functorial constructions
-------------------------------------+-------------------------------------
Reporter: nthiery | Owner: stumpc5
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.1
Component: categories | Resolution:
Keywords: days54 | Merged in:
Authors: Nicolas M. Thiéry | Reviewers: Simon King, Frédéric
Report Upstream: N/A | Chapoton
Branch: | Work issues:
public/ticket/10963 | Commit:
Dependencies: #11224, #8327, | eb7b486c6fecac296052f980788e15e2ad1b59e4
#10193, #12895, #14516, #14722, | Stopgaps:
#13589, #14471, #15069, #15094, |
#11688, #13394, #15150, #15506 |
-------------------------------------+-------------------------------------
Comment (by nthiery):
Just two last comments and I stop participating here to the long term
design discussion.
- I believe the right conceptual setting for what we are doing is that
of lattices (certainly not an original claim; lattice theory has
been used for a long time for the concept analysis, analysis and
design of hierarchy of classes, and so on). That's where we should
be looking for data structures, algorithms, and possibly
implementations.
- There might be a case for having Sage depend on some non trivial
pieces of external software (Polybori, Singular, ...) for its very
programming framework, and in particular for its startup. gcc itself
uses polyhedra software for loop optimization purposes (cloog), so
maybe that's not completely crazy. But that would certainly be a
hard sell, and with good reasons.
I so far went for a self-contained approach, even if this meant for
example a bit of duplicated code between the category code and that
for Sage lattices.
--
Ticket URL: <http://trac.sagemath.org/ticket/10963#comment:417>
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.
