tvm-commits mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From GitBox <...@apache.org>
Subject [GitHub] [incubator-tvm] tqchen edited a comment on issue #5367: Improve IntervalSet's floormod
Date Sun, 19 Apr 2020 16:40:17 GMT
tqchen edited a comment 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

Mime
View raw message