org.matheclipse.core.expression

Class ExprRingFactory

java.lang.Object

org.matheclipse.core.expression.ExprRingFactory

All Implemented Interfaces:

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

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

Ring factory class. Defines tests for field and query of characteristic.

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
static ExprRingFactory	CONST

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 monoid 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

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

Field Detail

CONST

public static final ExprRingFactory CONST

Constructor Detail

ExprRingFactory

public ExprRingFactory()

Method Detail

isField

public boolean isField()

Query if this ring is a field.

Specified by:

isField in interface edu.jas.structure.RingFactory<IExpr>

Returns:

true.

characteristic

public java.math.BigInteger characteristic()

Characteristic of this ring.

Specified by:

characteristic in interface edu.jas.structure.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 edu.jas.structure.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: edu.jas.structure.AbelianGroupFactory

Get the constant zero for the AbelianGroupElem.

Specified by:

getZERO in interface edu.jas.structure.AbelianGroupFactory<IExpr>

Returns:

0.

copy

public IExpr copy(IExpr c)

Description copied from interface: edu.jas.structure.ElemFactory

Create a copy of Element c.

Specified by:

copy in interface edu.jas.structure.ElemFactory<IExpr>

Returns:

a copy of c.

fromInteger

public IExpr fromInteger(java.math.BigInteger a)

Description copied from interface: edu.jas.structure.ElemFactory

Get the Element for a.

Specified by:

fromInteger in interface edu.jas.structure.ElemFactory<IExpr>

Parameters:

a - java.math.BigInteger.

Returns:

element corresponding to a.

generators

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

Description copied from interface: edu.jas.structure.ElemFactory

Get a list of the generating elements.

Specified by:

generators in interface edu.jas.structure.ElemFactory<IExpr>

Returns:

list of generators for the algebraic structure.

isFinite

public boolean isFinite()

Description copied from interface: edu.jas.structure.ElemFactory

Is this structure finite or infinite.

Specified by:

isFinite in interface edu.jas.structure.ElemFactory<IExpr>

Returns:

true if this structure is finite, else false.

parse

public IExpr parse(java.lang.String s)

Description copied from interface: edu.jas.structure.ElemFactory

Parse from String.

Specified by:

parse in interface edu.jas.structure.ElemFactory<IExpr>

Parameters:

s - String.

Returns:

a Element corresponding to s.

parse

public IExpr parse(java.io.Reader r)

Description copied from interface: edu.jas.structure.ElemFactory

Parse from Reader.

Specified by:

parse in interface edu.jas.structure.ElemFactory<IExpr>

Parameters:

r - Reader.

Returns:

the next Element found on r.

random

public IExpr random(int n)

Description copied from interface: edu.jas.structure.ElemFactory

Generate a random Element with size less equal to n.

Specified by:

random in interface edu.jas.structure.ElemFactory<IExpr>

Returns:

a random element.

random

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

Description copied from interface: edu.jas.structure.ElemFactory

Generate a random Element with size less equal to n.

Specified by:

random in interface edu.jas.structure.ElemFactory<IExpr>

random - is a source for random bits.

Returns:

a random element.

toScript

public java.lang.String toScript()

Description copied from interface: edu.jas.structure.ElemFactory

Get a scripting compatible string representation.

Specified by:

toScript in interface edu.jas.structure.ElemFactory<IExpr>

Returns:

script compatible representation for this ElemFactory.

getONE

public IExpr getONE()

Description copied from interface: edu.jas.structure.MonoidFactory

Get the constant one for the MonoidElem.

Specified by:

getONE in interface edu.jas.structure.MonoidFactory<IExpr>

Returns:

1.

isAssociative

public boolean isAssociative()

Description copied from interface: edu.jas.structure.MonoidFactory

Query if this monoid is associative.

Specified by:

isAssociative in interface edu.jas.structure.MonoidFactory<IExpr>

Returns:

true if this monoid is associative, else false.

isCommutative

public boolean isCommutative()

Description copied from interface: edu.jas.structure.MonoidFactory

Query if this monoid is commutative.

Specified by:

isCommutative in interface edu.jas.structure.MonoidFactory<IExpr>

Returns:

true if this monoid is commutative, else false.