"Source: Text/Topology/SmpCpx.text";
"Line: 715";
"Date: Tue Jun  7 22:27:15 2016";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Topology/SmpCpx.text, line: 715
// Example: H153E13 ()
print "Example: H153E13";
ei := GetEchoInput();
SetEchoInput(true);
circ := Boundary(SimplicialComplex([{1,2,3}]));
Homology(circ,Integers());
lens3 := LensSpace(3);
Homology(~lens3,Integers());
Homology(lens3,Integers())[3];
SetEchoInput(ei);
