Compress binary snapshots.

.gitignore

@@ -3,6 +3,7 @@ calc.go
 y.output
 test_rubi
 expreduce/rubi_snapshot.expred
+.DS_Store
 
 .idea/expreduce.iml
 

expreduce/builtin_system.go

@@ -2,6 +2,7 @@ package expreduce
 
 import (
 	"bytes"
+	"compress/zlib"
 	"encoding/gob"
 	"flag"
 	"fmt"
@@ -655,11 +656,13 @@ func getSystemDefinitions() (defs []Definition) {
 				// TODO: Read as a stream and not a byte string.
 				r := bytes.NewReader(fileData[len(exprFileHeader):])
 				atoms.RegisterGobAtoms()
-				decoder := gob.NewDecoder(r)
+				compressedReader, _ := zlib.NewReader(r)
+				decoder := gob.NewDecoder(compressedReader)
 				definitions := []encodedDef{}
 				if err := decoder.Decode(&definitions); err != nil {
 					panic(err)
 				}
+				compressedReader.Close()
 
 				for _, def := range definitions {
 					es.SetDefined(def.Name, def.Def)
@@ -713,10 +716,12 @@ func getSystemDefinitions() (defs []Definition) {
 			if err == nil {
 				// Write the header.
 				file.Write(exprFileHeader)
-				encoder := gob.NewEncoder(file)
+				compressedWriter := zlib.NewWriter(file)
+				encoder := gob.NewEncoder(compressedWriter)
 				if err := encoder.Encode(definitions); err != nil {
 					panic(err)
 				}
+				compressedWriter.Close()
 			}
 			file.Close()
 

expreduce/resources/rubi.m

@@ -22,7 +22,7 @@
 };
 
 LoadRubiSnapshot[snapshotLoc_] := (
-  Get[snapshotLoc_];
+  Get[snapshotLoc];
   $ContextPath = Prepend[$ContextPath, "Rubi`"];
 );
 SaveRubiSnapshot[snapshotLoc_] := Save[snapshotLoc, "Rubi`*"];