001/* 002 * $Id: AbelianGroupFactory.java 4056 2012-07-26 17:44:13Z kredel $ 003 */ 004 005package edu.jas.structure; 006 007 008/** 009 * Abelian group factory interface. Defines get zero. 010 * @author Heinz Kredel 011 */ 012 013public interface AbelianGroupFactory<C extends AbelianGroupElem<C>> extends ElemFactory<C> { 014 015 016 /** 017 * Get the constant zero for the AbelianGroupElem. 018 * @return 0. 019 */ 020 public C getZERO(); 021 022 023}