My Project
|
#include <string.h>
#include <stdlib.h>
#include "misc/auxiliary.h"
#include "misc/mylimits.h"
#include "factory/factory.h"
#include "reporter/reporter.h"
#include "coeffs/coeffs.h"
#include "coeffs/numbers.h"
#include "coeffs/longrat.h"
#include "coeffs/modulop.h"
#include "coeffs/gnumpfl.h"
#include "coeffs/gnumpc.h"
#include "coeffs/ffields.h"
#include "coeffs/shortfl.h"
#include "coeffs/ntupel.h"
#include "coeffs/flintcf_Qrat.h"
#include "coeffs/rmodulo2m.h"
#include "coeffs/rmodulon.h"
#include "coeffs/rintegers.h"
#include "polys/ext_fields/algext.h"
#include "polys/ext_fields/transext.h"
Go to the source code of this file.
Data Structures | |
struct | nFindCoeffByName_p |
Functions | |
static void | ndDelete (number *d, const coeffs) |
static number | ndAnn (number, const coeffs cf) |
static char * | ndCoeffString (const coeffs r) |
static void | ndCoeffWrite (const coeffs r, BOOLEAN) |
static char * | ndCoeffName (const coeffs r) |
static void | ndInpMult (number &a, number b, const coeffs r) |
static void | ndInpAdd (number &a, number b, const coeffs r) |
static void | ndPower (number a, int i, number *res, const coeffs r) |
static number | ndInvers (number a, const coeffs r) |
static number | ndInvers_Ring (number a, const coeffs r) |
static BOOLEAN | ndIsUnit_Ring (number a, const coeffs r) |
static BOOLEAN | ndIsUnit_Field (number a, const coeffs r) |
static number | ndGetUnit_Ring (number, const coeffs r) |
static number | ndRandom (siRandProc p, number, number, const coeffs cf) |
static number | ndEucNorm (number a, const coeffs cf) |
static BOOLEAN | ndDBTest (number, const char *, const int, const coeffs) |
static number | ndFarey (number, number, const coeffs r) |
static number | ndXExtGcd (number, number, number *, number *, number *, number *, const coeffs r) |
static number | ndChineseRemainder (number *, number *, int, BOOLEAN, CFArray &, const coeffs r) |
number | ndReadFd (const ssiInfo *, const coeffs r) |
static void | ndWriteFd (number, const ssiInfo *, const coeffs r) |
static int | ndParDeg (number n, const coeffs r) |
static number | ndParameter (const int, const coeffs r) |
BOOLEAN | n_IsZeroDivisor (number a, const coeffs r) |
Test whether a is a zero divisor in r i.e. not coprime with char. of r very inefficient implementation: should ONLY be used for debug stuff /tests. More... | |
void | ndNormalize (number &, const coeffs) |
static number | ndReturn0 (number, const coeffs r) |
number | ndGcd (number, number, const coeffs r) |
static number | ndIntMod (number a, number b, const coeffs R) |
static number | ndGetDenom (number &, const coeffs r) |
static number | ndGetNumerator (number &a, const coeffs r) |
static int | ndSize (number a, const coeffs r) |
static void | ndClearContent (ICoeffsEnumerator &numberCollectionEnumerator, number &c, const coeffs r) |
static void | ndClearDenominators (ICoeffsEnumerator &, number &d, const coeffs r) |
number | ndCopyMap (number a, const coeffs aRing, const coeffs r) |
static void | ndKillChar (coeffs) |
static void | ndSetChar (const coeffs) |
static number | ndCopy (number a, const coeffs) |
number | nd_Copy (number a, const coeffs r) |
static BOOLEAN | ndDivBy (number, number, const coeffs) |
static int | ndDivComp (number, number, const coeffs) |
static number | ndExtGcd (number, number, number *, number *, const coeffs r) |
CanonicalForm | ndConvSingNFactoryN (number, BOOLEAN, const coeffs) |
static number | ndConvFactoryNSingN (const CanonicalForm, const coeffs) |
[in, out] a bigint number >= 0 More... | |
static void | ndMPZ (mpz_t result, number &n, const coeffs r) |
Converts a non-negative bigint number into a GMP number. More... | |
static number | ndInitMPZ (mpz_t m, const coeffs r) |
static const char * | ndRead (const char *s, number *, const coeffs r) |
static nMapFunc | ndSetMap (const coeffs src, const coeffs dst) |
static BOOLEAN | ndCoeffIsEqual (const coeffs r, n_coeffType n, void *) |
number | ndQuotRem (number a, number b, number *r, const coeffs R) |
coeffs | nInitChar (n_coeffType t, void *parameter) |
one-time initialisations for new coeffs in case of an error return NULL More... | |
void | nKillChar (coeffs r) |
undo all initialisations More... | |
n_coeffType | nRegister (n_coeffType n, cfInitCharProc p) |
void | nRegisterCfByName (cfInitCfByNameProc p, n_coeffType n) |
coeffs | nFindCoeffByName (char *cf_name) |
find an existing coeff by its "CoeffName" More... | |
void | n_Print (number &a, const coeffs r) |
print a number (BEWARE of string buffers!) mostly for debugging More... | |
char * | nEati (char *s, int *i, int m) |
divide by the first (leading) number and return it, i.e. make monic More... | |
char * | nEati (char *s, long *i, int m) |
char * | nEatLong (char *s, mpz_ptr i) |
extracts a long integer from s, returns the rest More... | |
Variables | |
VAR n_Procs_s * | cf_root =NULL |
STATIC_VAR n_coeffType | nLastCoeffs =n_CF |
VAR cfInitCharProc | nInitCharTableDefault [] |
STATIC_VAR cfInitCharProc * | nInitCharTable =nInitCharTableDefault |
VAR nFindCoeffByName_p | nFindCoeffByName_Root =NULL |
struct nFindCoeffByName_s |
Definition at line 628 of file numbers.cc.
Data Fields | ||
---|---|---|
n_coeffType | n | |
nFindCoeffByName_p | next | |
cfInitCfByNameProc | p |
Test whether a is a zero divisor in r i.e. not coprime with char. of r very inefficient implementation: should ONLY be used for debug stuff /tests.
Definition at line 173 of file numbers.cc.
print a number (BEWARE of string buffers!) mostly for debugging
Definition at line 667 of file numbers.cc.
Definition at line 305 of file numbers.cc.
Definition at line 48 of file numbers.cc.
|
static |
Definition at line 147 of file numbers.cc.
|
static |
TODO: move to a separate implementation
Definition at line 208 of file numbers.cc.
|
static |
Definition at line 282 of file numbers.cc.
|
static |
Definition at line 350 of file numbers.cc.
Definition at line 57 of file numbers.cc.
Definition at line 49 of file numbers.cc.
Definition at line 53 of file numbers.cc.
CanonicalForm ndConvSingNFactoryN | ( | number | , |
BOOLEAN | , | ||
const | coeffs | ||
) |
Definition at line 313 of file numbers.cc.
|
static |
Definition at line 304 of file numbers.cc.
Definition at line 291 of file numbers.cc.
Definition at line 134 of file numbers.cc.
|
static |
Definition at line 47 of file numbers.cc.
Definition at line 308 of file numbers.cc.
|
static |
Definition at line 309 of file numbers.cc.
Definition at line 310 of file numbers.cc.
Definition at line 137 of file numbers.cc.
Definition at line 189 of file numbers.cc.
Definition at line 204 of file numbers.cc.
Definition at line 205 of file numbers.cc.
Definition at line 126 of file numbers.cc.
Definition at line 333 of file numbers.cc.
Definition at line 69 of file numbers.cc.
Definition at line 63 of file numbers.cc.
Definition at line 190 of file numbers.cc.
Definition at line 106 of file numbers.cc.
Definition at line 113 of file numbers.cc.
Definition at line 124 of file numbers.cc.
Definition at line 122 of file numbers.cc.
|
static |
Definition at line 301 of file numbers.cc.
Converts a non-negative bigint number into a GMP number.
Definition at line 328 of file numbers.cc.
void ndNormalize | ( | number & | , |
const | coeffs | ||
) |
Definition at line 187 of file numbers.cc.
Definition at line 168 of file numbers.cc.
Definition at line 163 of file numbers.cc.
Definition at line 357 of file numbers.cc.
|
static |
Definition at line 128 of file numbers.cc.
Definition at line 338 of file numbers.cc.
Definition at line 152 of file numbers.cc.
Definition at line 188 of file numbers.cc.
|
static |
Definition at line 302 of file numbers.cc.
Definition at line 343 of file numbers.cc.
Definition at line 206 of file numbers.cc.
Definition at line 158 of file numbers.cc.
|
static |
Definition at line 142 of file numbers.cc.
char * nEati | ( | char * | s, |
int * | i, | ||
int | m | ||
) |
divide by the first (leading) number and return it, i.e. make monic
does nothing (just returns a dummy one number) helper routine: read an int from a string (mod m), return a pointer to the rest
Definition at line 677 of file numbers.cc.
char * nEati | ( | char * | s, |
long * | i, | ||
int | m | ||
) |
Definition at line 697 of file numbers.cc.
char * nEatLong | ( | char * | s, |
mpz_ptr | i | ||
) |
extracts a long integer from s, returns the rest
Definition at line 718 of file numbers.cc.
coeffs nFindCoeffByName | ( | char * | cf_name | ) |
find an existing coeff by its "CoeffName"
Definition at line 645 of file numbers.cc.
coeffs nInitChar | ( | n_coeffType | t, |
void * | parameter | ||
) |
one-time initialisations for new coeffs in case of an error return NULL
Definition at line 413 of file numbers.cc.
void nKillChar | ( | coeffs | r | ) |
undo all initialisations
Definition at line 568 of file numbers.cc.
n_coeffType nRegister | ( | n_coeffType | n, |
cfInitCharProc | p | ||
) |
Definition at line 595 of file numbers.cc.
void nRegisterCfByName | ( | cfInitCfByNameProc | p, |
n_coeffType | n | ||
) |
Definition at line 636 of file numbers.cc.
Definition at line 45 of file numbers.cc.
Definition at line 635 of file numbers.cc.
STATIC_VAR cfInitCharProc* nInitCharTable =nInitCharTableDefault |
Definition at line 409 of file numbers.cc.
VAR cfInitCharProc nInitCharTableDefault[] |
Definition at line 376 of file numbers.cc.
STATIC_VAR n_coeffType nLastCoeffs =n_CF |
Definition at line 375 of file numbers.cc.