制約によって定義されたボリューム (またはその境界を表すサーフェス) を 3D で視覚化できるようにしたいと考えています。より正確には、いくつかの制約があります。たとえば、
f0(x,y,z)=(( not ((157.0/1.0) < (((-20.0/1.0) * (y)) + ((-380.0/1.0) * (x)))) ) &&
( not ((157.0/1.0) < (((-380.0/1.0) * (y)) + ((-20.0/1.0) * (x)))) ) &&
( not ((157.0/1.0) < (((-380.0/1.0) * (x)) + ((-20.0/1.0) * (y)))) ) &&
( not ((157.0/1.0) < (((-20.0/1.0) * (z)) + ((-380.0/1.0) * (y)))) ) &&
( not ((157.0/1.0) < (((380.0/1.0) * (y)) + ((20.0/1.0) * (x)))) ) &&
( not ((157.0/1.0) < (((380.0/1.0) * (x)) + ((20.0/1.0) * (z)))) ) &&
( not ((628.0/1.0) < (((-1520.0/1.0) * (y)) + ((-80.0/1.0) * (z)))) ) &&
( not ((2983.0/1.0) < (((380.0/1.0) * (y)) + ((7220.0/1.0) * (z)))) ) &&
( not ((157.0/1.0) < (((-20.0/1.0) * (x)) + ((-380.0/1.0) * (z)))) ) &&
( not ((157.0/1.0) < (((20.0/1.0) * (z)) + ((380.0/1.0) * (x)))) ) &&
( not ((9.0/1.00) < (((1.0/1.0) * (z)) + (((1.0/1.0) * (x)) + ((1.0/1.0) * (y))))) ) &&
( not ((157.0/1.0) < (((20.0/1.0) * (z)) + ((380.0/1.0) * (y)))) ) &&
( not ((7845120.0/1.0) < (((-8716800.0/1.0) * (x)) + (((-8716800.0/1.0) * (z)) + ((-8716800.0/1.0) * (y))))) ) &&
( not ((157.0/1.0) < (((-380.0/1.0) * (z)) + ((-20.0/1.0) * (y)))) ) &&
( not ((629.0/1.0) < (((80.0/1.0) * (x)) + ((1520.0/1.0) * (y)))) ) &&
( not ((157.0/1.0) < (((20.0/1.0) * (x)) + ((380.0/1.0) * (y)))) ) &&
( not ((157.0/1.0) < (((380.0/1.0) * (x)) + ((20.0/1.0) * (y)))) ) &&
( not ((157.0/1.0) < (((-380.0/1.0) * (z)) + ((-20.0/1.0) * (x)))) ) &&
( not ((629.0/1.0) < (((-1520.0/1.0) * (y)) + ((-80.0/1.0) * (x)))) ) &&
( not ((629.0/1.0) < (((-80.0/1.0) * (y)) + ((-1520.0/1.0) * (z)))) ) &&
( not ((157.0/1.0) < (((-380.0/1.0) * (y)) + ((-20.0/1.0) * (z)))) ) &&
( not ((157.0/1.0) < (((-20.0/1.0) * (z)) + ((-380.0/1.0) * (x)))) ) &&
( not ((157.0/1.0) < (((20.0/1.0) * (x)) + ((380.0/1.0) * (z)))) ) &&
( not ((157.0/1.0) < (((-20.0/1.0) * (x)) + ((-380.0/1.0) * (y)))) ) &&
( not ((157.0/1.0) < (((380.0/1.0) * (y)) + ((20.0/1.0) * (z)))) ) &&
( not ((157.0/1.0) < (((-20.0/1.0) * (y)) + ((-380.0/1.0) * (z)))) ) &&
( not ((629.0/1.0) < (((-80.0/1.0) * (x)) + ((-1520.0/1.0) * (z)))) ) &&
( not ((157.0/1.0) < (((-380.0/1.0) * (x)) + ((-20.0/1.0) * (z)))) ) &&
( not ((2983.0/1.0) < (((380.0/1.0) * (z)) + ((7220.0/1.0) * (x)))) ))
そして、それが表す部分空間を見たいのです。
そのためにさまざまなツール(gnuplot、matlab)を試しましたが、やりたいことを行う方法が見つかりませんでした。