On Fri, 6 Aug 2010 07:06:33 +1000, Peter Jeremy wrote:
> On 2010-Aug-04 14:51:21 -0700, Nils Bruin wrote:
> >There are other areas of mathematics where "<" gets used for proper
> >inclusion. A group theorist is going to be very surprised if for two
> >groups H,G, the expression "H < G" is valid b
On 2010-Aug-04 14:51:21 -0700, Nils Bruin wrote:
>There are other areas of mathematics where "<" gets used for proper
>inclusion. A group theorist is going to be very surprised if for two
>groups H,G, the expression "H < G" is valid but does not mean "H is a
>subgroup of G".
I expect this is prim
mda_ wrote:
Hopefully this all agrees with you, and if not, I guess I can start
learning Lisp...
My apologies for the cross-posting (I am not yet approved for sage-
flame)
http://www.buayacorp.com/wp-content/uploads/2007/10/john-mccarthy-poster1.jpg
The fact that you're "doing it
Nils,
First of all, I hope my distaste for the muggy weather hasn't made me
unbearable. 0:-)
When I was referring to things being much more difficult, I was
thinking of implementing a cmp() function that took arbitrary
hashables and defined a total ordering on all of them, consistent
regardless o
On Wed, Aug 4, 2010 at 5:51 PM, Nils Bruin wrote:
> On Aug 4, 1:16 pm, Robert Miller wrote:
>> So you want Sage Sets to implement "a < b" to mean "a is a subset of
>> b"? I'll admit that that is reasonable, and it is a fact that it
>> follows Python convention.
>
> My initial reaction for this is
Also, consider the fact that many Sage functions use "return
sorted(output)" to guarantee a consistent ordering of the output. What
you're advocating means that this wouldn't work in many cases...
On Wed, Aug 4, 2010 at 4:16 PM, Robert Miller wrote:
> Nils,
>
> So you want Sage Sets to implement
Nils,
So you want Sage Sets to implement "a < b" to mean "a is a subset of
b"? I'll admit that that is reasonable, and it is a fact that it
follows Python convention. But I think that the Python convention is
bizarre, especially given how they implement sorting lists. I would
also rather the sort
