sergei-grechanik commented on a change in pull request #5618:
URL: https://github.com/apache/incubator-tvm/pull/5618#discussion_r441906157
##########
File path: python/tvm/arith/int_solver.py
##########
@@ -97,3 +143,33 @@ def solve_linear_equations(equations, variables=None,
ranges=None):
if isinstance(equations, IntConstraints):
return _ffi_api.SolveLinearEquations(equations)
return _ffi_api.SolveLinearEquations(variables, ranges, equations)
+
+
+def solve_linear_inequalities(equations, variables=None, ranges=None,
deskew_range=False):
+ """Solve linear inequalities.
+
+ Parameters
+ ----------
+ equations : List[tvm.ir.PrimExpr] or IntConstraints
+ The inequalities of the variables
+ variables : Optional[List[tvm.tir.Var]]
+ The variables in the system.
+ ranges : Optional[Map[tvm.tir.Var, tvm.ir.Range]]
+ The ranges of the variables.
+ deskew_range: Optional[bool]
+ Whether deskew the result ranges to be started from zero.
+ Default false.
+
+ Returns
+ -------
+ ret_ranges: IntConstraints or IntConstraintsTransform
Review comment:
Adding another function. Returning IntConstraintsTransform when
deskew_range=False is also ok, but I'm not sure how it is going to be used.
----------------------------------------------------------------
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:
[email protected]
