![]() |
#include <stdio.h>
#include <math.h>
#include <misc/auxiliary.h>
#include <omalloc/omalloc.h>
#include <misc/mylimits.h>
#include <misc/intvec.h>
#include <coeffs/numbers.h>
#include <reporter/reporter.h>
#include "monomials/ring.h"
#include "monomials/p_polys.h"
#include "simpleideals.h"
#include "matpol.h"
#include "prCopy.h"
#include "sparsmat.h"
Go to the source code of this file.
Data Structures | |
class | row_col_weight |
class | mp_permmatrix |
Functions | |
static poly | mp_Exdiv (poly m, poly d, poly vars, const ring) |
static poly | mp_Select (poly fro, poly what, const ring) |
matrix | mpNew (int r, int c) |
create a r x c zero-matrix More... | |
matrix | mp_Copy (matrix a, const ring r) |
copies matrix a (from ring r to r) More... | |
matrix | mp_Copy (const matrix a, const ring rSrc, const ring rDst) |
copies matrix a from rSrc into rDst More... | |
matrix | mp_InitP (int r, int c, poly p, const ring R) |
make it a p * unit matrix More... | |
matrix | mp_InitI (int r, int c, int v, const ring R) |
make it a v * unit matrix More... | |
matrix | mp_MultI (matrix a, int f, const ring R) |
c = f*a More... | |
matrix | mp_MultP (matrix a, poly p, const ring R) |
multiply a matrix 'a' by a poly 'p', destroy the args More... | |
matrix | pMultMp (poly p, matrix a, const ring R) |
matrix | mp_Add (matrix a, matrix b, const ring R) |
matrix | mp_Sub (matrix a, matrix b, const ring R) |
matrix | mp_Mult (matrix a, matrix b, const ring R) |
matrix | mp_Transp (matrix a, const ring R) |
poly | mp_Trace (matrix a, const ring R) |
poly | TraceOfProd (matrix a, matrix b, int n, 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 More... | |
void | mp_Monomials (matrix c, int r, int var, matrix m, const ring R) |
matrix | mp_CoeffProc (poly f, poly vars, const ring R) |
void | mp_Coef2 (poly v, poly mon, matrix *c, matrix *m, const ring R) |
corresponds to Macauley's coef: the exponent vector of vars has to contain the variables, eg 'xy'; then the poly f is searched for monomials in x and y, these monimials are written to the first row of the matrix co. the second row of co contains the respective factors in f. Thus f = sum co[1,i]*co[2,i], i = 1..cols, rows equals 2. More... | |
int | mp_Compare (matrix a, matrix b, const ring R) |
BOOLEAN | mp_Equal (matrix a, matrix b, const ring R) |
static poly | p_Insert (poly p1, poly p2, const ring R) |
static void | mp_PartClean (matrix a, int lr, int lc, const ring R) |
BOOLEAN | mp_IsDiagUnit (matrix U, const ring R) |
void | iiWriteMatrix (matrix im, const char *n, int dim, const ring r, int spaces) |
set spaces to zero by default More... | |
char * | iiStringMatrix (matrix im, int dim, const ring r, char ch) |
void | mp_Delete (matrix *a, const ring r) |
static float | mp_PolyWeight (poly p, const ring r) |
static void | mpReplace (int j, int n, int &sign, int *perm) |
static int | mp_PivBar (matrix a, int lr, int lc, const ring r) |
static void | mpSwapRow (matrix a, int pos, int lr, int lc) |
static int | mp_PrepareRow (matrix a, int lr, int lc, const ring R) |
static int | mp_PivRow (matrix a, int lr, int lc, const ring r) |
static void | mpSwapCol (matrix a, int pos, int lr, int lc) |
static int | mp_PreparePiv (matrix a, int lr, int lc, const ring r) |
static void | mp_ElimBar (matrix a0, matrix re, poly div, int lr, int lc, const ring R) |
void | mp_MinorToResult (ideal result, int &elems, matrix a, int r, int c, ideal R, const ring) |
entries of a are minors and go to result (only if not in R) More... | |
static void | mpFinalClean (matrix a) |
void | mp_RecMin (int ar, ideal result, int &elems, matrix a, int lr, int lc, poly barDiv, ideal R, const ring r) |
produces recursively the ideal of all arxar-minors of a More... | |
poly | mp_DetBareiss (matrix a, const ring r) |
returns the determinant of the matrix m; uses Bareiss algorithm More... | |
matrix | mp_Wedge (matrix a, int ar, const ring R) |
static void | p_DecomposeComp (poly p, poly *a, int l, const ring r) |
static ideal | mp_MultAndShift (poly f, ideal B, int s, const ring r) |
static void | mp_AddSubMat (ideal res, ideal sm, int col, const ring r) |
ideal | mp_Tensor (ideal A, ideal B, const ring r) |
Definition at line 764 of file matpol.cc.
Definition at line 186 of file matpol.cc.
|
static |
corresponds to Macauley's coef: the exponent vector of vars has to contain the variables, eg 'xy'; then the poly f is searched for monomials in x and y, these monimials are written to the first row of the matrix co. the second row of co contains the respective factors in f. Thus f = sum co[1,i]*co[2,i], i = 1..cols, rows equals 2.
Definition at line 512 of file matpol.cc.
Definition at line 410 of file matpol.cc.
corresponds to Maple's coeffs: var has to be the number of a variable
Definition at line 323 of file matpol.cc.
copies matrix a from rSrc into rDst
Definition at line 92 of file matpol.cc.
Definition at line 789 of file matpol.cc.
returns the determinant of the matrix m; uses Bareiss algorithm
Definition at line 1585 of file matpol.cc.
Definition at line 1358 of file matpol.cc.
Definition at line 492 of file matpol.cc.
make it a v * unit matrix
Definition at line 136 of file matpol.cc.
Definition at line 373 of file matpol.cc.
Definition at line 220 of file matpol.cc.
Definition at line 1729 of file matpol.cc.
c = f*a
Definition at line 142 of file matpol.cc.
Definition at line 1211 of file matpol.cc.
void mp_RecMin | ( | int | ar, |
ideal | result, | ||
int & | elems, | ||
matrix | a, | ||
int | lr, | ||
int | lc, | ||
poly | barDiv, | ||
ideal | R, | ||
const ring | r | ||
) |
produces recursively the ideal of all arxar-minors of a
for minors with Bareiss
Definition at line 1512 of file matpol.cc.
Definition at line 679 of file matpol.cc.
Definition at line 203 of file matpol.cc.
ideal mp_Tensor | ( | ideal | A, |
ideal | B, | ||
const ring | r | ||
) |
Definition at line 1757 of file matpol.cc.
Definition at line 264 of file matpol.cc.
Definition at line 1660 of file matpol.cc.
matrix mpNew | ( | int | r, |
int | c | ||
) |
|
static |
|
static |
|
static |