work on norms (doctest broken)
started new module: polyhedra