001    /*
002     * $Id: FieldElem.java 1708 2008-02-24 17:28:36Z kredel $
003     */
004    
005    package edu.jas.structure;
006    
007    
008    /**
009     * Field element interface.
010     * Empty interface since inverse is already in RingElem.
011     * @param <C> field element type
012     * @author Heinz Kredel
013     */
014    
015    public interface FieldElem<C extends FieldElem<C>> 
016                     extends RingElem<C> {
017    
018    }