OK, I have another question. I have written the following 2 procedures: 

IntSoddy := proc (M::Matrix) type(simplify(M(1, 1)+M(1, 2)*f+M(1, 3)*f^2+M(2, 1)+M(2, 2)*f+M(2, 3)*f^2+M(3, 1)+M(3, 2)*f+M(3, 3)*f^2+2*sqrt((M(1, 1)+M(1, 2)*f+M(1, 3)*f^2)*(M(2, 1)+M(2, 2)*f+M(2, 3)*f^2)+(M(1, 1)+M(1, 2)*f+M(1, 3)*f^2)*(M(3, 1)+M(3, 2)*f+M(3, 3)*f^2)+(M(2, 1)+M(2, 2)*f+M(2, 3)*f^2)*(M(3, 1)+M(3, 2)*f+M(3, 3)*f^2))), polynom(integer, f)) end proc;

Progressive := proc (M::Matrix) IntSoddy(LinearAlgebra:-Row(M, 1), LinearAlgebra:-Row(M, 2), LinearAlgebra:-Row(M, 4)) and IntSoddy(LinearAlgebra:-Row(M, 4), LinearAlgebra:-Row(M, 2), LinearAlgebra:-Row(M, 3)) and IntSoddy(LinearAlgebra:-Row(M, 4), LinearAlgebra:-Row(M, 1), LinearAlgebra:-Row(M, 3)) end proc;

Now i want to filter out of a set those matrices, where progressive() returns false.

Thanks a lot

Nevermind, already solved. Thanks a lot for all the help :)

Ok, thanks a lot, now everything besides 5. is working. I wrote Set5:=Set2 - Set3 - Set4; and it doesnt want to evaluate it :(

Tried it and sadly 3. 4. and 5. Do not work. I attached the file here, so that you can see what I mean. 3. Should kill some elements, but doesnt. Already the first two elements have the same 3 rows but interchanged, but both stay in the set after the procedure is applied. 4. and 5. return an empty set, even though there is matrices with 2 rows that are the same in the set.

Thanks in advance.

all_results2.mws

4. By similar I mean same. Sry for the confusion

Maple throws an error if I just change the for loop into a seq loop. I think it has something to do with my if loop inside of it. Any ideas?

About #2, i thought about it for a second and you are right. Well then I need to write all the results into a list and use MakeUnique, so I obtain every solution just once. I will try rewriting it with seq(), how to I make a list out of it, or is it already a list?