My Project  UNKNOWN_GIT_VERSION
Data Structures | Macros | Enumerations | Functions | Variables
mpr_base.h File Reference
#include "kernel/numeric/mpr_numeric.h"

Go to the source code of this file.

Data Structures

class  resMatrixBase
 Base class for sparse and dense u-Resultant computation. More...
 
class  uResultant
 Base class for solving 0-dim poly systems using u-resultant. More...
 

Macros

#define SNONE   -1
 
#define SFREE   -2
 

Enumerations

enum  mprState {
  mprOk, mprWrongRType, mprHasOne, mprInfNumOfVars,
  mprNotReduced, mprNotZeroDim, mprNotHomog, mprUnSupField
}
 

Functions

uResultant::resMatType determineMType (int imtype)
 
mprState mprIdealCheck (const ideal theIdeal, const char *name, uResultant::resMatType mtype, BOOLEAN rmatrix=false)
 
ideal loNewtonPolytope (const ideal id)
 

Variables

size_t gmp_output_digits
 

Macro Definition Documentation

◆ SFREE

#define SFREE   -2

Definition at line 15 of file mpr_base.h.

◆ SNONE

#define SNONE   -1

Definition at line 14 of file mpr_base.h.

Enumeration Type Documentation

◆ mprState

enum mprState
Enumerator
mprOk 
mprWrongRType 
mprHasOne 
mprInfNumOfVars 
mprNotReduced 
mprNotZeroDim 
mprNotHomog 
mprUnSupField 

Definition at line 96 of file mpr_base.h.

Function Documentation

◆ determineMType()

uResultant::resMatType determineMType ( int  imtype)

◆ loNewtonPolytope()

ideal loNewtonPolytope ( const ideal  id)

Definition at line 3192 of file mpr_base.cc.

3193 {
3194  simplex * LP;
3195  int i;
3196  int /*n,*/totverts,idelem;
3197  ideal idr;
3198 
3199  // n= (currRing->N);
3200  idelem= IDELEMS(id); // should be n+1
3201 
3202  totverts = 0;
3203  for( i=0; i < idelem; i++) totverts += pLength( (id->m)[i] );
3204 
3205  LP = new simplex( idelem+totverts*2+5, totverts+5 ); // rows, cols
3206 
3207  // evaluate convex hull for supports of id
3208  convexHull chnp( LP );
3209  idr = chnp.newtonPolytopesI( id );
3210 
3211  delete LP;
3212 
3213  return idr;
3214 }
Linear Programming / Linear Optimization using Simplex - Algorithm.
Definition: mpr_numeric.h:194
int i
Definition: cfEzgcd.cc:125
static unsigned pLength(poly a)
Definition: p_polys.h:193
#define IDELEMS(i)
Definition: simpleideals.h:24

◆ mprIdealCheck()

mprState mprIdealCheck ( const ideal  theIdeal,
const char *  name,
uResultant::resMatType  mtype,
BOOLEAN  rmatrix = false 
)

Variable Documentation

◆ gmp_output_digits

size_t gmp_output_digits

Definition at line 43 of file mpr_complex.cc.