Zulip Chat Archive

Stream: condensed mathematics

Topic: Floor semiring

Yaël Dillies (Oct 17 2021 at 10:17):

Floor semirings are almost ready. @Filippo A. E. Nuccio, do you also need a generalization of fract? We currently only have int.fract which is for ordered rings.

Filippo A. E. Nuccio (Oct 17 2021 at 16:50):

No, for the project I was working on, that would be enough: thanks!

Yaël Dillies (Oct 17 2021 at 17:06):

Great! Then #9591 and #9592 should be enough. Can you just check that you don't need the nat version of docs#int.ceil_add_int and its floor variants (cf end of #9592)? I didn't manage to generalize those.

Filippo A. E. Nuccio (Oct 17 2021 at 17:12):

Yes, I don't need it.

Last updated: Dec 20 2023 at 11:08 UTC