Very minor changes to several packages to get their examples to work …

…with Complexes package (InvolutiveBases, Posets, RandomComplexes, SpectralSequences, one Macaulay2Doc doc node)

M2/Macaulay2/packages/InvolutiveBases.m2

@@ -13,7 +13,7 @@ newPackage(
                   Email => "[email protected]",
                   HomePage => "http://wwwb.math.rwth-aachen.de/~daniel/"}},
         Headline => "Methods for Janet bases and Pommaret bases in Macaulay 2",
-        PackageImports => { "Complexes" },
+        PackageExports => { "Complexes" },
 	Keywords => {"Groebner Basis Algorithms"},
         DebuggingMode => false
         )
@@ -846,7 +846,7 @@ document {
         EXAMPLE lines ///
           R = QQ[x,y,z];
 	  I = ideal(x,y,z);
-	  C = res(I, Strategy => Involutive)
+	  C = freeResolution(I, Strategy => Involutive)
 	  multVar(C, 2)
         ///,
         EXAMPLE lines ///
@@ -897,7 +897,7 @@ document {
         EXAMPLE lines ///
           R = QQ[x,y,z];
 	  I = ideal(x,y,z);
-	  C = res(I, Strategy => Involutive)
+	  C = freeResolution(I, Strategy => Involutive)
 	  janetBasis(C, 2)
         ///,
         SeeAlso => {janetMultVar,pommaretMultVar,isPommaretBasis,invReduce,invSyzygies,janetResolution}
@@ -1200,7 +1200,7 @@ document {
         EXAMPLE lines ///
           R = QQ[x,y,z];
 	  I = ideal(x,y,z);
-	  res(I, Strategy => Involutive)
+	  freeResolution(I, Strategy => Involutive)
         ///,
         SeeAlso => {janetBasis,multVar,invSyzygies}
         }

M2/Macaulay2/packages/Macaulay2Doc/functions/cohomology-doc.m2

@@ -104,7 +104,7 @@ document {
 	  "needsPackage \"SimplicialComplexes\"",
 	  "R = QQ[a..d]",
           "D = simplicialComplex {a*b*c,a*b*d,a*c*d,b*c*d}",
-          "C = chainComplex D",  
+          "C = complex D",  
           "HH_2 C",
 	  "prune oo"
 	  },

M2/Macaulay2/packages/Posets.m2

@@ -1011,7 +1011,7 @@ resolutionPoset = method()
 resolutionPoset Complex := Poset => C ->
     poset flatten flatten apply(sort unique (first \ keys betti C), d -> for r to numrows C.dd_d - 1 list for c to numcols C.dd_d - 1 list if C.dd_d_(r,c) != 0 then {{d-1,r}, {d,c}} else continue)
 resolutionPoset MonomialIdeal := Poset => I -> (
-    P := resolutionPoset res I;
+    P := resolutionPoset freeResolution I;
     cvrs := applyValues(partition(last, coveringRelations P), v -> last \ first \ v);
     lbl := {{{0,0} => {0,0}}, apply(#I_*, i -> {1,i} => I_i)};
     for r in drop(rankPoset P, 2) do lbl = append(lbl, for v in r list v => lcm (last \ (last lbl)_(cvrs#v)));
@@ -3850,7 +3850,7 @@ doc ///
             component of the resolution.
         Example
             R = QQ[x,y,z];
-            C = res ideal(y*z,x*z,x^2*y)
+            C = freeResolution ideal(y*z,x*z,x^2*y)
             resolutionPoset C
             (resolutionPoset C).GroundSet
         Text

M2/Macaulay2/packages/RandomComplexes.m2

@@ -194,7 +194,7 @@ randomSimplicialComplex(ZZ,ZZ):= (k,n) -> (
    N:=#sets-k-2;
    I:=monomialIdeal apply(apply(n,i->sets_(random(N)+k+2)),s->product(s,i->x_i));
    c:=simplicialComplex I;
-   CQ:=chainComplex c; 
+   CQ:=chainComplex complex c; 
    C:=(chainComplex apply(length CQ-1,i->lift(CQ.dd_(i+1),ZZ)))
    )
 

M2/Macaulay2/packages/SpectralSequences.m2

@@ -296,11 +296,11 @@ filteredComplex(List) := FilteredComplex => opts -> L -> (
   if all(#L, p -> class L#p === SimplicialComplex) then (
     kk := coefficientRing L#0;
     if opts.ReducedHomology == true then (
-    C = chainComplex L#0; -- By default the ambient simplicial complex is the first element of the list
-    maps = apply(#L-1, p -> map(C, chainComplex L#(p+1), 
+    C = chainComplex complex L#0; -- By default the ambient simplicial complex is the first element of the list
+    maps = apply(#L-1, p -> map(C, chainComplex complex L#(p+1), 
         i -> sub(contract(transpose matrix{faces(i,L#0)}, matrix{faces(i,L#(p+1))}), kk))))
-    else (C = truncate(chainComplex L#0,1); -- By default the ambient simplicial complex is the first element of the list
-    maps = apply(#L-1, p -> map(C, truncate(chainComplex L#(p+1),1), 
+    else (C = truncate(chainComplex complex L#0,1); -- By default the ambient simplicial complex is the first element of the list
+    maps = apply(#L-1, p -> map(C, truncate(chainComplex complex L#(p+1),1), 
         i -> sub(contract(transpose matrix{faces(i,L#0)}, matrix{faces(i,L#(p+1))}), kk))))   
  )
   else (
@@ -1566,7 +1566,7 @@ doc ///
 	  Text
 	     We can check that the homology of the simplicial complex twoSphere agrees with that of $\mathbb{S}^2$.
 	  Example
-	      C = truncate(chainComplex twoSphere,1)	
+	      C = truncate(chainComplex complex twoSphere,1)	
 	      prune HH C
 	  Text
 	      We now write down our simplicial complex whose topological realization 
@@ -1578,7 +1578,7 @@ doc ///
 	      Again we can check that we've entered a simplicial complex
        	      whose homology agrees with that of the real projective plane.
 	  Example
-	      B = truncate(chainComplex realProjectivePlane,1)	 
+	      B = truncate(chainComplex complex realProjectivePlane,1)	 
 	      prune HH B
     	  Text
 	      We now compute the fibers of the anti-podal quotient map
@@ -1633,7 +1633,7 @@ doc///
 	      We can check that the homology of this simplicial complex agrees with that
 	      of the Klein Bottle:
 	 Example     
-	      C = truncate(chainComplex Delta,1)
+	      C = truncate(chainComplex complex Delta,1)
 	      prune HH C
     	 Text
 	      Let $S$ be the simplicial complex with facets $\{A_0 A_1, A_0 A_2, A_1 A_2\}$.  Then $S$ is a triangulation of $S^1$.  The simplicial map
@@ -1684,7 +1684,7 @@ doc ///
 	      $\Delta$ agrees with that of the torus
 	      $\mathbb{S}^1 \times \mathbb{S}^1 $
 	 Example          
-	      C = truncate(chainComplex Delta,1)
+	      C = truncate(chainComplex complex Delta,1)
 	      prune HH C
 	 Text
 	      Let $S$ be the simplicial complex with facets $\{A_0 A_1, A_0 A_2, A_1 A_2\}$.  Then $S$ is a triangulation of $S^1$.  The simplicial map