FindIntegerNullVector
FindIntegerNullVector[{x1,x2,…,xn}] finds a list of integers ai such that a1 x1+a2 x2+⋯+an xn0.
FindIntegerNullVector[{x1,x2,…,xn},d] finds a list of integers ai with {a1,…,an}≤d such that a1 x1+a2 x2+⋯+an xn0.
Please visit the official Wolfram Language Reference for more details and examples on core symbols.