On Tue, 31 Oct 2006 04:11:42 -0800, David Harvey
<[EMAIL PROTECTED]> wrote:
>> Then things like rings, matrix spaces, etc., will all inherit from
>> SageObjectOverBaseWithGenerators. Other things which don't
>> have a base ring (e.g., monoids, groups, etc.) inherit from
>> SageObjectWithGenera
On Oct 30, 2006, at 11:51 PM, William Stein wrote:
> Generators is badly named. It should be SageObjectWithGenerators,
> since
> inheritence is an "is a" relationship, and everything that inherits
> from a class should satisfy an "is a" relationship with it. E.g.,
> a polynomial Ring "is a"
On Mon, 30 Oct 2006 19:21:09 -0800, David Harvey
<[EMAIL PROTECTED]> wrote:
> On Oct 30, 2006, at 7:44 PM, Martin Albrecht wrote:
>> On Monday 30 October 2006 22:38, David Harvey wrote:
>>> I want to start applying our arithmetic architecture to _mul_. The
>>> fast
>>> pathway for __mul__ needs
On Oct 30, 2006, at 7:44 PM, Martin Albrecht wrote:
> On Monday 30 October 2006 22:38, David Harvey wrote:
>> I want to start applying our arithmetic architecture to _mul_. The
>> fast
>> pathway for __mul__ needs to be able to quickly identify the case of
>> multiplying an element of a base r
On Monday 30 October 2006 22:38, David Harvey wrote:
> I want to start applying our arithmetic architecture to _mul_. The fast
> pathway for __mul__ needs to be able to quickly identify the case of
> multiplying an element of a base ring of an algebra by an element of
> the algebra (or commutative