Zulip Chat Archive

Stream: general

Topic: fst, snd, ?

Bhavik Mehta (Jun 30 2020 at 16:43):

If we use fst for first, snd for second then what do we use for third?

Yakov Pechersky (Jun 30 2020 at 16:43):

.3

James Arthur (Jun 30 2020 at 16:43):

trd? Taking the first letter and the last two as you have in the first two.

Kevin Buzzard (Jun 30 2020 at 16:58):

So what about fth and fth? ;-)

Johan Commelin (Jun 30 2020 at 16:59):

They come after trd and before sth respectively.

Johan Commelin (Jun 30 2020 at 16:59):

Note that sth comes before and after sth

Heather Macbeth (Jun 30 2020 at 17:00):

.i, .ii, ..iii

James Arthur (Jun 30 2020 at 17:00):

Ah... I only thought of the next case XD

Johan Commelin (Jun 30 2020 at 17:01):

Heather Macbeth said:

.i, .ii, ..iii

and then? .iiii, .iiiii, .iiiiii, this clearly doesn't scale :rolling_on_the_floor_laughing:

James Arthur (Jun 30 2020 at 17:01):

.iv .v ?

Heather Macbeth (Jun 30 2020 at 17:02):

Indeed, @Johan Commelin has not appreciated the magical efficiency of Roman numerals.

Johan Commelin (Jun 30 2020 at 17:03):

Aah, we already have complex.I and polynomial.X and polynomial.C, so I guess we were already using this scheme all along. There are just some holes in the API...

Johan Commelin (Jun 30 2020 at 17:04):

Like.. what is polynomial.V supposed to be?

Heather Macbeth (Jun 30 2020 at 17:04):

Polynomials over the Klein 4-group, of course!

Mario Carneiro (Jun 30 2020 at 18:49):

thd?

Bhavik Mehta (Jun 30 2020 at 19:11):

I just gave in and used first second third

Last updated: Dec 20 2023 at 11:08 UTC