![]() |
My Project
UNKNOWN_GIT_VERSION
|
#include <string.h>
#include <stdlib.h>
#include "misc/auxiliary.h"
#include "misc/mylimits.h"
#include "omalloc/omalloc.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/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 | |
void | nNew (number *d) |
static void | ndDelete (number *d, const coeffs) |
static number | ndAnn (number, const coeffs) |
static char * | ndCoeffString (const coeffs r) |
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 BOOLEAN | ndIsUnit (number a, const coeffs r) |
static BOOLEAN | ndDBTest (number, const char *, const int, const coeffs) |
static number | ndFarey (number, number, const coeffs r) |
static number | ndChineseRemainder (number *, number *, int, BOOLEAN, CFArray &, 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... | |
static void | ndNormalize (number &, const coeffs) |
static number | ndReturn0 (number, const coeffs r) |
number | ndGcd (number, number, const coeffs r) |
static number | ndIntMod (number, number, 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) |
static number | ndCopy (number a, const coeffs) |
number | ndCopyMap (number a, const coeffs aRing, const coeffs r) |
static void | ndKillChar (coeffs) |
static void | ndSetChar (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 BOOLEAN | ndCoeffIsEqual (const coeffs r, n_coeffType n, void *) |
static 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... | |
number | n_convFactoryNSingN (const CanonicalForm n, const coeffs r) |
CanonicalForm | n_convSingNFactoryN (number n, BOOLEAN setChar, const coeffs r) |
char * | nEati (char *s, int *i, int m) |
divide by the first (leading) number and return it, i.e. make monic More... | |
char * | nEatLong (char *s, mpz_ptr i) |
extracts a long integer from s, returns the rest More... | |
Variables | |
n_Procs_s * | cf_root =NULL |
static n_coeffType | nLastCoeffs =n_CF |
cfInitCharProc | nInitCharTableDefault [] |
static cfInitCharProc * | nInitCharTable =nInitCharTableDefault |
nFindCoeffByName_p | nFindCoeffByName_Root =NULL |
struct nFindCoeffByName_s |
Definition at line 572 of file numbers.cc.
Data Fields | ||
---|---|---|
n_coeffType | n | |
nFindCoeffByName_p | next | |
cfInitCfByNameProc | p |
number n_convFactoryNSingN | ( | const CanonicalForm | n, |
const coeffs | r | ||
) |
Definition at line 622 of file numbers.cc.
CanonicalForm n_convSingNFactoryN | ( | number | n, |
BOOLEAN | setChar, | ||
const coeffs | r | ||
) |
Definition at line 627 of file numbers.cc.
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 146 of file numbers.cc.
print a number (BEWARE of string buffers!) mostly for debugging
Definition at line 611 of file numbers.cc.
Definition at line 265 of file numbers.cc.
|
static |
Definition at line 55 of file numbers.cc.
|
static |
Definition at line 129 of file numbers.cc.
|
static |
TODO: move to a separate implementation
Definition at line 168 of file numbers.cc.
|
static |
Definition at line 242 of file numbers.cc.
|
static |
Definition at line 299 of file numbers.cc.
Definition at line 61 of file numbers.cc.
Definition at line 56 of file numbers.cc.
CanonicalForm ndConvSingNFactoryN | ( | number | , |
BOOLEAN | , | ||
const | coeffs | ||
) |
Definition at line 273 of file numbers.cc.
|
static |
Definition at line 251 of file numbers.cc.
Definition at line 252 of file numbers.cc.
Definition at line 121 of file numbers.cc.
|
static |
Definition at line 54 of file numbers.cc.
Definition at line 268 of file numbers.cc.
|
static |
Definition at line 269 of file numbers.cc.
Definition at line 270 of file numbers.cc.
Definition at line 124 of file numbers.cc.
Definition at line 162 of file numbers.cc.
Definition at line 164 of file numbers.cc.
Definition at line 165 of file numbers.cc.
Definition at line 293 of file numbers.cc.
Definition at line 73 of file numbers.cc.
Definition at line 67 of file numbers.cc.
Definition at line 163 of file numbers.cc.
Definition at line 110 of file numbers.cc.
Definition at line 118 of file numbers.cc.
|
static |
Definition at line 262 of file numbers.cc.
|
static |
Definition at line 160 of file numbers.cc.
Definition at line 140 of file numbers.cc.
Definition at line 135 of file numbers.cc.
Definition at line 80 of file numbers.cc.
Definition at line 306 of file numbers.cc.
Definition at line 161 of file numbers.cc.
|
static |
Definition at line 263 of file numbers.cc.
Definition at line 166 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 631 of file numbers.cc.
char* nEatLong | ( | char * | s, |
mpz_ptr | i | ||
) |
extracts a long integer from s, returns the rest
Definition at line 652 of file numbers.cc.
coeffs nFindCoeffByName | ( | char * | cf_name | ) |
find an existing coeff by its "CoeffName"
Definition at line 589 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 350 of file numbers.cc.
void nKillChar | ( | coeffs | r | ) |
void nNew | ( | number * | d | ) |
Definition at line 51 of file numbers.cc.
n_coeffType nRegister | ( | n_coeffType | n, |
cfInitCharProc | p | ||
) |
Definition at line 539 of file numbers.cc.
void nRegisterCfByName | ( | cfInitCfByNameProc | p, |
n_coeffType | n | ||
) |
Definition at line 580 of file numbers.cc.
Definition at line 49 of file numbers.cc.
nFindCoeffByName_p nFindCoeffByName_Root =NULL |
Definition at line 579 of file numbers.cc.
|
static |
Definition at line 346 of file numbers.cc.
cfInitCharProc nInitCharTableDefault[] |
Definition at line 314 of file numbers.cc.
|
static |
Definition at line 313 of file numbers.cc.