/*
 * JScience - Java(TM) Tools and Libraries for the Advancement of Sciences.
 * Copyright (C) 2006 - JScience (http://jscience.org/)
 * All rights reserved.
 * 
 * Permission to use, copy, modify, and distribute this software is
 * freely granted, provided that this notice is preserved.
 */
package org.jscience.mathematics.structure;

/**
 * This interface represents an algebraic structure with two binary operations
 * addition and multiplication (+ and ·), such that (R, +) is an abelian group, 
 * (R, ·) is a monoid and the multiplication distributes over the addition.
 * 
 * @author Jean-Marie Dautelle
 * @version 3.0, February 13, 2006
 * @see 
 *      Wikipedia: Mathematical Ring
 */
public interface Ring extends GroupAdditive {

    /**
     * Returns the product of this object with the one specified.
     *
     * @param  that the object multiplier.
     * @return this · that.
     */
    R times(R that);

}