Functions
rmodulo2m.h File Reference
#include <misc/auxiliary.h>

Go to the source code of this file.

Functions

BOOLEAN nr2mInitChar (coeffs r, void *)
 
number nr2mMapZp (number from, const coeffs, const coeffs dst)
 

Function Documentation

◆ nr2mInitChar()

BOOLEAN nr2mInitChar ( coeffs  r,
void *   
)

Definition at line 767 of file rmodulo2m.cc.

768 {
769  assume( getCoeffType(r) == n_Z2m );
770  nr2mInitExp((int)(long)(p), r);
771 
772  r->is_field=FALSE;
773  r->is_domain=FALSE;
774  r->rep=n_rep_int;
775 
776  //r->cfKillChar = ndKillChar; /* dummy*/
777  r->nCoeffIsEqual = nr2mCoeffIsEqual;
778  r->cfCoeffString = nr2mCoeffString;
779 
780  r->modBase = (mpz_ptr) omAllocBin (gmp_nrz_bin);
781  mpz_init_set_si (r->modBase, 2L);
782  r->modNumber= (mpz_ptr) omAllocBin (gmp_nrz_bin);
783  mpz_init (r->modNumber);
784  mpz_pow_ui (r->modNumber, r->modBase, r->modExponent);
785 
786  /* next cast may yield an overflow as mod2mMask is an unsigned long */
787  r->ch = (int)r->mod2mMask + 1;
788 
789  r->cfInit = nr2mInit;
790  //r->cfCopy = ndCopy;
791  r->cfInt = nr2mInt;
792  r->cfAdd = nr2mAdd;
793  r->cfSub = nr2mSub;
794  r->cfMult = nr2mMult;
795  r->cfDiv = nr2mDiv;
796  r->cfAnn = nr2mAnn;
797  r->cfIntMod = nr2mMod;
798  r->cfExactDiv = nr2mDiv;
799  r->cfInpNeg = nr2mNeg;
800  r->cfInvers = nr2mInvers;
801  r->cfDivBy = nr2mDivBy;
802  r->cfDivComp = nr2mDivComp;
803  r->cfGreater = nr2mGreater;
804  r->cfEqual = nr2mEqual;
805  r->cfIsZero = nr2mIsZero;
806  r->cfIsOne = nr2mIsOne;
807  r->cfIsMOne = nr2mIsMOne;
808  r->cfGreaterZero = nr2mGreaterZero;
809  r->cfWriteLong = nr2mWrite;
810  r->cfRead = nr2mRead;
811  r->cfPower = nr2mPower;
812  r->cfSetMap = nr2mSetMap;
813 // r->cfNormalize = ndNormalize; // default
814  r->cfLcm = nr2mLcm;
815  r->cfGcd = nr2mGcd;
816  r->cfIsUnit = nr2mIsUnit;
817  r->cfGetUnit = nr2mGetUnit;
818  r->cfExtGcd = nr2mExtGcd;
819  r->cfCoeffWrite = nr2mCoeffWrite;
820  r->cfCoeffName = nr2mCoeffName;
821  r->cfQuot1 = nr2mQuot1;
822 #ifdef LDEBUG
823  r->cfDBTest = nr2mDBTest;
824 #endif
825  r->has_simple_Alloc=TRUE;
826  return FALSE;
827 }
#define omAllocBin(bin)
Definition: omAllocDecl.h:205
static BOOLEAN nr2mGreater(number a, number b, const coeffs r)
Definition: rmodulo2m.cc:447
static char * nr2mCoeffName(const coeffs cf)
Definition: rmodulo2m.cc:51
static number nr2mLcm(number a, number b, const coeffs)
Definition: rmodulo2m.cc:143
static number nr2mAnn(number b, const coeffs r)
Definition: rmodulo2m.cc:556
static BOOLEAN nr2mDivBy(number a, number b, const coeffs r)
Definition: rmodulo2m.cc:419
static void nr2mWrite(number a, const coeffs r)
Definition: rmodulo2m.cc:723
only used if HAVE_RINGS is defined
Definition: coeffs.h:46
#define FALSE
Definition: auxiliary.h:94
return P p
Definition: myNF.cc:203
static long nr2mInt(number &n, const coeffs r)
Definition: rmodulo2m.cc:340
static number nr2mDiv(number a, number b, const coeffs r)
Definition: rmodulo2m.cc:393
#define TRUE
Definition: auxiliary.h:98
static number nr2mGetUnit(number k, const coeffs)
Definition: rmodulo2m.cc:365
static BOOLEAN nr2mIsZero(number a, const coeffs)
Definition: rmodulo2m.cc:373
static BOOLEAN nr2mCoeffIsEqual(const coeffs r, n_coeffType n, void *p)
Definition: rmodulo2m.cc:63
static number nr2mNeg(number c, const coeffs r)
Definition: rmodulo2m.cc:577
static BOOLEAN nr2mIsOne(number a, const coeffs)
Definition: rmodulo2m.cc:378
#define LDEBUG
Definition: mod2.h:312
static const char * nr2mRead(const char *s, number *a, const coeffs r)
Definition: rmodulo2m.cc:748
#define assume(x)
Definition: mod2.h:394
static coeffs nr2mQuot1(number c, const coeffs r)
Definition: rmodulo2m.cc:82
static char * nr2mCoeffString(const coeffs r)
Definition: rmodulo2m.cc:74
static int nr2mDivComp(number as, number bs, const coeffs)
Definition: rmodulo2m.cc:452
static void nr2mInitExp(int m, coeffs r)
Definition: rmodulo2m.cc:707
static BOOLEAN nr2mGreaterZero(number k, const coeffs r)
Definition: rmodulo2m.cc:121
static FORCE_INLINE n_coeffType getCoeffType(const coeffs r)
Returns the type of coeffs domain.
Definition: coeffs.h:425
static number nr2mMult(number a, number b, const coeffs r)
Definition: rmodulo2m.cc:131
static BOOLEAN nr2mDBTest(number a, const char *, const int, const coeffs r)
Definition: rmodulo2m.cc:715
static number nr2mExtGcd(number a, number b, number *s, number *t, const coeffs r)
Definition: rmodulo2m.cc:279
static BOOLEAN nr2mIsMOne(number a, const coeffs r)
Definition: rmodulo2m.cc:383
static BOOLEAN nr2mEqual(number a, number b, const coeffs)
Definition: rmodulo2m.cc:388
static number nr2mInvers(number c, const coeffs r)
Definition: rmodulo2m.cc:265
static number nr2mSub(number a, number b, const coeffs r)
Definition: rmodulo2m.cc:355
static BOOLEAN nr2mIsUnit(number a, const coeffs)
Definition: rmodulo2m.cc:360
static void nr2mCoeffWrite(const coeffs r, BOOLEAN)
Definition: rmodulo2m.cc:58
static number nr2mInit(long i, const coeffs r)
Definition: rmodulo2m.cc:323
omBin gmp_nrz_bin
Definition: rintegers.cc:31
(int), see modulop.h
Definition: coeffs.h:110
static number nr2mGcd(number a, number b, const coeffs)
Definition: rmodulo2m.cc:166
static number nr2mAdd(number a, number b, const coeffs r)
Definition: rmodulo2m.cc:350
static void nr2mPower(number a, int i, number *result, const coeffs r)
Definition: rmodulo2m.cc:303
static nMapFunc nr2mSetMap(const coeffs src, const coeffs dst)
Definition: rmodulo2m.cc:642
static number nr2mMod(number a, number b, const coeffs r)
Definition: rmodulo2m.cc:479

◆ nr2mMapZp()

number nr2mMapZp ( number  from,
const coeffs  ,
const coeffs  dst 
)

Definition at line 595 of file rmodulo2m.cc.

596 {
597  unsigned long j = (unsigned long)1;
598  long ii = (long)from;
599  if (ii < 0) { j = dst->mod2mMask; ii = -ii; }
600  unsigned long i = (unsigned long)ii;
601  i = i & dst->mod2mMask;
602  /* now we have: from = j * i mod 2^m */
603  return (number)nr2mMult((number)i, (number)j, dst);
604 }
int j
Definition: myNF.cc:70
int i
Definition: cfEzgcd.cc:123
static number nr2mMult(number a, number b, const coeffs r)
Definition: rmodulo2m.cc:131