/*
 * 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 over a field with two operations, 
 * vector addition and scalar multiplication.
 * 
 * @author Jean-Marie Dautelle
 * @version 3.0, February 13, 2006
 * @see 
 *      Wikipedia: Vector Space
 */
public interface VectorSpace extends GroupAdditive {
    
    /**
     * Returns the scalar multiplication of this vector by the specified 
     * field element.
     *
     * @param  a the field element,
     * @return this · a.
     */
    V times(F a);

}