01: package JSci.maths.algebras;
02:
03: import JSci.maths.fields.Field;
04:
05: /**
06: * This interface defines a vector space.
07: * @jsci.planetmath VectorSpace
08: * @version 1.0
09: * @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: }
|