org.lsmp.djep.groupJep.groups

Class ExtendedFreeGroup

java.lang.Object

org.lsmp.djep.groupJep.groups.Group

org.lsmp.djep.groupJep.groups.FreeGroup

org.lsmp.djep.groupJep.groups.ExtendedFreeGroup

All Implemented Interfaces:

GroupI, AbelianGroupI, HasDivI, HasPowerI, RingI

Direct Known Subclasses:

AlgebraicExtension

public class ExtendedFreeGroup
extends FreeGroup
implements HasPowerI, HasDivI

An extended version of a Free Group, limted seport for powers and division. Positive integer powers are allowed and division by constants. TODO implement polynomial division and remainder (mod).

Constructor Summary

Constructors

Constructor and Description
ExtendedFreeGroup(RingI K, String symbol)

Method Summary

Modifier and Type	Method and Description
Number	div(Number a, Number b) Currently just division by constants.
Number	pow(Number a, Number b) Limited implementation of power, only works with integer powers.

Methods inherited from class org.lsmp.djep.groupJep.groups.FreeGroup

add, addStandardConstants, equals, getBaseRing, getInverse, getONE, getRootVal, getSymbol, getTPoly, getZERO, isConstantPoly, mul, setRootVal, setRootVal, sub, toString, valueOf, valueOf

Methods inherited from class org.lsmp.djep.groupJep.groups.Group

addStandardFunctions, getNumberFactory

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

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

addStandardFunctions, getNumberFactory

Constructor Detail

ExtendedFreeGroup

public ExtendedFreeGroup(RingI K,
                         String symbol)

Method Detail

pow

public Number pow(Number a,
                  Number b)

Limited implementation of power, only works with integer powers. Second argument should be an Integer.

Specified by:

pow in interface HasPowerI

div

public Number div(Number a,
                  Number b)

Currently just division by constants. Polynomial division to come.

Specified by:

div in interface HasDivI