| Package | Description |
|---|---|
| org.lsmp.djep.groupJep.groups | |
| org.lsmp.djep.groupJep.interfaces | |
| org.lsmp.djep.groupJep.values |
| Modifier and Type | Class and Description |
|---|---|
class |
AlgebraicExtension
An Algebraic Extension of a Ring.
|
class |
BigReals
The field of Reals represented by BigDecimals.
|
class |
ExtendedFreeGroup
An extended version of a Free Group, limted seport for powers and division.
|
class |
FreeGroup
A free group generated by a symbol t.
|
class |
Integers
The group of integers, implemented as a BigInteger.
|
class |
Quaternions
Possibly the Quaternions, completely untested.
|
class |
Rationals
The Field of rational numbers.
|
class |
Reals
A representation of the Reals where elements are represented as Doubles.
|
class |
Zn
The group of integers mod n.
|
| Modifier and Type | Field and Description |
|---|---|
protected RingI |
FreeGroup.baseRing |
| Modifier and Type | Method and Description |
|---|---|
RingI |
FreeGroup.getBaseRing()
Returns the base ring of this extension.
|
| Constructor and Description |
|---|
AlgebraicExtension(RingI K,
Polynomial poly)
Create the ring K(t) where t is a solution of the monic polynomial p.
|
ExtendedFreeGroup(RingI K,
String symbol) |
FreeGroup(RingI K,
String symbol)
Create the ring K(t) where t is a free variable.
|
| Modifier and Type | Interface and Description |
|---|---|
interface |
FieldI
Represents a field.
|
interface |
IntegralDomainI
A RingI which has a multiplicative indentity.
|
| Modifier and Type | Method and Description |
|---|---|
RingI |
Polynomial.getBaseRing() |
| Constructor and Description |
|---|
Polynomial(RingI baseRing,
String symbol,
Number[] coeffs)
Construct a polynomial over a ring.
|
Copyright © 2018. All rights reserved.