Track bounds on natural numbers about metadsl HOT 10 CLOSED

A (2, 2)
B (3, 2)
Concat A B (5, 2)

from metadsl.

Take 2 (Concat A B) (2 2)

from metadsl.

Want to remove conditional statement if we know outer shape is 2 so idx[0] will always be less than 2

def idx_fn(idx):
   if  idx[0] < 2:
       return A[idx[0], *idx[1:]]
   return B[idx[0] - 2, *idx[1:]]

idx_fn(0, 0)
idx_fn(0, 1)
idx_fun(1, 0)
idx_fun(1, 1)

from metadsl.

Generated code:

for i in range(2):
   for j in range(2)
       a[i, j] = idx_fun(i, j)

from metadsl.

http://docs.idris-lang.org/en/latest/tutorial/typesfuns.html#the-finite-sets

from metadsl.

Maybe we need set arithmetic:

Sympy has range and interval types

from metadsl.

sympy/sympy#14106

from metadsl.

Could be reimplemented in uarray without relying on sympy: https://en.wikipedia.org/wiki/Interval_arithmetic

from metadsl.

Notebook aaron created to try out interval types: http://nbviewer.jupyter.org/gist/saulshanabrook/57edd46cdc3b52ec4904dc9ab2d07307

from metadsl.

Could possibly be done with "analysis" of egg, if we want to go that way

from metadsl.