org.matheclipse.core.expression

Class ExprRingFactory

java.lang.Object

org.matheclipse.core.expression.ExprRingFactory

All Implemented Interfaces:

AbelianGroupFactory<IExpr>, ElemFactory<IExpr>, MonoidFactory<IExpr>, RingFactory<IExpr>, java.io.Serializable

public class ExprRingFactory
extends java.lang.Object
implements RingFactory<IExpr>

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ExprRingFactory()

Method Summary

Modifier and Type	Method and Description
java.math.BigInteger	characteristic() Characteristic of this ring.
IExpr	copy(IExpr c) Create a copy of Element c.
IExpr	fromInteger(java.math.BigInteger a) Get the Element for a.
IExpr	fromInteger(long a) Get a BigRational element from a long.
java.util.List<IExpr>	generators() Get a list of the generating elements.
IExpr	getONE() Get the constant one for the MonoidElem.
IExpr	getZERO() Get the constant zero for the AbelianGroupElem.
boolean	isAssociative() Query if this ring is associative.
boolean	isCommutative() Query if this monoid is commutative.
boolean	isField() Query if this ring is a field.
boolean	isFinite() Is this structure finite or infinite.
IExpr	parse(java.io.Reader r) Parse from Reader.
IExpr	parse(java.lang.String s) Parse from String.
IExpr	random(int n) Generate a random Element with size less equal to n.
IExpr	random(int n, java.util.Random random) Generate a random Element with size less equal to n.
java.lang.String	toScript() Get a scripting compatible string representation.
static IExpr	valueOf(long a) Get a BigRational element from a long.

Methods inherited from class java.lang.Object

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

Constructor Detail

ExprRingFactory

public ExprRingFactory()

Method Detail

isField

public boolean isField()

Query if this ring is a field.

Specified by:

isField in interface RingFactory<IExpr>

Returns:

true.

characteristic

public java.math.BigInteger characteristic()

Characteristic of this ring.

Specified by:

characteristic in interface RingFactory<IExpr>

Returns:

characteristic of this ring.

fromInteger

public IExpr fromInteger(long a)

Get a BigRational element from a long.

Specified by:

fromInteger in interface ElemFactory<IExpr>

Parameters:

a - long.

Returns:

BigRational from a.

valueOf

public static IExpr valueOf(long a)

Get a BigRational element from a long.

Parameters:

a - long.

Returns:

BigRational from a.

getZERO

public IExpr getZERO()

Description copied from interface: AbelianGroupFactory

Get the constant zero for the AbelianGroupElem.

Specified by:

getZERO in interface AbelianGroupFactory<IExpr>

Returns:

0.

copy

public IExpr copy(IExpr c)

Description copied from interface: ElemFactory

Create a copy of Element c.

Specified by:

copy in interface ElemFactory<IExpr>

Returns:

a copy of c.

fromInteger

public IExpr fromInteger(java.math.BigInteger a)

Description copied from interface: ElemFactory

Get the Element for a.

Specified by:

fromInteger in interface ElemFactory<IExpr>

Parameters:

a - java.math.BigInteger.

Returns:

element corresponding to a.

generators

public java.util.List<IExpr> generators()

Description copied from interface: ElemFactory

Get a list of the generating elements.

Specified by:

generators in interface ElemFactory<IExpr>

Returns:

list of generators for the algebraic structure.

isFinite

public boolean isFinite()

Description copied from interface: ElemFactory

Is this structure finite or infinite.

Specified by:

isFinite in interface ElemFactory<IExpr>

Returns:

true if this structure is finite, else false.

parse

public IExpr parse(java.lang.String s)

Description copied from interface: ElemFactory

Parse from String.

Specified by:

parse in interface ElemFactory<IExpr>

Parameters:

s - String.

Returns:

a Element corresponding to s.

parse

public IExpr parse(java.io.Reader r)

Description copied from interface: ElemFactory

Parse from Reader.

Specified by:

parse in interface ElemFactory<IExpr>

Parameters:

r - Reader.

Returns:

the next Element found on r.

random

public IExpr random(int n)

Description copied from interface: ElemFactory

Generate a random Element with size less equal to n.

Specified by:

random in interface ElemFactory<IExpr>

Returns:

a random element.

random

public IExpr random(int n,
                    java.util.Random random)

Description copied from interface: ElemFactory

Generate a random Element with size less equal to n.

Specified by:

random in interface ElemFactory<IExpr>

random - is a source for random bits.

Returns:

a random element.

toScript

public java.lang.String toScript()

Description copied from interface: ElemFactory

Get a scripting compatible string representation.

Specified by:

toScript in interface ElemFactory<IExpr>

Returns:

script compatible representation for this ElemFactory.

getONE

public IExpr getONE()

Description copied from interface: MonoidFactory

Get the constant one for the MonoidElem.

Specified by:

getONE in interface MonoidFactory<IExpr>

Returns:

1.

isAssociative

public boolean isAssociative()

Description copied from interface: MonoidFactory

Query if this ring is associative.

Specified by:

isAssociative in interface MonoidFactory<IExpr>

Returns:

true if this monoid is associative, else false.

isCommutative

public boolean isCommutative()

Description copied from interface: MonoidFactory

Query if this monoid is commutative.

Specified by:

isCommutative in interface MonoidFactory<IExpr>

Returns:

true if this monoid is commutative, else false.