:: deftheorem defines -circuit-space POLYFORM:def 19 :
for p being polyhedron
for k being Integer holds k -circuit-space p = ker (k -boundary p);