org.lsmp.djep.groupJep.interfaces

Interface RingI

All Superinterfaces:

AbelianGroupI, GroupI

All Known Subinterfaces:

FieldI, IntegralDomainI

All Known Implementing Classes:

AlgebraicExtension, BigReals, ExtendedFreeGroup, FreeGroup, Integers, Quaternions, Rationals, Reals, Zn

public interface RingI
extends AbelianGroupI

Defines the operations on a ring, i.e. an abelian group under + with a closed * operator and * distributitive over +.

Author:

Rich Morris Created on 05-Mar-2004

Method Summary

Modifier and Type	Method and Description
Number	getONE() Get multiplicative identity i.e.
Number	mul(Number a, Number b) Returns the product of two numbers, a*b

Methods inherited from interface org.lsmp.djep.groupJep.GroupI

add, addStandardConstants, addStandardFunctions, equals, getInverse, getNumberFactory, getZERO, isConstantPoly, sub, valueOf

Method Detail

mul

Number mul(Number a,
           Number b)

Returns the product of two numbers, a*b

getONE

Number getONE()

Get multiplicative identity i.e. 1. Strictly speaking a ring need not have a mul indentity. However most useful ones do, and they are not all integral domains.