![]() |
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_Ring (number a, const coeffs r) |
static BOOLEAN | ndIsUnit_Field (number a, const coeffs r) |
static number | ndGetUnit_Ring (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... | |
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 587 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 637 of file numbers.cc.
CanonicalForm n_convSingNFactoryN | ( | number | n, |
BOOLEAN | setChar, | ||
const coeffs | r | ||
) |
Definition at line 642 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 153 of file numbers.cc.
print a number (BEWARE of string buffers!) mostly for debugging
Definition at line 626 of file numbers.cc.
Definition at line 272 of file numbers.cc.
|
static |
Definition at line 55 of file numbers.cc.
|
static |
Definition at line 137 of file numbers.cc.
|
static |
TODO: move to a separate implementation
Definition at line 175 of file numbers.cc.
|
static |
Definition at line 249 of file numbers.cc.
|
static |
Definition at line 306 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 280 of file numbers.cc.
|
static |
Definition at line 258 of file numbers.cc.
Definition at line 259 of file numbers.cc.
Definition at line 129 of file numbers.cc.
|
static |
Definition at line 54 of file numbers.cc.
Definition at line 275 of file numbers.cc.
|
static |
Definition at line 276 of file numbers.cc.
Definition at line 277 of file numbers.cc.
Definition at line 132 of file numbers.cc.
Definition at line 169 of file numbers.cc.
Definition at line 171 of file numbers.cc.
Definition at line 172 of file numbers.cc.
Definition at line 125 of file numbers.cc.
Definition at line 300 of file numbers.cc.
Definition at line 76 of file numbers.cc.
Definition at line 70 of file numbers.cc.
Definition at line 170 of file numbers.cc.
Definition at line 113 of file numbers.cc.
Definition at line 123 of file numbers.cc.
Definition at line 121 of file numbers.cc.
|
static |
Definition at line 269 of file numbers.cc.
void ndNormalize | ( | number & | , |
const | coeffs | ||
) |
Definition at line 167 of file numbers.cc.
Definition at line 148 of file numbers.cc.
Definition at line 143 of file numbers.cc.
Definition at line 83 of file numbers.cc.
Definition at line 313 of file numbers.cc.
Definition at line 168 of file numbers.cc.
|
static |
Definition at line 270 of file numbers.cc.
Definition at line 173 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 646 of file numbers.cc.
char* nEatLong | ( | char * | s, |
mpz_ptr | i | ||
) |
extracts a long integer from s, returns the rest
Definition at line 667 of file numbers.cc.
coeffs nFindCoeffByName | ( | char * | cf_name | ) |
find an existing coeff by its "CoeffName"
Definition at line 604 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 358 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 554 of file numbers.cc.
void nRegisterCfByName | ( | cfInitCfByNameProc | p, |
n_coeffType | n | ||
) |
Definition at line 595 of file numbers.cc.
Definition at line 49 of file numbers.cc.
Definition at line 594 of file numbers.cc.
STATIC_VAR cfInitCharProc* nInitCharTable =nInitCharTableDefault |
Definition at line 354 of file numbers.cc.
VAR cfInitCharProc nInitCharTableDefault[] |
Definition at line 321 of file numbers.cc.
STATIC_VAR n_coeffType nLastCoeffs =n_CF |
Definition at line 320 of file numbers.cc.