remfunction()
remvalue()
kill(v) /* v의 정의를 삭제. */
load(fourier_elim)$
fourier_elim([9<3*n-4, 3*n-4<100],[n]);
(%o14) [13/3<n,n<104/3]