![]() |
My Project
debian-1:4.1.2-p1+ds-2
|
#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/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 | |
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 571 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 621 of file numbers.cc.
CanonicalForm n_convSingNFactoryN | ( | number | n, |
BOOLEAN | setChar, | ||
const coeffs | r | ||
) |
Definition at line 626 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 145 of file numbers.cc.
print a number (BEWARE of string buffers!) mostly for debugging
Definition at line 610 of file numbers.cc.
Definition at line 264 of file numbers.cc.
|
static |
Definition at line 54 of file numbers.cc.
|
static |
Definition at line 128 of file numbers.cc.
|
static |
TODO: move to a separate implementation
Definition at line 167 of file numbers.cc.
|
static |
Definition at line 241 of file numbers.cc.
|
static |
Definition at line 298 of file numbers.cc.
Definition at line 60 of file numbers.cc.
Definition at line 55 of file numbers.cc.
CanonicalForm ndConvSingNFactoryN | ( | number | , |
BOOLEAN | , | ||
const | coeffs | ||
) |
Definition at line 272 of file numbers.cc.
|
static |
Definition at line 250 of file numbers.cc.
Definition at line 251 of file numbers.cc.
Definition at line 120 of file numbers.cc.
|
static |
Definition at line 53 of file numbers.cc.
Definition at line 267 of file numbers.cc.
|
static |
Definition at line 268 of file numbers.cc.
Definition at line 269 of file numbers.cc.
Definition at line 123 of file numbers.cc.
Definition at line 161 of file numbers.cc.
Definition at line 163 of file numbers.cc.
Definition at line 164 of file numbers.cc.
Definition at line 292 of file numbers.cc.
Definition at line 72 of file numbers.cc.
Definition at line 66 of file numbers.cc.
Definition at line 162 of file numbers.cc.
Definition at line 109 of file numbers.cc.
Definition at line 117 of file numbers.cc.
|
static |
Definition at line 261 of file numbers.cc.
|
static |
Definition at line 159 of file numbers.cc.
Definition at line 139 of file numbers.cc.
Definition at line 134 of file numbers.cc.
Definition at line 79 of file numbers.cc.
Definition at line 305 of file numbers.cc.
Definition at line 160 of file numbers.cc.
|
static |
Definition at line 262 of file numbers.cc.
Definition at line 165 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 630 of file numbers.cc.
char* nEatLong | ( | char * | s, |
mpz_ptr | i | ||
) |
extracts a long integer from s, returns the rest
Definition at line 651 of file numbers.cc.
coeffs nFindCoeffByName | ( | char * | cf_name | ) |
find an existing coeff by its "CoeffName"
Definition at line 588 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 349 of file numbers.cc.
void nKillChar | ( | coeffs | r | ) |
void nNew | ( | number * | d | ) |
Definition at line 50 of file numbers.cc.
n_coeffType nRegister | ( | n_coeffType | n, |
cfInitCharProc | p | ||
) |
Definition at line 538 of file numbers.cc.
void nRegisterCfByName | ( | cfInitCfByNameProc | p, |
n_coeffType | n | ||
) |
Definition at line 579 of file numbers.cc.
Definition at line 48 of file numbers.cc.
Definition at line 578 of file numbers.cc.
STATIC_VAR cfInitCharProc* nInitCharTable =nInitCharTableDefault |
Definition at line 345 of file numbers.cc.
VAR cfInitCharProc nInitCharTableDefault[] |
Definition at line 313 of file numbers.cc.
STATIC_VAR n_coeffType nLastCoeffs =n_CF |
Definition at line 312 of file numbers.cc.