--> load(fourier_elim)$
何だろう，フーリエ消去？--> standardize_ineq(e) := ?standardize\-inequality(e)$
(%i3)
standardize_ineq(abs(x-6) > 7);
(%i4)
standardize_ineq(abs(x-6) < 7);
(%i5)
standardize_ineq((x-6) # 0);
(%i6)
standardize_ineq(max(x,-x) > 42);
(%i7)
args(%);
(%i10)
fourier_elim([x/2+2/x>2],[x]);
(%i11)
fourier_elim([x/2+2/x<=2],[x]);
(%i12)
fourier_elim([x + 1/y < 1, x - y > 3],[x,y]);
(%i13)
fourier_elim([abs(1 + abs(1 - abs(1 - x))) > 7],[x]);
(%i14)
fourier_elim([max(x,y) > 6, min(x,6) < 5 - y],[x,y]);
(%i16)
fourier_elim([2*x-1>0],[x]);
(%i17)
fourier_elim([x^2-x-2<0],[x]);
(%i18)
standardize_ineq(x^2-x-2<0);
(%i19)
ratsimp(%);
(%i22)
fourier_elim([3*x+2*(7-2*x)くx+2],[x]);
(%i23) ineq(f):=fourier_elim([f],[x])$
1次不等式は解けそう。文字係数は駄目だった。
(%i24)
ineq((2*x+1)/3-(5*x-2)/4<=-x);
(%i25)
fourier_elim([5*x+4>2*x+7,7*x-6<=4*x+9],[x]);
(%i26)
ineq(abs(x-3)<2);
(%i27)
ineq(abs(x-3)>2);
(%i28)
ineq(abs(x-3)=2);
(%i29)
ineq(2*x-1=0);
(%i30)
ineq(abs(2*x-4)くx+1);
(%i33)
ineq(x^2+5*abs(x)-6=0);
(%i34)
ineq(x^2-9*x+20>0);
(%i35)
ineq(2*x^2-7*x+6<=0);
(%i36)
ineq(x^2-2*x-1<0);
(%i37)
standardize_ineq(x^2-2*x-1<0);
(%i38)
ineq(-x^2+x+2>0);
(%i39)
ineq(x^2+4*x+4>0);
(%i40)
ineq(4*x^2-4*x+1<0);
(%i41)
ineq(-x^2+10*x-25>=0);
(%i42)
ineq(9*x^2+6*x+1>=0);
(%i44)
ineq(x^2-3*x+5>0);
(%i45)
ineq(x^2-2*sqrt(5)*x+5>=0);
(%i47)
solve(x^2-2*sqrt(5)*x+5);
(%i48)
ineq(x^3-1>0);
(%i52)
ineq(abs(x^2-x)<2);
(%i54)
ineq(abs(x-1)+abs(x-2)<4);
(%i58)
wxplot2d([abs(x-1)+abs(x-2),4], [x,-5,5])$
