:: deftheorem defines -circuits POLYFORM:def 20 :
for p being polyhedron
for k being Integer holds k -circuits p = [#] (k -circuit-space p);