Module jas :: Class SolvPolyRing

Class SolvPolyRing

    Ring --+    
           |    
SolvableRing --+
               |
              SolvPolyRing

Represents a JAS solvable polynomial ring: GenSolvablePolynomialRing.

Provides more convenient constructor. Then returns a Ring.

Instance Methods

[hide private]

__init__(self, coeff, vars, order=Order.IGRLEX, rel=[])
Ring constructor.

source code

__str__(self)
Create a string representation.

source code

Inherited from SolvableRing: element, ideal, one, zero

Inherited from Ring: __eq__, algebraicRoots, complexRoots, decimalRoots, factors, factorsAbsolute, gcd, gens, inject_variables, integrate, paramideal, powerseriesRing, random, realRoots, rootReduce, rootRefine, rootsOfUnity, squarefreeFactors, variable_generators

Static Methods

[hide private]

Inherited from Ring: getEngineFactor, getEngineGcd, getEngineSqf

Method Details

[hide private]

init(self, coeff, vars, order=Order.IGRLEX, rel=[])
(Constructor)

source code

Ring constructor.

coeff = factory for coefficients, vars = string with variable names, order = term order, rel = triple list of relations. (e,f,p,...) with e * f = p as relation and e, f and p are commutative polynomials.

Overrides: Ring.__init__

str(self)
(Informal representation operator)

source code

Create a string representation.

Overrides: Ring.__str__

Class SolvPolyRing

__init__(self, coeff, vars, order=Order.IGRLEX, rel=[]) (Constructor)

__str__(self) (Informal representation operator)

init(self, coeff, vars, order=Order.IGRLEX, rel=[])
(Constructor)

str(self)
(Informal representation operator)