Hi, I have fixed the problem with set_theoretic_intersection following Simon's comments. Now, we get the following dimensions in your example. application "tropical"; $f1 = toTropicalPolynomial("min(a+b+c-20,b+c+w+5,d+2*b+1,c+2*w)", qw( a b c d w )); $f2 = toTropicalPolynomial(&q...