Functions | Variables
nforder_elt.h File Reference

Go to the source code of this file.

Functions

number EltCreateMat (nforder *a, bigintmat *b)
 
BOOLEAN n_nfOrderInit (coeffs r, void *parameter)
 

Variables

n_coeffType nforder_type
 

Function Documentation

number EltCreateMat ( nforder a,
bigintmat b 
)

Definition at line 34 of file nforder_elt.cc.

35 {
36  number xx;
37  if (b->rows()==1) {
38  assume(b->cols()==a->getDim());
39  xx = (number) b->transpose();
40  } else {
41  assume(b->rows() == a->getDim());
42  assume(b->cols() == 1);
43  xx = (number) new bigintmat((bigintmat*)b);
44  }
45 // Print("Created new element %lx from %lx\n", xx, b);
46  return (number) xx;
47 }
bigintmat * transpose()
Definition: bigintmat.cc:38
Matrices of numbers.
Definition: bigintmat.h:51
#define assume(x)
Definition: mod2.h:405
int cols() const
Definition: bigintmat.h:147
int rows() const
Definition: bigintmat.h:148
int getDim()
Definition: nforder.cpp:235
const poly b
Definition: syzextra.cc:213
BOOLEAN n_nfOrderInit ( coeffs  r,
void *  parameter 
)

Definition at line 227 of file nforder_elt.cc.

228 {
230  r->nCoeffIsEqual=order_cmp;
231  r->cfKillChar = KillChar;
232  r->cfSetChar = SetChar;
233  r->cfCoeffString=CoeffString;
234  r->cfCoeffWrite=WriteRing;
235  r->cfWriteShort=EltWrite;
236  r->cfInit = EltInit;
237  r->cfMult = EltMult;
238  r->cfSub = EltSub;
239  r->cfAdd = EltAdd;
240  r->cfDiv = EltDiv;
241  r->cfExactDiv = EltExactDiv;
242  r->cfInitMPZ = EltInitMPZ;
243  r->cfSize = EltSize;
244  r->cfInt = EltInt;
245  r->cfMPZ = EltMPZ;
246  r->cfInpNeg = EltNeg;
247  r->cfInvers = EltInvers;
248  r->cfCopy = EltCopy;
249  r->data = parameter;
250 
251  r->cfWriteLong = EltWrite;
252  r->cfRead =EltRead;
253  r->cfGreater = EltGreater;
254  r->cfEqual = EltEqual;
255  r->cfIsZero = EltIsZero;
256  r->cfIsOne = EltIsOne;
257  r->cfIsMOne = EltIsMOne;
258  r->cfGreaterZero = EltGreaterZero;
259  r->cfDelete = EltDelete;
260  r->cfSetMap = EltSetMap;
261  if (parameter)
262  r->nNULL = EltInit(0, r);
263 #ifdef LDEBUG
264  r->cfDBTest = EltDBTest;
265 #endif
266  return FALSE;
267 }
static BOOLEAN EltGreater(number a, number b, const coeffs r)
Definition: nforder_elt.cc:188
static number EltInitMPZ(mpz_t i, const coeffs r)
init with a GMP integer
Definition: nforder_elt.cc:131
#define FALSE
Definition: auxiliary.h:140
static void KillChar(coeffs r)
Definition: nforder_elt.cc:55
static number EltCopy(number a, const coeffs r)
Definition: nforder_elt.cc:172
static void EltDelete(number *a, const coeffs r)
Definition: nforder_elt.cc:219
static char * CoeffString(const coeffs r)
Definition: nforder_elt.cc:18
static BOOLEAN EltEqual(number a, number b, const coeffs r)
Definition: nforder_elt.cc:183
n_coeffType nforder_type
Definition: singular.cc:16
static BOOLEAN EltIsZero(number a, const coeffs r)
Definition: nforder_elt.cc:208
static long EltInt(number &n, const coeffs r)
convertion to int, 0 if impossible
Definition: nforder_elt.cc:145
static BOOLEAN EltGreaterZero(number a, const coeffs r)
Definition: nforder_elt.cc:203
#define assume(x)
Definition: mod2.h:405
static number EltDiv(number a, number b, const coeffs r)
Definition: nforder_elt.cc:92
static number EltSub(number a, number b, const coeffs r)
Definition: nforder_elt.cc:78
static void EltWrite(number a, const coeffs r)
Definition: nforder_elt.cc:22
static BOOLEAN order_cmp(coeffs n, n_coeffType t, void *parameter)
Definition: nforder_elt.cc:50
static number EltAdd(number a, number b, const coeffs r)
Definition: nforder_elt.cc:85
static nMapFunc EltSetMap(const coeffs src, const coeffs dst)
Definition: nforder_elt.cc:213
static void SetChar(const coeffs r)
Definition: nforder_elt.cc:65
static BOOLEAN EltIsOne(number a, const coeffs r)
Definition: nforder_elt.cc:193
static FORCE_INLINE n_coeffType getCoeffType(const coeffs r)
Returns the type of coeffs domain.
Definition: coeffs.h:422
static number EltMult(number a, number b, const coeffs r)
Definition: nforder_elt.cc:71
static number EltInit(long i, const coeffs r)
init with an integer
Definition: nforder_elt.cc:113
static int EltSize(number n, const coeffs r)
how complicated, (0) => 0, or positive
Definition: nforder_elt.cc:138
static void EltMPZ(mpz_t result, number &n, const coeffs r)
Converts a non-negative number n into a GMP number, 0 if impossible.
Definition: nforder_elt.cc:152
static BOOLEAN EltIsMOne(number a, const coeffs r)
Definition: nforder_elt.cc:198
static number EltNeg(number a, const coeffs r)
changes argument inline: a:= -a return -a! (no copy is returned) the result should be assigned to the...
Definition: nforder_elt.cc:160
BOOLEAN EltDBTest(number, const char *, const int, const coeffs)
Definition: nforder_elt.cc:59
static number EltInvers(number a, const coeffs r)
return 1/a
Definition: nforder_elt.cc:166
static number EltExactDiv(number a, number b, const coeffs r)
Definition: nforder_elt.cc:107
static void WriteRing(const coeffs r, BOOLEAN details)
Definition: nforder_elt.cc:13
static const char * EltRead(const char *s, number *a, const coeffs r)
Definition: nforder_elt.cc:177

Variable Documentation

n_coeffType nforder_type

Definition at line 16 of file singular.cc.