On Sat, Mar 20, 2010 at 08:52:54AM -0700, Rob Beezer wrote:
> On Mar 20, 8:07 am, "Nicolas M. Thiery"
> wrote:
> > Cayley graph feature (#7555)
>
> Cayley TABLES (and other "operation tables"). Cayley GRAPHS are due
> to Moretti/Miller/Thiery. ;-)
Oops :-)
> I can testify to that. If you hav
On Sat, Mar 20, 2010 at 11:52 AM, Rob Beezer wrote:
>> (2) IntegerModRing(n) is always in CommutativeRings()
IMO this is the one that makes sense, by the same reasons why:
sage: parent(2/1)
Rational Field
IOW, IntegerModRing should be a map from ZZ to CommutativeRings()
This is the only "natur
On Mar 20, 2010, at 11:22 AM, Florent Hivert wrote:
Hi Robert,
I wonder if the category infrastructure would support a pervasive
command like
R=IntegerModRing(7)
R.promote(Fields(), with_check=True)
R.category()
Category of fields
with the construction doing no extra work, and the promo
Hi Robert,
>> I wonder if the category infrastructure would support a pervasive
>> command like
>>
>> R=IntegerModRing(7)
>> R.promote(Fields(), with_check=True)
>> R.category()
>> Category of fields
>>
>> with the construction doing no extra work, and the promote method
>> having defaults
On Mar 20, 2010, at 10:38 AM, Rob Beezer wrote:
I wonder if the category infrastructure would support a pervasive
command like
R=IntegerModRing(7)
R.promote(Fields(), with_check=True)
R.category()
Category of fields
with the construction doing no extra work, and the promote method
having defau
Hi Rob,
On Sat, Mar 20, 2010 at 10:38:15AM -0700, Rob Beezer wrote:
> I wonder if the category infrastructure would support a pervasive
> command like
>
> R=IntegerModRing(7)
> R.promote(Fields(), with_check=True)
> R.category()
> Category of fields
>
> with the construction doing no extra wo
