#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):

 Replying to [comment:403 SimonKing]:
 > Actually, from a practical point of view, I'd prefer to have something
 that works (i.e., this code) and move on to a different (better?) model
 later.
 > ... lots of fun design ideas ...
 > But I think it would be a mistake to do this presumably/hopefully
 "small" change now, i.e. before merging Nicolas' code.

 Yes, please!!!

 Guys, this is a very interesting discussion and we should pursue it;
 there is a whole research area to explore. But I believe we should
 really do that elsewhere. Here, we have a well defined task, namely to
 devise a plan to finalize this ticket as soon as possible. There is a
 lot of code that has been waiting for the features way too long, and
 it's blocking the work of several developers. We also have a long
 backlog of further important developments around categories
 (morphisms, ...).

 The core question is what absolutely needs to be done *now* ?

 - Writing that last section in the documentation of axioms describing
   the current core algorithm. I still have 2-3 hours to spend on
   it. Hopefully that will be done tomorrow. Worst case by Monday.

 - Reviewing the documentation of axioms. Jean-Baptiste already did
   some proofreading, but another pass is needed, especially for the
   latest sections. Who can take care of this?

 - Deciding whether we want to keep the latest experimental changes by
   Simon in the current branch.

 - Merging in my branch, with or without Simon's changes

 - Rerunning all tests

 - What else?

 Thanks!
                               Nicolas

--
Ticket URL: <http://trac.sagemath.org/ticket/10963#comment:416>
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.

Reply via email to