[GitHub] [incubator-tvm] tqchen commented on issue #5367: Improve IntervalSet's floormod

[GitBox <gi...@apache.org>]

tqchen commented on issue #5367: Improve IntervalSet's floormod
URL: https://github.com/apache/incubator-tvm/pull/5367#issuecomment-616178512
 
 
   It would be great if we can dissect it down to specific cases in mind and discuss how to solve these cases, I see two kinds of problems:
   
   - (1) EvalSet need to be aware of the bound of Vars
      - Ideally these bounds should be populated in the analyzer via bind.
   
   - ``[13, 5] % 10 = [3, 5]``` : This case is not very clear to me, how would you define ```[13, 5]```? Since if we define it as ```[lower_bound, upper bound]``` then it is an empty set. Is it a typo(e.g. ```[3, 5]```? If it is the case for ```[3, 5]```, seems we can do it by enhancing the rule of floormod.
   
   
   

----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
 
For queries about this service, please contact Infrastructure at:
users@infra.apache.org


With regards,
Apache Git Services