26 #define MATROWS(i) ((i)->nrows)
27 #define MATCOLS(i) ((i)->ncols)
29 #define MATELEM(mat,i,j) ((mat)->m)[(long)MATCOLS((mat)) * (long)((i)-1) + (long)(j)-1]
31 #define MATELEM0(mat,i,j) ((mat)->m)[(long)MATCOLS((mat)) * (long)(i) + (long)(j)]
46#define mp_New(r,c,R) mpNew(r,c)
95void mp_RecMin(
int, ideal,
int &,
matrix,
int,
int, poly, ideal,
const ring);
110ideal
sm_Add(ideal a, ideal
b,
const ring
R);
111ideal
sm_Sub(ideal a, ideal
b,
const ring
R);
112ideal
sm_Mult(ideal a, ideal
b,
const ring
R);
123#define SMATELEM(A,i,j,R) p_Vec2Poly(A->m[j],i+1,R)
const CanonicalForm int s
const Variable & v
< [in] a sqrfree bivariate poly
EXTERN_VAR omBin ip_smatrix_bin
matrix pMultMp(poly p, matrix a, const ring r)
ideal sm_Tensor(ideal A, ideal B, const ring r)
ideal sm_UnFlatten(ideal a, int col, const ring R)
int sm_Compare(ideal a, ideal b, const ring R)
ideal sm_Add(ideal a, ideal b, const ring R)
poly sm_Trace(ideal a, const ring R)
matrix mp_MultP(matrix a, poly p, const ring r)
multiply a matrix 'a' by a poly 'p', destroy the args
matrix mp_Copy(const matrix a, const ring rSrc, const ring rDst)
copies matrix a from rSrc into rDst
BOOLEAN mp_IsDiagUnit(matrix U, const ring r)
matrix mp_MultI(matrix a, long f, const ring r)
c = f*a
void mp_Delete(matrix *a, const ring r)
matrix mp_CoeffProc(poly f, poly vars, const ring r)
void mp_Monomials(matrix c, int r, int var, matrix m, const ring R)
matrix mp_Coeffs(ideal I, int var, const ring r)
corresponds to Maple's coeffs: var has to be the number of a variable
DetVariant mp_GetAlgorithmDet(matrix m, const ring r)
matrix mp_Add(matrix a, matrix b, const ring r)
int mp_Compare(matrix a, matrix b, const ring r)
void mp_RecMin(int, ideal, int &, matrix, int, int, poly, ideal, const ring)
for minors with Bareiss
matrix mp_InitI(int r, int c, int v, const ring R)
make it a v * unit matrix
matrix mp_CoeffProcId(ideal I, poly vars, const ring R)
matrix mp_Transp(matrix a, const ring r)
ideal sm_Sub(ideal a, ideal b, const ring R)
ideal sm_Mult(ideal a, ideal b, const ring R)
poly mp_Trace(matrix a, const ring r)
poly mp_Det(matrix a, const ring r, DetVariant d=DetDefault)
poly sm_Det(ideal I, const ring, DetVariant d=DetDefault)
matrix mp_Mult(matrix a, matrix b, const ring r)
matrix mp_Sub(matrix a, matrix b, const ring r)
matrix mpNew(int r, int c)
create a r x c zero-matrix
void mp_MinorToResult(ideal, int &, matrix, int, int, ideal, const ring)
entries of a are minors and go to result (only if not in R)
BOOLEAN sm_Equal(ideal a, ideal b, const ring R)
BOOLEAN mp_Equal(matrix a, matrix b, const ring r)
void mp_Coef2(poly v, poly vars, matrix *c, matrix *m, const ring r)
corresponds to Macauley's coef: the exponent vector of vars has to contain the variables,...
char * iiStringMatrix(matrix im, int dim, const ring r, char ch=',')
matrix mp_InitP(int r, int c, poly p, const ring R)
make it a p * unit matrix
poly TraceOfProd(matrix a, matrix b, int n, const ring r)
void iiWriteMatrix(matrix im, const char *n, int dim, const ring r, int spaces)
set spaces to zero by default
poly mp_DetMu(matrix A, const ring R)
ideal sm_Flatten(ideal a, const ring R)
matrix mp_Wedge(matrix a, int ar, const ring r)
poly mp_DetBareiss(matrix a, const ring r)
returns the determinant of the matrix m; uses Bareiss algorithm