![]() |
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 | |
void | nNew (number *d) |
static void | ndDelete (number *d, const coeffs) |
static number | ndAnn (number, const coeffs) |
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 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 574 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 624 of file numbers.cc.
CanonicalForm n_convSingNFactoryN | ( | number | n, |
BOOLEAN | setChar, | ||
const coeffs | r | ||
) |
Definition at line 629 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 148 of file numbers.cc.
print a number (BEWARE of string buffers!) mostly for debugging
Definition at line 613 of file numbers.cc.
Definition at line 267 of file numbers.cc.
|
static |
Definition at line 55 of file numbers.cc.
|
static |
Definition at line 132 of file numbers.cc.
|
static |
TODO: move to a separate implementation
Definition at line 170 of file numbers.cc.
|
static |
Definition at line 244 of file numbers.cc.
|
static |
Definition at line 301 of file numbers.cc.
Definition at line 64 of file numbers.cc.
Definition at line 56 of file numbers.cc.
Definition at line 60 of file numbers.cc.
CanonicalForm ndConvSingNFactoryN | ( | number | , |
BOOLEAN | , | ||
const | coeffs | ||
) |
Definition at line 275 of file numbers.cc.
|
static |
Definition at line 253 of file numbers.cc.
Definition at line 254 of file numbers.cc.
Definition at line 124 of file numbers.cc.
|
static |
Definition at line 54 of file numbers.cc.
Definition at line 270 of file numbers.cc.
|
static |
Definition at line 271 of file numbers.cc.
Definition at line 272 of file numbers.cc.
Definition at line 127 of file numbers.cc.
Definition at line 164 of file numbers.cc.
Definition at line 166 of file numbers.cc.
Definition at line 167 of file numbers.cc.
Definition at line 295 of file numbers.cc.
Definition at line 76 of file numbers.cc.
Definition at line 70 of file numbers.cc.
Definition at line 165 of file numbers.cc.
Definition at line 113 of file numbers.cc.
Definition at line 121 of file numbers.cc.
|
static |
Definition at line 264 of file numbers.cc.
|
static |
Definition at line 162 of file numbers.cc.
Definition at line 143 of file numbers.cc.
Definition at line 138 of file numbers.cc.
Definition at line 83 of file numbers.cc.
Definition at line 308 of file numbers.cc.
Definition at line 163 of file numbers.cc.
|
static |
Definition at line 265 of file numbers.cc.
Definition at line 168 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 633 of file numbers.cc.
char* nEatLong | ( | char * | s, |
mpz_ptr | i | ||
) |
extracts a long integer from s, returns the rest
Definition at line 654 of file numbers.cc.
coeffs nFindCoeffByName | ( | char * | cf_name | ) |
find an existing coeff by its "CoeffName"
Definition at line 591 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 353 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 541 of file numbers.cc.
void nRegisterCfByName | ( | cfInitCfByNameProc | p, |
n_coeffType | n | ||
) |
Definition at line 582 of file numbers.cc.
Definition at line 49 of file numbers.cc.
Definition at line 581 of file numbers.cc.
STATIC_VAR cfInitCharProc* nInitCharTable =nInitCharTableDefault |
Definition at line 349 of file numbers.cc.
VAR cfInitCharProc nInitCharTableDefault[] |
Definition at line 316 of file numbers.cc.
STATIC_VAR n_coeffType nLastCoeffs =n_CF |
Definition at line 315 of file numbers.cc.