53 #define TIMING_EPR(t,msg) TIMING_END_AND_PRINT(t,msg);TIMING_RESET(t); 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!");
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,
"" );
151 poly u_resultant_det( ideal gls,
int imtype )
182 WerrorS(
"Unsuitable input ideal: Minor of resultant matrix is singular!");
Base class for solving 0-dim poly systems using u-resultant.
Compatiblity layer for legacy polynomial operations (over currRing)
BOOLEAN p_IsHomogeneous(poly p, const ring r)
static BOOLEAN rField_is_R(const ring r)
resMatrixBase * accessResMat()
static BOOLEAN rField_is_Q_a(const ring r)
uResultant::resMatType determineMType(int imtype)
void WerrorS(const char *s)
#define nPrint(a)
only for debug, over any initalized currRing
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
#define TIMING_EPR(t, msg)
void PrintS(const char *s)
static BOOLEAN rField_is_Q(const ring r)
char name(const Variable &v)
mprState mprIdealCheck(const ideal theIdeal, const char *name, uResultant::resMatType mtype, BOOLEAN rmatrix=false)
static BOOLEAN rField_is_long_C(const ring r)
TIMING_DEFINE_PRINT(mpr_overall) TIMING_DEFINE_PRINT(mpr_check) TIMING_DEFINE_PRINT(mpr_constr) TIMING_DEFINE_PRINT(mpr_ures) TIMING_DEFINE_PRINT(mpr_mures) TIMING_DEFINE_PRINT(mpr_arrange) TIMING_DEFINE_PRINT(mpr_solver) void mprPrintError(mprState state
static BOOLEAN rField_is_long_R(const ring r)
#define pInit()
allocates a new monomial and initializes everything to 0
poly interpolateDense(const number subDetVal=NULL)
void Werror(const char *fmt,...)
virtual number getSubDet()