Zulip Chat Archive

Stream: new members

Topic: discrete_field vs field


view this post on Zulip Kenny Lau (Dec 17 2018 at 12:49):

Is the idiom to not use field at all?

view this post on Zulip Johan Commelin (Dec 17 2018 at 12:49):

Yes, I think that is what @Mario Carneiro said at some point. "Mathematicians should only use discrete_field."

view this post on Zulip Kenny Lau (Dec 17 2018 at 12:49):

ok thanks

view this post on Zulip Kenny Lau (Dec 17 2018 at 12:50):

that would certainly make things longer

view this post on Zulip Kenny Lau (Dec 17 2018 at 12:50):

can we petition to rename it dfield?

view this post on Zulip Kenny Lau (Dec 17 2018 at 12:50):

oh nvm it is in core

view this post on Zulip Mario Carneiro (Dec 17 2018 at 12:50):

I would petition to name it field :P

view this post on Zulip Patrick Massot (Dec 17 2018 at 12:52):

Please, don't feed the trolls...


Last updated: May 08 2021 at 19:11 UTC