TensorComprehensions icon indicating copy to clipboard operation
TensorComprehensions copied to clipboard

Published 20 hours ago • verified publisher icon facebookresearch

Writes to non-zero based tensors

Open abadams opened this issue 7 years ago • 1 comments

Consider:

out(i) = in(10 - i)

It will infer a range for i that does not necessarily start at zero. What should this mean for the domain of out? I don't think we have any tests for this pattern yet, and I don't have a firm idea of what the semantics should be.

abadams avatar Feb 14 '18 16:02 abadams

as @nicolasvasilache correctly linked, we have a test case for it now. https://tensorcomprehensions.slack.com/files/U9S8ULND6/F9T5723L2/range_inference.py

prigoyal avatar Mar 21 '18 20:03 prigoyal