如何在不保存附屬定義的情況下在Mathematica中保存與符號關聯的[]定義？

Question

內置的Mathematica命令Save[file, symbol]使用FullDefinition[]來查找定義symbol和所有的輔助定義。

例如，命令

a:=b 
c:=2a+b 
Save[ToFileName[NotebookDirectory[],"test.dat"],c] 

產生含

c := 2*a + b 
a := b 

我有一個計劃了很多美化MakeBoxes類型定義，我做不想要的文件TEST.DAT當我保存[]許多單獨的結果時將被保存。

就上面這個簡單的例子而言，我不想將a := b定義保存到文件中。有沒有人知道一個簡單的方法來實現這一點？

Answer 1

根據該文件，Save使用FullDefinition什麼時你想要的是它的使用Definition。使用Block，我們可以覆蓋任何符號的全局定義，尤其是與Definition取代FullDefinition在運行Save：

Block[{FullDefinition}, 
    FullDefinition = Definition; 
    Save[filename, c] 
    ]; 
FilePrint[filename] 
DeleteFile[filename] 

神品：

c := 2*a + b 

編輯。用正確的屬性包裝東西：

SetAttributes[truncatedSave, HoldRest] 
truncatedSave[filename_, args__] := Block[{FullDefinition}, 
    FullDefinition = Definition; 
    Save[filename, args]]; 

Answer 2

我覺得

DumpSave["test1", c] 

做到這一點。

示例代碼：

a := b; 
c := 2 a + b; 
DumpSave["test1", c]; 
Clear[a, c]; 
<< test1 
?a 
?c 

出

_____________________ 
Global`a 
_____________________ 
Global`c 
c:=2 a+b 

Answer 3

警告 - 警告 - 我不知道我在做什麼

剛剛發現這個瀏覽幫助系統隨機。

從未使用RunThrough ...無論如何，似乎做你想做的。

Clear["Global`*"]; 
a := b; 
c := 2 a + b; 
mathcommand = StringReplace[First[$CommandLine], "MathKernel" -> "math"]; 
outputfile = "c:\\rtout"; 
RunThrough[mathcommand <> " -noprompt", Unevaluated[Put[Definition[c], "c:\\rtout"]]] 
FilePrint[outputfile] 
Clear[a, c]; 
<< "c:\\rtout" 
DeleteFile[outputfile] 
?c 

出

c := 2*a + b 
_______________________________ 
Global`c 
c:=2 a+b 

編輯。作品名單上有一點保留福

Clear["Global`*"]; 

(*Trick here *) 
f[l_] := Definition @@ HoldPattern /@ Unevaluated@l; 
SetAttributes[f, HoldFirst]; 

a := b; 
c := 2 a + b; 
d := 3 a + b; 
mathcommand = StringReplace[First[$CommandLine], "MathKernel" -> "math"]; 
outputfile = "c:\\rtout"; 

RunThrough[mathcommand <> " -noprompt",Unevaluated[Put[Evaluate[f@{c, d}], "c:\\rtout"]]] 

(* test *) 

FilePrint[outputfile] 
Clear[a, c, d]; 
<< "c:\\rtout" 
DeleteFile[outputfile] 
?c 
?d