Octahedron

octahedron(Real)

octahedron(Point, Real)

octahedron()

Given a real $c$, constructs an octahedron centered at the origin with edges of length $c$.

Given a point $P$ and a real $c$, constructs an octahedron centered at $P$ with edges of length $c$.

Constructs an octahedron centered at the origin with edges of length 1.