…ingTorMap, horsehoeResolution. Fixed bug in mult of complex maps with numbers, bug in homomorphism

…isms

…s us to remove the dependency of Polyhedra on IntegralClosure and ReesAlgebra (which in turn was making the incorporatino of the Complexes package quite difficult).

…ll run correctly.

…unctions: status, rank, transpose, nullhomotopy (synonym of nullHomotopy). Allow complex to take a single matrix. Do not compute remainder in one version of nullHomotopy(serious performance degradation). Moved Ext(Module, Module) functionality from the Core to Complexes. Added minimalBetti fixes.

…ree source was incorrect. freeResolution(Strategy => Syzygies) incorrectly handled resolutions of length 0. Tests and doc were updated for these.

… changed calls in AInfinity to use this simpler algorithm. Also added in doc for associatedGradedRing

…orname{Hom}, imported a test from Core related to total Ext

…then displays that the argument is a complex, a complex, a module (doubled complex). It appears that is a bug that will get fixed before the next version, so we change this to be correct once that bug fix is in.