On Tuesday, December 11, 2012 5:32:25 AM UTC, rjf wrote:
I recommend reading up on the Axiom computer algebra system
about structuring code around mathematical categories.
Or you could read up on the sage devel mailing list a couple of years back.
The Sage categories are modeled after MuPad
Thank you for the extensive explanation. It clarifies things I obviously
didn't understand...
sage.categories.pushout is the most relevant part for what I was trying to
ask.
Paul
On Wednesday, November 28, 2012 2:31:06 PM UTC+1, Simon King wrote:
Hi Paul,
On 2012-11-28, Paul-Olivier Dehaye
I recommend reading up on the Axiom computer algebra system
about structuring code around mathematical categories.
Been there, done that.
--
You received this message because you are subscribed to the Google Groups
sage-devel group.
To post to this group, send email to
change To coerce from the category down to the parent -- To coerce
from
the abstraction layer to the parent. In this abstraction layer (which
is
close to the categories now available, but not quite the same), we would
have a list of methods for the parent class and the element
Hi Paul,
On 2012-11-28, Paul-Olivier Dehaye pauloliv...@gmail.com wrote:
change To coerce from the category down to the parent -- To coerce
from
the abstraction layer to the parent. In this abstraction layer (which
is
close to the categories now available, but not quite the same),
I
On Wed, Nov 28, 2012 at 2:59 AM, Paul-Olivier Dehaye
pauloliv...@gmail.com wrote:
change To coerce from the category down to the parent -- To coerce
from
the abstraction layer to the parent. In this abstraction layer (which
is
close to the categories now available, but not quite the
On Mon, Nov 26, 2012 at 6:34 AM, Simon King simon.k...@uni-jena.de wrote:
Dear Paul-Olivier,
On 2012-11-26, Paul-Olivier Dehaye pauloliv...@gmail.com wrote:
My understanding of aspect-oriented programming in general: encourages the
developer to realize that there are several concerns that
On Mon, Nov 26, 2012 at 2:43 PM, Paul-Olivier Dehaye
pauloliv...@gmail.com wrote:
My impression is that Sage's directory structure tries to address different
concerns (meaning here: different mathematical topics). Do you think
that the present directory structure does not succeed to keep
On 2012-11-27, Robert Bradshaw rober...@math.washington.edu wrote:
A while ago, I have created a public worksheet on how to implement
basic algebraic structures in Sage, using category framework and coercion.
I think at some point it was supposed to become part of the
documentation, but I
My understanding of aspect-oriented programming in general: encourages the
developer to realize that there are several concerns that will be present
in a large project, and to organize the project in such a way to minimize,
at any location in the code, the number of concerns whose concrete
Dear Paul-Olivier,
On 2012-11-26, Paul-Olivier Dehaye pauloliv...@gmail.com wrote:
My understanding of aspect-oriented programming in general: encourages the
developer to realize that there are several concerns that will be present
in a large project, and to organize the project in such a
My impression is that Sage's directory structure tries to address different
concerns (meaning here: different mathematical topics). Do you think
that the present directory structure does not succeed to keep different
concerns apart?
Here are a few folders in the main folder:
-
12 matches
Mail list logo