def cone(toplexes, subcomplex, coneVertex="*"):
    """Construct the cone over a subcomplex.  The cone vertex can be renamed if desired.  The resulting complex is homotopy equivalent to the quotient by the subcomplex."""
    return toplexes + [spx + [coneVertex] for spx in subcomplex]