diff --git a/#GLDemo.m2# b/#GLDemo.m2#
deleted file mode 100644
index 44ea0c6..0000000
--- a/#GLDemo.m2#
+++ /dev/null
@@ -1,20 +0,0 @@
-loadPackage"GLIdeals"
-
-
-n=3
-m=3
-R=QQ[x_1..x_(n*m)]
-X=genericMatrix(R,n,m)
-lam1={2,1,1}
-numgensILambda(X,lam1)
-I1=idealILambda(X,lam1,MaximalRank=>false);
-
-
-lam2={2,2}
-numgensILambda(X,lam2)
-I2=idealILambda(X,lam2,MaximalRank=>false);
-
-
-T=Tor_1(R^1/I1,R^1/I2);
-ann T;
-idealToChi(X, ann T)
diff --git a/GLDemo.m2 b/GLDemo.m2
new file mode 100644
index 0000000..8b3e460
--- /dev/null
+++ b/GLDemo.m2
@@ -0,0 +1,44 @@
+restart
+loadPackage"GLIdeals"
+
+
+n=3
+m=3
+R=QQ[x_1..x_(n*m)]
+X=genericMatrix(R,n,m)
+
+
+
+idealToChi(X,ideal(1_R))
+idealToChi(X,ideal(0_R))
+
+lam1={2,1,1}
+numgensGLIdeal(X,lam1)
+I1=GLIdeal(X,lam1,MaximalRank=>false);
+--transpose mingens I1
+
+
+lam2={2,2}
+numgensGLIdeal(X,lam2)
+I2=GLIdeal(X,lam2,MaximalRank=>false);
+--transpose mingens I2
+
+J=I1+I2;
+
+I=minors(2,X);
+idealToChi(X,I^2)
+J==I1+I2
+
+T=Tor_1(R^1/I1,R^1/I2);
+AT=ann T;
+idealToChi(X, AT)
+
+needsPackage"SymbolicPowers"
+K=symbolicPower(I,2);
+idealToChi(X,K)
+K==AT
+
+
+
+
+