WriteFile は、ファイルを開いてデータを書き込み、ファイルを圧縮して閉じるという処理をすべて行う一体型のコマンドです。

gzipopts : zlib に渡す追加の圧縮オプション。詳細は FileTools[Compressed] を参照してください。

FileTools[Compressed][Write] コマンドは Maple 16 で導入されました。

Maple 16 における変更点についての詳細は、Maple 16 の新機能 を参照してください。

file := FileTools[TemporaryFilename](cat(FileTools[TemporaryDirectory](),kernelopts(dirsep),"GZtest-"));

FileTools[Compressed][WriteFile](file, "This is a test");

FileTools[Compressed][ReadFile](file, "string");

FileTools[Compressed][WriteFile](file, Array(1..50, 0, datatype=integer[1]));

FileTools[Compressed][ReadFile](file);

FileTools[Remove](file);