nonstandard |
Error code corresponding to an error different from the standard
CoCoA errors
|
|
UNKNOWN |
UNKNOWN ERROR CODE PRODUCED -- please inform the CoCoA Team of this
|
|
ArgTooBig |
Argument to a numerical function too large (value would be too
big)
|
|
AssertFail |
Assertion failed
|
|
BadArg |
The arg(s) given are unsuitable
|
|
BadArraySize |
Unsuitable array size (incompatible with other arguments)
|
|
BadCheckedCast |
Checked cast failed
|
|
BadCodomain |
Supplied RingHom has wrong codomain
|
|
BadColIndex |
Column index too large
|
|
BadCompose |
Attempt to compose maps with differing domain and codomain
|
|
BadComptIndex |
Index too large accessing component of ModuleElem
|
|
BadDegIndex |
Index too large accessing degree component
|
|
BadDomain |
Supplied RingHom has wrong domain
|
|
BadIndetIndex |
Indeterminate index too large
|
|
BadIndex |
Index too large
|
The index is bigger than the size of the vector (for the moment
only used for DynamicBitset).
It may also be that index is negative and is passed through a C
function which silently converts it into a (large) unsigned integer.
|
BadIndetNames |
Duplicate indet names or varied number of indices for a single
name
|
|
BadInducingHom |
Inducing hom has wrong domain
|
|
BadInducingHom2 |
Inducing hom has wrong codomain
|
|
BadInducingHomKer |
Inducing hom has unsuitable kernel
|
|
BadMatrixSetEntry |
Attempt to set a matrix entry where this is forbidden
|
|
BadMatrixSize |
Matrix size is wrong for this operation
|
|
BadNumBase |
Base for number conversion must be between 2 and 36 (incl)
|
|
BadNumIndets |
Wrong number of indet names when creating a PPMonoid
|
|
BadPPMonoid |
PPMonoid supplied is not of the right type
|
|
BadPolyRingHomImages |
Unsuitable indet images for creating PolyRing hom (wrong number or
wrong ring)
|
|
BadProbability |
Probability P must satisfy 0 <= P <= 1
|
|
BadPwrZero |
Non-positive power of zero
|
|
BadQuot |
Cannot compute quotient in ring or monoid
|
|
BadQuotRing |
Attempt to quotient by ideal(1)
|
|
BadRing |
Used ring does not have desired properties
|
|
BadRingHomArg |
Argument to RingHom does not belong to domain
|
|
BadRingHomArg2 |
Argument given to a partial RingHom is outside the domain
|
|
BadRowIndex |
Row index too large
|
|
BadSmallFpChar |
Characteristic (for small finite field) too large or not prime
|
|
BadSymbolHead |
Invalid symbolic name head (with illegal characters)
|
|
BadSymbolIndex |
Symbolic name does not have that many indices
|
|
BadSymbolRange |
Incompatible symbols given to range
|
|
BLASFailed |
A BLAS function failed
|
|
CanonicalHomFail |
Unable to construct canonical homomorphism
|
|
ConstMatEntry |
Cannot assign to constant matrix entry
|
|
DeadMemPool |
Attempt to use a MemPool after it has been destroyed
|
|
DivByZero |
Division by zero or by a zero-divisor
|
|
ExpTooBig |
Exponent is too large
|
|
GlobalManager1 |
No GlobalManager object has been created
|
|
GlobalManager2 |
Attempt to create more than one GlobalManager object
|
|
IdealNotInRing |
Incompatible ring and ideal: ideal is not in the given ring
|
|
InsuffPrec |
RingTwinFloat: insufficient precision (e.g. error growth impedes
further computation)
|
|
IntDivByNeg |
Integer division by negative divisor with non-zero remainder
|
|
InvertibleRingElem |
Non-invertible RingElem required
|
|
LapackFailed |
A Lapack driver failed
|
|
LogZero |
Cannot compute log of zero
|
|
MemPoolZero |
Cannot use MemPool to manage blocks of zero size
|
|
MissNumLibs |
Numerical libraries not configured in
|
|
MixedCoeffRings |
Arithmetic operation between polys with different coeff rings
|
|
MixedDegrees |
Arithmetic operation between incompatible degrees
|
|
MixedModules |
Elements must be in the same module; mixed module operations are
forbidden
|
|
MixedPolyIters |
Comparison between iterators over different polys
|
|
MixedPPMs |
Elements must be in the same PPMonoid; mixed PPMonoid operations
are forbidden
|
|
MixedRings |
Elements must be in the same ring; mixed ring operations are
forbidden
|
You might have computed c*f where c is in R and f is in R[x], see
ex-RingHom2.C |
MixedSizes |
Operation between objects with different size
|
Operations between DynamicBitsets with different sizes are not
allowed |
NegExp |
Negative exponent
|
|
NoGlobalMgr |
GlobalManager must be created before using CoCoALib
|
see
ex-empty.C |
NotCommutative |
Ring is not commutative
|
|
NotDenseUPolyRing |
Ring must be a dense univariate polynomial ring
|
|
NotElemFrF |
RingElem is not in a fraction field
|
|
NotElemGCDDomain |
RingElem is not in a GCD domain
|
|
NotElemPolyRing |
RingElem is not in a polynomial ring
|
|
NotElemQuotientRing |
RingElem is not in quotient ring
|
|
NotElemSparsePolyRing |
RingElem is not in a sparse polynomial ring
|
|
NotFGModule |
Module must be FGModule, but is not
|
|
NotField |
Ring must be a field
|
|
NotFracField |
Ring must be a FractionField
|
|
NotFreeModule |
Module must be a free module
|
|
NotFullRank |
Matrix must be full rank
|
|
NotGCDDomain |
Ring is not a GCD domain
|
|
NotGradedModule |
Module must be a graded module
|
|
NotIndet |
Poly should be an indeterminate
|
|
NotIntegralDomain |
Ring is not an integral domain
|
|
NotInvMatrix |
Matrix must be invertible
|
|
NotMonomialGens |
Ideal must be generated by monomials
|
|
NotNonNegative |
Value must be non-negative
|
|
NotNonNegativeGrading |
Grading must be non-negative
|
|
NotOrdDom |
Ring is not an ordered domain
|
|
NotPolyRing |
Ring must be a polynomial ring
|
|
NotPositiveGrading |
Grading must be positive
|
|
NotQuotientRing |
Ring must be a quotient ring
|
|
NotRingTwinFloat |
Operation valid only over RingTwinFloat
|
|
NotRingZ |
Ring must be Z, the ring of integers
|
|
NotSparsePolyRing |
Ring must be a sparse polynomial ring
|
|
NotSquareMatrix |
Matrix must be square
|
|
NotTrueGCDDomain |
Ring is not a GCD domain or is a field
|
|
NotTermOrdering |
Ordering must be a term-ordering (all PPs>1)
|
|
NotUnit |
Cannot invert non-unit
|
|
NYI |
NOT YET IMPLEMENTED -- please be patient, we're working on it
|
|
PPOrder |
PP is not in the right order
|
|
PolyIterEnded |
Attempt to use an off-the-end iterator
|
|
ZeroModulus |
A zero modulus was specified for a numerical operation
|
|
ZeroRingElem |
Non-zero RingElem required
|
|
SERIOUS |
A serious library error has occurred -- please inform the CoCoA Team
|
|