Solve set of equations with all unique values in sage
0
I have defined a set of 20 equations, consisting of 22 variables.
Now I want to implement that each variable needs to have a unique value.
I've tried via assumptions: assume(A!=B) assume(B!=C)...and so on. But this does not seam to solve the equation. I've also tried to add these unequalities to the set of equations, which also still have 2 parameters in my solutionset.
ps. I also know that each value is an integer. And that the difference between the highest and the lowest value is smaller than a certain number (e.g. 40). But I believe I have implemented this correctly via:
assume(A, 'integer')
assume(B, 'integer')
assume(C, 'integer')
... and
assume((max_symbolic(A,B,C,...)-min_symbolic(A,B,C,...)) < 40)
0
I have defined a set of 20 equations, consisting of 22 variables.
Now I want to implement that each variable needs to have a unique value.
I've tried via assumptions: assume(A!=B) assume(B!=C)...and so on. But this does not seam to solve the equation. I've also tried to add these unequalities to the set of equations, which also still have 2 parameters in my solutionset.
ps. I also know that each value is an integer. And that the difference between the highest and the lowest value is smaller than a certain number (e.g. 40). But I believe I have implemented this correctly via:
assume(A, 'integer')
assume(B, 'integer')
assume(C, 'integer')
... and
assume((max_symbolic(A,B,C,...)-min_symbolic(A,B,C,...)) < 40)
Can you add the set of equations? Select your code and press the '101010' button to format it correctly.
You probably should use a SMT solver like z3.