All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
Macros | Typedefs | Functions | Variables
numbers.h File Reference
#include <coeffs/coeffs.h>

Go to the source code of this file.

Macros

#define nCopy(n)   n_Copy(n, currRing->cf)
 
#define nDelete(n)   n_Delete(n, currRing->cf)
 
#define nMult(n1, n2)   n_Mult(n1, n2, currRing->cf)
 
#define nAdd(n1, n2)   n_Add(n1, n2, currRing->cf)
 
#define nIsZero(n)   n_IsZero(n, currRing->cf)
 
#define nEqual(n1, n2)   n_Equal(n1, n2, currRing->cf)
 
#define nInpNeg(n)   n_InpNeg(n, currRing->cf)
 
#define nSub(n1, n2)   n_Sub(n1, n2, currRing->cf)
 
#define nGetChar()   n_GetChar(currRing->cf)
 
#define nInit(i)   n_Init(i, currRing->cf)
 
#define nIsOne(n)   n_IsOne(n, currRing->cf)
 
#define nIsMOne(n)   n_IsMOne(n, currRing->cf)
 
#define nGreaterZero(n)   n_GreaterZero(n, currRing->cf)
 
#define nGreater(a, b)   n_Greater (a,b,currRing->cf)
 
#define nWrite(n)   n_Write(n, currRing->cf, rShortOut(currRing))
 
#define nNormalize(n)   n_Normalize(n,currRing->cf)
 
#define nGcd(a, b)   n_Gcd(a,b,currRing->cf)
 
#define nDiv(a, b)   n_Div(a,b,currRing->cf)
 
#define nInvers(a)   n_Invers(a,currRing->cf)
 
#define nExactDiv(a, b)   n_ExactDiv(a,b,currRing->cf)
 
#define nTest(a)   n_Test(a,currRing->cf)
 
#define nInpMult(a, b)   n_InpMult(a,b,currRing->cf)
 
#define nPower(a, b, res)   n_Power(a,b,res,currRing->cf)
 
#define nSize(n)   n_Size(n,currRing->cf)
 
#define nGetDenom(N)   n_GetDenom((N),currRing->cf)
 
#define nGetNumerator(N)   n_GetNumerator((N),currRing->cf)
 
#define nSetMap(R)   n_SetMap(R,currRing->cf)
 
#define nPrint(a)   n_Print(a,currRing->cf)
 only for debug, over any initalized currRing More...
 
#define SHORT_REAL_LENGTH   6
 

Typedefs

typedef BOOLEAN(* cfInitCharProc )(coeffs, void *)
 initialize an object of type coeff, return FALSE in case of success More...
 

Functions

number ndCopyMap (number a, const coeffs src, const coeffs dst)
 
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...
 
n_coeffType nRegister (n_coeffType n, cfInitCharProc p)
 
coeffs nFindCoeffByName (const char *n)
 find an existing coeff by its "CoeffName" More...
 

Variables

const char *const nDivBy0 = "div by 0"
 

Macro Definition Documentation

#define nAdd (   n1,
  n2 
)    n_Add(n1, n2, currRing->cf)

Definition at line 18 of file numbers.h.

#define nCopy (   n)    n_Copy(n, currRing->cf)

Definition at line 15 of file numbers.h.

#define nDelete (   n)    n_Delete(n, currRing->cf)

Definition at line 16 of file numbers.h.

#define nDiv (   a,
  b 
)    n_Div(a,b,currRing->cf)

Definition at line 32 of file numbers.h.

#define nEqual (   n1,
  n2 
)    n_Equal(n1, n2, currRing->cf)

Definition at line 20 of file numbers.h.

#define nExactDiv (   a,
  b 
)    n_ExactDiv(a,b,currRing->cf)

Definition at line 34 of file numbers.h.

#define nGcd (   a,
  b 
)    n_Gcd(a,b,currRing->cf)

Definition at line 31 of file numbers.h.

#define nGetChar ( )    n_GetChar(currRing->cf)

Definition at line 23 of file numbers.h.

#define nGetDenom (   N)    n_GetDenom((N),currRing->cf)

Definition at line 40 of file numbers.h.

#define nGetNumerator (   N)    n_GetNumerator((N),currRing->cf)

Definition at line 41 of file numbers.h.

#define nGreater (   a,
  b 
)    n_Greater (a,b,currRing->cf)

Definition at line 28 of file numbers.h.

#define nGreaterZero (   n)    n_GreaterZero(n, currRing->cf)

Definition at line 27 of file numbers.h.

#define nInit (   i)    n_Init(i, currRing->cf)

Definition at line 24 of file numbers.h.

#define nInpMult (   a,
  b 
)    n_InpMult(a,b,currRing->cf)

Definition at line 37 of file numbers.h.

#define nInpNeg (   n)    n_InpNeg(n, currRing->cf)

Definition at line 21 of file numbers.h.

#define nInvers (   a)    n_Invers(a,currRing->cf)

Definition at line 33 of file numbers.h.

#define nIsMOne (   n)    n_IsMOne(n, currRing->cf)

Definition at line 26 of file numbers.h.

#define nIsOne (   n)    n_IsOne(n, currRing->cf)

Definition at line 25 of file numbers.h.

#define nIsZero (   n)    n_IsZero(n, currRing->cf)

Definition at line 19 of file numbers.h.

#define nMult (   n1,
  n2 
)    n_Mult(n1, n2, currRing->cf)

Definition at line 17 of file numbers.h.

#define nNormalize (   n)    n_Normalize(n,currRing->cf)

Definition at line 30 of file numbers.h.

#define nPower (   a,
  b,
  res 
)    n_Power(a,b,res,currRing->cf)

Definition at line 38 of file numbers.h.

#define nPrint (   a)    n_Print(a,currRing->cf)

only for debug, over any initalized currRing

Definition at line 46 of file numbers.h.

#define nSetMap (   R)    n_SetMap(R,currRing->cf)

Definition at line 43 of file numbers.h.

#define nSize (   n)    n_Size(n,currRing->cf)

Definition at line 39 of file numbers.h.

#define nSub (   n1,
  n2 
)    n_Sub(n1, n2, currRing->cf)

Definition at line 22 of file numbers.h.

#define nTest (   a)    n_Test(a,currRing->cf)

Definition at line 35 of file numbers.h.

#define nWrite (   n)    n_Write(n, currRing->cf, rShortOut(currRing))

Definition at line 29 of file numbers.h.

#define SHORT_REAL_LENGTH   6

Definition at line 54 of file numbers.h.

Typedef Documentation

typedef BOOLEAN(* cfInitCharProc)(coeffs, void *)

initialize an object of type coeff, return FALSE in case of success

Definition at line 89 of file numbers.h.

Function Documentation

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.

Definition at line 131 of file numbers.cc.

132 {
133  int c = n_GetChar(r);
134  BOOLEAN ret = n_IsZero(a, r);
135  if( (c != 0) && !ret )
136  {
137  number ch = n_Init( c, r );
138  number g = n_Gcd( ch, a, r );
139  ret = !n_IsOne (g, r);
140  n_Delete(&ch, r);
141  n_Delete(&g, r);
142  }
143  return ret;
144 }
n_Gcd
static FORCE_INLINE number n_Gcd(number a, number b, const coeffs r)
in Z: return the gcd of 'a' and 'b' in Z/nZ, Z/2^kZ: computed as in the case Z in Z/pZ...
Definition: coeffs.h:690
a
const poly a
Definition: syzextra.cc:212
n_IsOne
static FORCE_INLINE BOOLEAN n_IsOne(number n, const coeffs r)
TRUE iff 'n' represents the one element.
Definition: coeffs.h:472
n_Init
static FORCE_INLINE number n_Init(long i, const coeffs r)
a number representing i in the given coeff field/ring r
Definition: coeffs.h:542
n_GetChar
static FORCE_INLINE int n_GetChar(const coeffs r)
Return the characteristic of the coeff. domain.
Definition: coeffs.h:448
g
g
Definition: cfModGcd.cc:4031
n_IsZero
static FORCE_INLINE BOOLEAN n_IsZero(number n, const coeffs r)
TRUE iff 'n' represents the zero element.
Definition: coeffs.h:468
n_Delete
static FORCE_INLINE void n_Delete(number *p, const coeffs r)
delete 'p'
Definition: coeffs.h:459
BOOLEAN
int BOOLEAN
Definition: auxiliary.h:88
number ndCopyMap ( number  a,
const coeffs  src,
const coeffs  dst 
)

Definition at line 239 of file numbers.cc.

240 {
241  // aRing and r need not be the same, but must be the same representation
242  assume(aRing->rep==r->rep);
243  if ( nCoeff_has_simple_Alloc(r) && nCoeff_has_simple_Alloc(aRing) )
244  return a;
245  else
246  return r->cfCopy(a, r);
247 }
a
const poly a
Definition: syzextra.cc:212
r
const ring r
Definition: syzextra.cc:208
assume
#define assume(x)
Definition: mod2.h:403
nCoeff_has_simple_Alloc
static FORCE_INLINE BOOLEAN nCoeff_has_simple_Alloc(const coeffs r)
TRUE if n_Delete/n_New are empty operations.
Definition: coeffs.h:920
coeffs nFindCoeffByName ( const char *  n)

find an existing coeff by its "CoeffName"

Definition at line 549 of file numbers.cc.

551 {
552  n_Procs_s* n=cf_root;
553  while(n!=NULL)
554  {
555  if ((n->cfCoeffName!=NULL)
556  && (strcmp(cf_name,n->cfCoeffName(n))==0)) return n;
557  n=n->next;
558  }
559  // TODO: parametrized cf, e.g. flint:Z/26[a]
560  return NULL;
n_Procs_s::next
coeffs next
Definition: coeffs.h:125
n
const CanonicalForm CFMap CFMap int &both_non_zero int n
Definition: cfEzgcd.cc:52
n_Procs_s::cfCoeffName
char *(* cfCoeffName)(const coeffs r)
default name of cf, should substitue cfCoeffWrite, cfCoeffString
Definition: coeffs.h:154
n_Procs_s
Definition: coeffs.h:122
cf_root
n_Procs_s * cf_root
Definition: numbers.cc:47
NULL
#define NULL
Definition: omList.c:10
n_coeffType nRegister ( n_coeffType  n,
cfInitCharProc  p 
)

Definition at line 519 of file numbers.cc.

521 {
522  if (n==n_unknown)
523  {
524  nLastCoeffs=(n_coeffType)(int(nLastCoeffs)+1);
525  if (nInitCharTable==nInitCharTableDefault)
526  {
527  nInitCharTable=(cfInitCharProc*)omAlloc0(
528  ((int)nLastCoeffs+1)*sizeof(cfInitCharProc));
529  memcpy(nInitCharTable,nInitCharTableDefault,
530  ((int)nLastCoeffs)*sizeof(cfInitCharProc));
531  }
532  else
533  {
534  nInitCharTable=(cfInitCharProc*)omReallocSize(nInitCharTable,
535  ((int)nLastCoeffs)*sizeof(cfInitCharProc),
536  (((int)nLastCoeffs)+1)*sizeof(cfInitCharProc));
537  }
538 
539  nInitCharTable[nLastCoeffs]=p;
540  return nLastCoeffs;
541  }
542  else
543  {
544  if (nInitCharTable[n]!=NULL) Print("coeff %d already initialized\n",n);
545  nInitCharTable[n]=p;
546  return n;
547  }
cfInitCharProc
BOOLEAN(* cfInitCharProc)(coeffs, void *)
initialize an object of type coeff, return FALSE in case of success
Definition: numbers.h:89
Print
#define Print
Definition: emacs.cc:83
p
return P p
Definition: myNF.cc:203
nLastCoeffs
static n_coeffType nLastCoeffs
Definition: numbers.cc:293
n
const CanonicalForm CFMap CFMap int &both_non_zero int n
Definition: cfEzgcd.cc:52
omReallocSize
#define omReallocSize(addr, o_size, size)
Definition: omAllocDecl.h:220
nInitCharTableDefault
cfInitCharProc nInitCharTableDefault[]
Definition: numbers.cc:294
n_coeffType
n_coeffType
Definition: coeffs.h:27
nInitCharTable
static cfInitCharProc * nInitCharTable
Definition: numbers.cc:325
NULL
#define NULL
Definition: omList.c:10
omAlloc0
#define omAlloc0(size)
Definition: omAllocDecl.h:211

Variable Documentation

const char* const nDivBy0 = "div by 0"

Definition at line 83 of file numbers.h.

Generated on Mon Mar 6 2017 11:17:37 by   doxygen 1.8.8 for Singular debian-1:4.0.3-p3+ds-5~bpo8+1