01: package JSci.maths.fields;
02:
03: /**
04: * This interface defines a field.
05: * @jsci.planetmath Field
06: * @version 1.0
07: * @author Mark Hale
08: */
09: public interface Field extends Ring {
10: /**
11: * Returns true if one member is the inverse of the other.
12: */
13: boolean isInverse(Member a, Member b);
14:
15: /**
16: * This interface defines a member of a field.
17: */
18: interface Member extends Ring.Member {
19: /**
20: * Returns the inverse member.
21: */
22: Member inverse();
23:
24: /**
25: * The multiplication law with inverse.
26: * @param f a field member
27: */
28: Member divide(Member f);
29: }
30: }
|