* euclidean_domains.py
Positive review
* gcd_domains.py
Positive review
* integral_domains.py
Don't understand the line
40 return [CommutativeRings(), EntireRings()] # TODO: Algebras(R) ?
what would "Algebras(R)" be?
* principal_ideal_domains.py
- 17 The category of unique factorization d
* division_rings.py
Ok but for the following (supercategories):
42 return [EntireRings()] # TODO: Algebra(QQ) sounds wrong (think Z/
Z2)
Remove comment. Division rings of positive characteristic are not QQ-
algebras. See also my comment below about "Entire rings"
* entire_rings.py
Entire rin
On Wed, Oct 14, 2009 at 9:00 AM, Nicolas M. Thiery
wrote:
>
> On Wed, Oct 14, 2009 at 08:06:00AM -0700, Daniel Bump wrote:
>> I think it's important that the root system patch get in soon
>> after the category patches, since it's been holding things up,
>> some for long amounts of time.
>
> Y
Since this is switching to a technical discussion of what we're
actually doing, I'm switching this to sage-release... (Mike, make sure
you're subscribed.)
On Wed, Oct 14, 2009 at 12:04 AM, Mike Hansen wrote:
>
> Hello,
>
> On Wed, Oct 14, 2009 at 1:21 PM, William Stein wrote:
>> Definition: Rel
On Wed, Oct 14, 2009 at 08:06:00AM -0700, Daniel Bump wrote:
> I think it's important that the root system patch get in soon
> after the category patches, since it's been holding things up,
> some for long amounts of time.
Y
> > Ticket #3663 is the big crystal patch t
Hi there,
On Oct 13, 12:06 pm, "Nicolas M. Thiery"
wrote:
> I added those bits to the documentation, leaving the current code
> unchanged. I vote for delaying the actual implementation of
> Ring[Left/Right]Ideals until actually needing them. I am also lazy
> implementing the trick above now, unl
* commutative_algebras.py
Algebras with unit? Then add in the description!
Add to "To do": Include product (=cartesian product), and coproduct
(tensor product over base ring)
OK for the rest
* commutative_ring_ideasl.py
Ok, but I would replace "Commutative ring ideals in Integer Ring" by
"Ring
Positive review for algebra_ideals.
With respect to algebra_modules, we have again the problem of
commutativity. Whilst it makes sense to simply say "ideals" for two-
sided ideals, this is not the case for modules: I don't know of
anybody using "modules" to refer to "bimodules".
Any other opinio
Nicolas wrote:
> > Is it possible to conjecture a timetable for the root system
> > patch (#4326)?
>
> Given how wrong my previous conjecture has been, I am reluctant saying
> anything, though I am finally quite hopeful. If the category patches
> indeed get reviewed quickly, we can give it a s
On Tue, Oct 13, 2009 at 04:36:55PM -0700, Anne Schilling wrote:
> > Then, the patches which readily have a positive review can follow
> > immediately. Dan, Anne, please update their list and status on
> > CategoriesRoadMap.
>
> Ticket #3663 is the big crystal patch that should go into sage once
>
10 matches
Mail list logo
