/*
 * JScience - Java(TM) Tools and Libraries for the Advancement of Sciences.
 * Copyright (C) 2006 - JScience (http://jscience.org/)
 * All rights reserved.
 * 
 * Permission to use, copy, modify, and distribute this software is
 * freely granted, provided that this notice is preserved.
 */
package org.jscience.mathematics.structure;

/**
 * This interface represents a vector space on which a positive vector length
 * or size is defined. 
 * 
 * @author Jean-Marie Dautelle
 * @version 3.0, February 13, 2006
 * @see 
 *      Wikipedia: Normed Vector Space
 */
public interface VectorSpaceNormed extends VectorSpace {
    
    /**
     * Returns the positive length or size of this vector.
     *
     * @return |this|.
     * @see 
     *      Wikipedia: Vector Norm
     */
    F norm();
    
}