Error during math operations between tvm.expr.Var and number

Questions
1

I’m currently writing something like this:
with ib.for_range(0, math.floor(math.log2(20)), name=“k”) as k:
with ib.if_scope(tid-pow(2,k) >= 0):
And it gives me the following error:
TypeError: unsupported operand type(s) for ** or pow(): ‘int’ and ‘Var’

Any idea what’s the correct way of expressing pow here?

2

Just got my answers:
should be tvm.power(2, k)