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