Represents a JAS polynomial ideal: PolynomialList and Ideal.
Methods for Groebner bases, ideal sum, intersection and others.
|
|
__init__(self,
ring,
polystr="",
list=None)
Ideal constructor. |
source code
|
|
|
|
__str__(self)
Create a string representation. |
source code
|
|
|
|
paramideal(self)
Create an ideal in a polynomial ring with parameter coefficients. |
source code
|
|
|
|
|
|
|
isGB(self)
Test if this is a Groebner base. |
source code
|
|
|
|
|
|
|
iseGB(self)
Test if this is an e-Groebner base. |
source code
|
|
|
|
|
|
|
isdGB(self)
Test if this is a d-Groebner base. |
source code
|
|
|
|
parGB(self,
th)
Compute in parallel a Groebner base. |
source code
|
|
|
|
parOldGB(self,
th)
Compute in parallel a Groebner base. |
source code
|
|
|
|
distGB(self,
th=2,
machine="examples/machines.localhost",
port=7114)
Compute on a distributed system a Groebner base. |
source code
|
|
|
|
distClient(self,
port=8114)
Client for a distributed computation. |
source code
|
|
|
|
eReduction(self,
p)
Compute a e-normal form of p with respect to this ideal. |
source code
|
|
|
|
reduction(self,
p)
Compute a normal form of p with respect to this ideal. |
source code
|
|
|
|
NF(self,
reducer)
Compute a normal form of this ideal with respect to reducer. |
source code
|
|
|
|
intersectRing(self,
ring)
Compute the intersection of this and the given polynomial ring. |
source code
|
|
|
|
intersect(self,
id2)
Compute the intersection of this and the given ideal. |
source code
|
|
|
|
eliminateRing(self,
ring)
Compute the elimination ideal of this and the given polynomial ring. |
source code
|
|
|
|
sum(self,
other)
Compute the sum of this and the ideal. |
source code
|
|
|
|
optimize(self)
Optimize the term order on the variables. |
source code
|
|
|
|
realRoots(self)
Compute real roots of 0-dim ideal. |
source code
|
|
|
|
realRootsPrint(self)
Print decimal approximation of real roots of 0-dim ideal. |
source code
|
|
|
|
radicalDecomp(self)
Compute radical decomposition of this ideal. |
source code
|
|
|
|
complexRoots(self)
Compute complex roots of 0-dim ideal. |
source code
|
|
|
|
primeDecomp(self)
Compute prime decomposition of this ideal. |
source code
|
|
|
|
primaryDecomp(self)
Compute primary decomposition of this ideal. |
source code
|
|
|
|
toInteger(self)
Convert rational coefficients to integer coefficients. |
source code
|
|
|
|
toModular(self,
mf)
Convert integer coefficients to modular coefficients. |
source code
|
|