doc: clarify handling of negative unknowns and parameters

[piplib.git] / test / invert.ll

( (Lower bound on j after loop inversion
      (unknowns j i)
      (parameters k m n) 1  )(if #[ -1 1 0 0]
(list #[ 0 0 0 0]
#[ 1 0 0 0]
)
(list #[ 1 -1 0 0]
#[ 0 1 0 0]
)
)
)