1 package JSci.maths.algebras; 2 3 import JSci.maths.fields.Field; 4 5 /** 6 * This interface defines a vector space. 7 * @jsci.planetmath VectorSpace 8 * @version 1.0 9 * @author Mark Hale 10 */ 11 public interface VectorSpace extends Module { 12 /** 13 * This interface defines a member of a vector space, i.e. a vector. 14 * @jsci.planetmath Vector 15 */ 16 interface Member extends Module.Member { 17 /** 18 * The scalar multiplication law with inverse. 19 * @param f a field member 20 */ 21 Member scalarDivide(Field.Member f); 22 } 23 } 24 25