# How to use sagemath to generate inequalities

In cryptography, sbox is used to substitute a number with another for hiding the original one. For a 4 bit sbox, there will be 16 inputs and 16 outputs. I need to get the inequalities for the sbox