Stream: Is there code for X?
Topic: signed (fin 2^n) ?
SnowFox (Oct 15 2020 at 06:07):
Is there a signed variant of
Johan Commelin (Oct 15 2020 at 06:10):
bool \times fin (2 ^ n)?
Bryan Gin-ge Chen (Oct 15 2020 at 06:13):
In case you're trying to represent integers as bit strings, there's a bunch of stuff in
data/num. See e.g. docs#snum
SnowFox (Oct 15 2020 at 06:26):
snum is exactly what I needed, thanks.
SnowFox (Oct 15 2020 at 06:44):
Actually it doesn't have the methods I need. For now I guess I'll just stick with all of int. Then maybe propose some additions to the module later.
Last updated: May 16 2021 at 05:21 UTC