def Division(left: vertex_constructor_param_types, right: vertex_constructor_param_types, label: Optional[str]=None) -> Vertex:
    """
    Divides one vertex by another
    
    :param left: the vertex to be divided
    :param right: the vertex to divide
    """
    return Double(context.jvm_view().DivisionVertex, label, cast_to_double_vertex(left), cast_to_double_vertex(right))
def Division ( left : vertex_constructor_param_types , right : vertex_constructor_param_types , label : Optional [ str ] = None ) -> Vertex : return Double ( context . jvm_view ( ) . DivisionVertex , label , cast_to_double_vertex ( left ) , cast_to_double_vertex ( right ) )
Divides one vertex by another
    
    :param left: the vertex to be divided
    :param right: the vertex to divide