Module jas

[frames] | no frames]

Module jas

source code

jython interface to JAS.

Classes

[hide private]

Ring
Represents a JAS polynomial ring: GenPolynomialRing.

Ideal
Represents a JAS polynomial ideal: PolynomialList and Ideal.

ParamIdeal
Represents a JAS polynomial ideal with polynomial coefficients.

SolvableRing
Represents a JAS solvable polynomial ring: GenSolvablePolynomialRing.

SolvableIdeal
Represents a JAS solvable polynomial ideal.

Module
Represents a JAS module over a polynomial ring.

SubModule
Represents a JAS sub-module over a polynomial ring.

SolvableModule
Represents a JAS module over a solvable polynomial ring.

SolvableSubModule
Represents a JAS sub-module over a solvable polynomial ring.

SeriesRing
Represents a JAS power series ring: UnivPowerSeriesRing.

MultiSeriesRing
Represents a JAS power series ring: MultiVarPowerSeriesRing.

PSIdeal
Represents a JAS power series ideal.

RingElem
Proxy for JAS ring elements.

Order
Collection of JAS and other CAS term order names.

PolyRing
Represents a JAS polynomial ring: GenPolynomialRing.

SolvPolyRing
Represents a JAS solvable polynomial ring: GenSolvablePolynomialRing.

EF
Extension field builder.

WordRing
Represents a JAS free non-commutative polynomial ring: GenWordPolynomialRing.

WordPolyRing
Represents a JAS free non-commutative polynomial ring: GenWordPolynomialRing.

WordPolyIdeal
Represents a JAS word polynomial ideal.

Functions

[hide private]

startLog()
Configure the log4j system and start logging.

source code

terminate()
Terminate the running thread pools.

source code

noThreads()
Turn off automatic parallel threads usage.

source code

inject_variable(name, value)
Inject a variable into the main global namespace

source code

inject_generators(gens)
Inject generators as variables into the main global namespace

source code

nameFromValue(v)
Get a meaningful name from a value.

source code

pylist2arraylist(list, fac=None, rec=1)
Convert a Python list to a Java ArrayList.

source code

arraylist2pylist(list, rec=1)
Convert a Java ArrayList to a Python list.

source code

makeJasArith(item)
Construct a jas.arith object.

source code

ZZ(z=0)
Create JAS BigInteger as ring element.

source code

ZM(m, z=0, field=False)
Create JAS ModInteger as ring element.

source code

ZML(m, z=0, field=False)
Create JAS ModLong as ring element.

source code

ZMI(m, z=0, field=False)
Create JAS ModInt as ring element.

source code

GF(m, z=0)
Create JAS ModInteger as field element.

source code

GFL(m, z=0)
Create JAS ModLong as field element.

source code

GFI(m, z=0)
Create JAS ModInt as field element.

source code

QQ(d=0, n=1)
Create JAS BigRational as ring element.

source code

CC(re=BigRational(), im=BigRational())
Create JAS BigComplex as ring element.

source code

CR(re=BigRational(), im=BigRational(), ring=None)
Create JAS generic Complex as ring element.

source code

DD(d=0)
Create JAS BigDecimal as ring element.

source code

Quat(re=BigRational(), im=BigRational(), jm=BigRational(), km=BigRational())
Create JAS BigQuaternion as ring element.

source code

Oct(ro=0, io=0)
Create JAS BigOctonion as ring element.

source code

AN(m, z=0, field=False, pr=None)
Create JAS AlgebraicNumber as ring element.

source code

FF(p, n, z=0)
Create JAS Field element as ring element.

source code

RealN(m, i, r=0)
Create JAS RealAlgebraicNumber as ring element.

source code

RF(pr, d=0, n=1)
Create JAS rational function Quotient as ring element.

source code

RC(ideal, r=0)
Create JAS polynomial Residue as ring element.

source code

LC(ideal, d=0, n=1)
Create JAS polynomial Local as ring element.

source code

SRF(pr, d=0, n=1)
Create JAS rational function SolvableQuotient as ring element.

source code

SRC(ideal, r=0)
Create JAS polynomial SolvableResidue as ring element.

source code

SLC(ideal, d=0, n=1)
Create JAS polynomial SolvableLocal as ring element.

source code

SLR(ideal, d=0, n=1)
Create JAS polynomial SolvableLocalResidue as ring element.

source code

RR(flist, n=1, r=0)
Create JAS regular ring Product as ring element.

source code

PS(cofac, name, f=None, truncate=None)
Create JAS UnivPowerSeries as ring element.

source code

MPS(cofac, names, f=None, truncate=None)
Create JAS MultiVarPowerSeries as ring element.

source code

Vec(cofac, n, v=None)
Create JAS GenVector ring element.

source code

Mat(cofac, n, m, v=None)
Create JAS GenMatrix ring element.

source code

coercePair(a, b)
Coerce type a to type b or type b to type a.

source code

isJavaInstance(a)
Test if a is a Java instance.

source code

WRC(ideal, r=0)
Create JAS polynomial WordResidue as ring element.

source code

Variables

[hide private]

auto_inject = True
Define variables automatically in the global namespace.

_finiteFields = {}
List of already constructed FiniteFields.

Function Details

[hide private]

startLog()

source code

Configure the log4j system and start logging.

BasicConfigurator from log4j version 1 is no more supported, please use log4j2 configuration.

inject_variable(name, value)

source code

Inject a variable into the main global namespace

INPUT:

"name" - a string
"value" - anything

Found in Sage. AUTHORS:

William Stein

inject_generators(gens)

source code

Inject generators as variables into the main global namespace

INPUT:

"gens" - generators

nameFromValue(v)

source code

Get a meaningful name from a value.

INPUT:

"v" - the given value.

pylist2arraylist(list, fac=None, rec=1)

source code

Convert a Python list to a Java ArrayList.

If list is a Python list, it is converted, else list is left unchanged.

arraylist2pylist(list, rec=1)

source code

Convert a Java ArrayList to a Python list.

If list is a Java ArrayList list, it is converted, else list is left unchanged.

makeJasArith(item)

source code

Construct a jas.arith object. If item is a python tuple or list then a BigRational, BigComplex is constructed. If item is a python float then a BigDecimal is constructed.

FF(p, n, z=0)

source code

Create JAS Field element as ring element. FF has p<sup>n</sup> elements.