Polyhedra: module
{
	PATH: con "/dis/math/polyhedra.dis";

	Vector: adt{
		x, y, z: real;
	};

	Polyhedron: adt{
		name, dname: string;
		indx, V, E, F, concave, anti, allf, adj: int;
		v, f: array of Vector;
		fv, vf: array of array of int;
		offset: big;
		prv, nxt: cyclic ref Polyhedron;
		inc: real;
	};

	# read in details of all polyhedra in the given file
	scanpolyhedra: fn(f: string): (int, ref Polyhedron, ref Bufio->Iobuf);
	# read in the coordinates of all polyhedra
	getpolyhedra: fn(p: ref Polyhedron, b: ref Bufio->Iobuf);
	# read in the coordinates of the given polyhedron
	getpolyhedron: fn(p: ref Polyhedron, b: ref Bufio->Iobuf);
};