wxmaxima wxdraw、wxdraw2d、wxdraw3d。如何将输出更改为 *.png 文件而不是终端计算机屏幕

Question

例如，我已成功将默认终端屏幕的输出更改为 *.png。

[load(implicit_plot),
 gnuplot_out_file[png,"gnu.png"],   
 implicit_plot(x^2+y^2-1,[x,-1,1],[y,-1,1], [gnuplot_term, png], [gnuplot_term, "png size 334,334"]  )]

但是由于绘图无法填充图形，我需要在 wxdraw、wxdraw2d、wxdraw3d 中执行此操作，但尚未成功。我试过了

(wxdraw3d (enhanced3d = true,explicit(exp(x^2-y^2), x,-2,2,y,-2,2)),wxdraw_file(terminal="draw.png" ))

但是它忽略了终端请求。还有

xdraw_file(terminal="draw.png",dimensions=[5,5]);

什么也没做，我也没有得到任何错误输出。另外，以下内容没有错误，但没有改变颜色。

set_draw_defaults(color=grey20);

为什么它不起作用。我能做些什么。注意我不能只使用简单的绘制，因为它在所有方面都失败了。

Answer 1

对于同等的 wxdraw2d 和 ...3d 可以做什么，只需将 wxdraw2d 或 3d 替换为 gr2d 或 gr3d 并以 wxdraw(terminal='png,"file_name=",.. 例如： wxdraw(terminal='png,file_name="dotted", gr2d(fill_color=gray84,ellipse(0,0,1,1,0,360), fill_color=grey77,color=gray20,line_width=2, 椭圆（0,0,1,.23,180,180），line_type=破折号，椭圆（0,0,1,.23,0,180），proportional_axes='xy））

并在我的 ...\maxima-current 目录中找到了 dotted.png 文件，该文件与屏幕上也出现的图像相同。