org.lsmp.djep.groupJep

Interface GroupI

All Known Subinterfaces:

AbelianGroupI, FieldI, IntegralDomainI, RingI

All Known Implementing Classes:

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

public interface GroupI

Represents a group with an identity, and addition operator.

Author:

Rich Morris Created on 05-Mar-2004

Method Summary

Modifier and Type	Method and Description
Number	add(Number a, Number b) Get sum of the numbers
void	addStandardConstants(JEP j) adds the standard constants for this group
void	addStandardFunctions(JEP j) adds the standard function for this group
boolean	equals(Number a, Number b) whether two numbers are equal
Number	getInverse(Number num) Get Inverse of a number
NumberFactory	getNumberFactory() returns a number factory for creating group elements from strings.
Number	getZERO() Returns the identity element under +
boolean	isConstantPoly(Number a) For groups like rings of polynomials this determins if a given element is a constant polynomial.
Number	sub(Number a, Number b) Get the difference of the numbers.
Number	valueOf(String s) returns number given by the string

Method Detail

getZERO

Number getZERO()

Returns the identity element under +

getInverse

Number getInverse(Number num)

Get Inverse of a number

add

Number add(Number a,
           Number b)

Get sum of the numbers

sub

Number sub(Number a,
           Number b)

Get the difference of the numbers. i.e. a + (-b)

equals

boolean equals(Number a,
               Number b)

whether two numbers are equal

valueOf

Number valueOf(String s)

returns number given by the string

getNumberFactory

NumberFactory getNumberFactory()

returns a number factory for creating group elements from strings. Most groups which are subclasses of Group do not need to implement this method.

addStandardConstants

void addStandardConstants(JEP j)

adds the standard constants for this group

addStandardFunctions

void addStandardFunctions(JEP j)

adds the standard function for this group

isConstantPoly

boolean isConstantPoly(Number a)

For groups like rings of polynomials this determins if a given element is a constant polynomial.