How to use sagemath to generate inequalities
In cryptography sbox is used to substitute a number with another number(which doesn't have a linear relation to the previous one). So for a 4 bit sbox 16 different inputs give 16 different outputs. I need to get the inequalities of the sbox while giving all the inputs and outputs
Please share with us code that initializes the "sbox", and restate the question more specifically using the introduced instances. We already have many starting points in http://doc.sagemath.org/html/en/refer... - please define some sbox of interest in the same spirit and share with us the own (starting) effort to capture the situation by code, and to solve the issue.
i.e. instead of describing your problem abstractly, give a simple concrete example.
Get people started with some code defining the pieces of the puzzle.
That makes answering easier: with some bits to explore, only the last step needs finding.
Otherwise, answering means figuring out where this lives, browsing the documentation, coming up with an example, ... Each of these extra steps decreases the chances of getting an answer.