Zulip Chat Archive

Stream: general

Topic: fst, snd, ?


view this post on Zulip Bhavik Mehta (Jun 30 2020 at 16:43):

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

view this post on Zulip Yakov Pechersky (Jun 30 2020 at 16:43):

.3

view this post on Zulip James Arthur (Jun 30 2020 at 16:43):

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

view this post on Zulip Kevin Buzzard (Jun 30 2020 at 16:58):

So what about fth and fth? ;-)

view this post on Zulip Johan Commelin (Jun 30 2020 at 16:59):

They come after trd and before sth respectively.

view this post on Zulip Johan Commelin (Jun 30 2020 at 16:59):

Note that sth comes before and after sth

view this post on Zulip Heather Macbeth (Jun 30 2020 at 17:00):

.i, .ii, ..iii

view this post on Zulip James Arthur (Jun 30 2020 at 17:00):

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

view this post on Zulip 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:

view this post on Zulip James Arthur (Jun 30 2020 at 17:01):

.iv .v ?

view this post on Zulip Heather Macbeth (Jun 30 2020 at 17:02):

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

view this post on Zulip 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...

view this post on Zulip Johan Commelin (Jun 30 2020 at 17:04):

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

view this post on Zulip Heather Macbeth (Jun 30 2020 at 17:04):

Polynomials over the Klein 4-group, of course!

view this post on Zulip Mario Carneiro (Jun 30 2020 at 18:49):

thd?

view this post on Zulip Bhavik Mehta (Jun 30 2020 at 19:11):

I just gave in and used first second third


Last updated: May 07 2021 at 00:30 UTC