#10963: More functorial constructions
-------------------------------------+-------------------------------------
Reporter: nthiery | Owner: stumpc5
Type: enhancement | Status: needs_info
Priority: major | Milestone: sage-6.2
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-doc- | Commit:
distributive | 7ab3103368e46d33f37e135a9eb09a1e16a029a7
Dependencies: #11224, #8327, | Stopgaps:
#10193, #12895, #14516, #14722, |
#13589, #14471, #15069, #15094, |
#11688, #13394, #15150, #15506 |
-------------------------------------+-------------------------------------
Comment (by nthiery):
Hi Simon!
Replying to [comment:528 SimonKing]:
> Replying to [comment:526 nthiery]:
> > Honestly, it would be soooo much more efficient to explore this by
> > working together on concrete code in Cernay.
>
> I can't attend it.
No luck; we will miss you!
> What commits are these?
{{{
commit c718f218fbc726bf3cf7f4c3f20638c9b0c7eea7
Author: Nicolas M. Thiéry <[email protected]>
Date: Fri Jan 31 09:59:13 2014 +0100
#10963: typo fix 12963 -> 10963
commit 3e2003ded77192465cc3e99fec7fa64dae998950
Author: Nicolas M. Thiéry <[email protected]>
Date: Thu Jan 30 09:26:36 2014 +0100
Reviewed Peter's renaming of summand_* methods of Cartesian products,
using deprecated_function_alias
commit 98a4407b8b66de7f63920de28376e46bb927517b
Author: Peter Bruin <[email protected]>
Date: Mon Jan 27 14:31:13 2014 +0000
rename summand_* methods of Cartesian products
commit 251da76284f87aaca63c88de1319ff2b29148c3f
Merge: d86c4dc 6b18661
Author: Nicolas M. Thiéry <[email protected]>
Date: Thu Jan 30 10:27:06 2014 +0100
Merge branch 'ticket/15759' into ticket/10963
This is needed for using deprecated_function_alias in the category
code.
commit d86c4dc52f847ac12aff6a017df82f9473c27ccd
Merge: e5c68aa c57640d
Author: Nicolas M. Thiéry <[email protected]>
Date: Thu Jan 30 10:26:00 2014 +0100
Merge branch 'ticket/15757-superseded-is_Integer' into ticket/10963
This is needed for using deprecated_function_alias in the category
code.
commit e5c68aadce9e4efa50854c069cd985c36d892b30
Merge: 4036968 1bd3319
Author: Nicolas M. Thiéry <[email protected]>
Date: Thu Jan 30 10:12:08 2014 +0100
Merged with develop (trivial manual merge with #15380)
commit 40369681634f672838a9f6ba8523c8c983219260
Author: Nicolas M. Thiéry <[email protected]>
Date: Tue Jan 28 00:11:51 2014 +0100
Fixed ReST typos
commit b957acf4309b29449333540ea59a031e02cfb583
Author: Nicolas M. Thiéry <[email protected]>
Date: Mon Jan 27 23:39:43 2014 +0100
Axioms: finished draft of documentation, implementation of
`Distributive`, ...
- Documentation of a workaround for axioms defined by a join category,
and implementation of the ``Distributive`` axiom.
- (Sketch of) proof of correctness and complexity bound for adding
axioms and calculating joins.
- Some simplification of the specifications: the infrastructure is
actually more robust than expected! In particular, when adding an
axiom has non trivial fibers, the category with axiom class can be
put in any of categories of the fibers; not necessarily the largest
one. E.g. FiniteFields can be put alternatively in
DivisionRings.Finite instead of Fields.Finite.
- Hopefuly reasonably complete design discussion, covering most points
raised by the reviewers.
- Misc small improvements to the primer and axiom documentation.
- Tree -> arborescence.
- Added synthetic example from the ticket discussion in the axiom doc.
- Little simplification in DistributiveMagmasAndAdditiveMagmas for the
hierarchy of nested classes above Rings/Rngs.
- Trivial doctest update in sage.misc.c3_controlled
commit e19385eb5e91db423f801d2af83fc71ee76fab3c
Author: Nicolas M. Thiéry <[email protected]>
Date: Thu Jan 23 00:02:59 2014 +0100
Axioms: various improvements + complete description of the algorithms
for computing joins and adding axioms
commit 4c0c9a41836a4b7ef69e14d983e8c8e28db42954
Author: Nicolas M. Thiéry <[email protected]>
Date: Thu Jan 23 00:01:22 2014 +0100
Specify that the CartesianProduct functor is about finite cartesian
products
commit 08d863b19726e7aadec5d46ff361539c69b06537
Author: Nicolas M. Thiéry <[email protected]>
Date: Tue Jan 21 23:11:29 2014 +0100
Axioms: partial documentation of the join algorithm + small
simplification of its implementation
- Documentation of the algorithm for computing joins
(but not yet of its companion _with_axiom)
- Small simplification of the join/_with_axiom methods by removing old
scories and unused features
- Little optimization in _with_axiom_as_tuple (formely
_with_axiom_categories):
Redundant categories in it are removed.
- Updated a doctests in c3_controlled (the result of _cmp_key is
changed a tiny bit in one case)
- Improved documentation here and there
commit e1b20957f4cd152f05c1edeb1ff433aa7c7b129e
Author: Nicolas M. Thiéry <[email protected]>
Date: Mon Jan 20 23:52:08 2014 +0100
Axioms: improved the documentation of the axioms method.
commit 48cb6d7a5e5120eeafc9666a8d6d1e5114c0229a
Author: Nicolas M. Thiéry <[email protected]>
Date: Mon Jan 20 10:54:15 2014 +0100
Axioms: minor documentation improvements + fix test classes
The test classes in sage.categories.category_with_axiom now inherit
from Category_singleton / Category_over_base_ring as appropriate.
commit c26f9f6a38f74eeed4a5f95fce025580dcd528df
Author: Nicolas M. Thiéry <[email protected]>
Date: Sun Jan 19 19:19:52 2014 +0100
Extended documentation on axioms: defining new axioms (con't),
algorithm (halfway), explanations in Blah.Blue
commit ef6b0e48a62b3d2381f83d36c5cb2aa8b0f648db
Author: Nicolas M. Thiéry <[email protected]>
Date: Wed Jan 15 22:22:42 2014 +0100
Extended documentation on axioms: cleanup of specifications,
proofreading, ...
commit b94d80a99ea54ebf1f690700744de73b24019e52
Author: Nicolas M. Thiéry <[email protected]>
Date: Wed Jan 15 22:19:48 2014 +0100
missing newline
commit d620f4c8ff8b071edb7223698ad6e893564802b0
Author: Nicolas M. Thiéry <[email protected]>
Date: Tue Jan 14 19:02:48 2014 +0100
Axioms and primer: proofreading by Jean-Baptiste
commit cd21929e4eb86346facb211eb0d9bcda8c906d3a
Author: Nicolas M. Thiéry <[email protected]>
Date: Tue Jan 14 18:58:01 2014 +0100
Extended documentation on axioms: step 3 (deduction rules)
commit 770324b2f91ac478edd0430504c4434e1469f954
Author: Nicolas M. Thiéry <[email protected]>
Date: Tue Jan 14 18:55:43 2014 +0100
Axioms: improved DivisionRings.Finite_extra_super_categories +
documentation
commit be52d1cd5798b69a0929770b202c2a3f7c8eb03c
Author: Nicolas M. Thiéry <[email protected]>
Date: Sat Jan 11 01:28:00 2014 +0100
Axioms: fixed typo in two doctests of the primer
commit c7ea9a1ee944e0be9817888a1a93b5d40df2cbf2
Author: Nicolas M. Thiéry <[email protected]>
Date: Sat Jan 11 01:23:25 2014 +0100
Axioms: standardized _base_category_class_and_axiom to always be a
tuple
commit 111719b0279889ecac2bde3e00cf3f030df02e41
Author: Nicolas M. Thiéry <[email protected]>
Date: Sat Jan 11 01:22:46 2014 +0100
Extended documentation on axioms: step 3 (handling multiple axioms and
tree structure of the classes)
commit 89923e5ee20ba3e1b9089556816535a5a70a5ed8
Author: Nicolas M. Thiéry <[email protected]>
Date: Fri Jan 10 18:33:21 2014 +0100
Extended documentation on axioms: recovering the class of a category
with axiom to add new code
commit 61768ddbf8edd89592f989525efd7889bfc46fb9
Author: Nicolas M. Thiéry <[email protected]>
Date: Fri Jan 10 18:01:45 2014 +0100
Extended documentation on axioms: switching back gear; it's better
after all to put the doc in the module than in CategoryWithAxiom class
commit 42b8f248818d2ec147c97eb8cb2e2378642bb3dc
Author: Nicolas M. Thiéry <[email protected]>
Date: Fri Jan 10 17:33:40 2014 +0100
Extended documentation on axioms, step 2 (implementing an existing
axiom in a new category + TODO)
commit 517bdac51b278b4ba6bf578d5503e46c00f6f5e6
Author: Nicolas M. Thiéry <[email protected]>
Date: Fri Jan 10 17:30:58 2014 +0100
Axiom primer: added label for cross references
commit 48dc0c06e567d07a70f1b45018f1e2a02cd434e7
Author: Nicolas M. Thiéry <[email protected]>
Date: Wed Jan 8 12:11:51 2014 +0100
Category with axioms: workaround limitation in lazy import to avoid
lazy reimporting over and over
commit 478de48553d203516cddb47e0cb89c34ccc210ee
Author: Nicolas M. Thiéry <[email protected]>
Date: Tue Jan 7 15:40:43 2014 +0100
Categories with axioms: improved names for the protocol to recover how
_base_category_class_and_axiom was set.
}}}
I guess the easiest is to do a diff w.r.t. develop+15757+15759 (btw:
could you have a look at the latter? You have the most expertise on
this matter).
Thanks!
Cheers from the Alps,
Nicolas
--
Ticket URL: <http://trac.sagemath.org/ticket/10963#comment:536>
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.
