1 package JSci.maths.fields; 2 3 /** 4 * This interface defines a field. 5 * @jsci.planetmath Field 6 * @version 1.0 7 * @author Mark Hale 8 */ 9 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 * The multiplication law with inverse. 25 * @param f a field member 26 */ 27 Member divide(Member f); 28 } 29 } 30 31