Go to the source code of this file.
Definition at line 94 of file mpr_inout.cc.
104 if ( rmatrix ) numOfVars++;
109 if (
IDELEMS(theIdeal) != numOfVars )
112 for ( k=
IDELEMS(theIdeal) - 1; (state ==
mprOk) && (k >= 0); k-- )
114 poly p = (theIdeal->m)[k];
128 if ( state !=
mprOk ) mprPrintError( state,
"" );
BOOLEAN p_IsHomogeneous(poly p, const ring r)
static BOOLEAN rField_is_R(const ring r)
static BOOLEAN rField_is_Q_a(const ring r)
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
#define pIsConstant(p)
like above, except that Comp might be != 0
static BOOLEAN rField_is_Q(const ring r)
static BOOLEAN rField_is_long_C(const ring r)
static BOOLEAN rField_is_long_R(const ring r)
Definition at line 62 of file mpr_inout.cc.
65 WerrorS(
"Unknown chosen resultant matrix type!");
68 Werror(
"One element of the ideal %s is constant!",
name);
71 Werror(
"Wrong number of elements in given ideal %s, should be %d resp. %d!",
75 Werror(
"The given ideal %s must be 0-dimensional!",
name);
78 Werror(
"The given ideal %s has to be homogeneous in the first ring variable!",
82 Werror(
"The given ideal %s has to reduced!",
name);
85 WerrorS(
"Ground field not implemented!");
void WerrorS(const char *s)
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
char name(const Variable &v)
void Werror(const char *fmt,...)
TIMING_DEFINE_PRINT |
( |
mpr_overall |
| ) |
|
poly u_resultant_det |
( |
ideal |
gls, |
|
|
int |
imtype |
|
) |
| |
Definition at line 151 of file mpr_inout.cc.
182 WerrorS(
"Unsuitable input ideal: Minor of resultant matrix is singular!");
Base class for solving 0-dim poly systems using u-resultant.
mprState mprIdealCheck(const ideal theIdeal, const char *, uResultant::resMatType mtype, BOOLEAN rmatrix)
resMatrixBase * accessResMat()
void WerrorS(const char *s)
#define nPrint(a)
only for debug, over any initalized currRing
#define TIMING_EPR(t, msg)
void PrintS(const char *s)
uResultant::resMatType determineMType(int imtype)
#define pInit()
allocates a new monomial and initializes everything to 0
poly interpolateDense(const number subDetVal=NULL)
virtual number getSubDet()