My Project
Data Fields
coeffs Struct Reference

#include <coeffs.h>

Data Fields

coeffs next
 
int ref
 
n_coeffRep rep
 
n_coeffType type
 
int factoryVarOffset
 how many variables of factory are already used by this coeff More...
 
BOOLEAN has_simple_Alloc
 TRUE, if nDelete/nCopy are dummies. More...
 
BOOLEAN has_simple_Inverse
 TRUE, if std should make polynomials monic (if nInvers is cheap) if false, then a gcd routine is used for a content computation. More...
 
BOOLEAN is_field
 TRUE, if cf is a field. More...
 
BOOLEAN is_domain
 TRUE, if cf is a domain. More...
 
BOOLEAN(* nCoeffIsEqual )(const coeffs r, n_coeffType n, void *parameter)
 
void(* cfCoeffWrite )(const coeffs r, BOOLEAN details)
 output of coeff description via Print More...
 
char *(* cfCoeffString )(const coeffs r)
 string output of coeff description More...
 
char *(* cfCoeffName )(const coeffs r)
 default name of cf, should substitue cfCoeffWrite, cfCoeffString More...
 
void(* cfKillChar )(coeffs r)
 
void(* cfSetChar )(const coeffs r)
 
numberfunc cfMult
 
numberfunc cfSub
 
numberfunc cfAdd
 
numberfunc cfDiv
 
numberfunc cfIntMod
 
numberfunc cfExactDiv
 
number(* cfInit )(long i, const coeffs r)
 init with an integer More...
 
number(* cfInitMPZ )(mpz_t i, const coeffs r)
 init with a GMP integer More...
 
int(* cfSize )(number n, const coeffs r)
 how complicated, (0) => 0, or positive More...
 
long(* cfInt )(number &n, const coeffs r)
 convertion to long, 0 if impossible More...
 
void(* cfMPZ )(mpz_t result, number &n, const coeffs r)
 Converts a (integer) number n into a GMP number, 0 if impossible. More...
 
number(* cfInpNeg )(number a, const coeffs r)
 changes argument inline: a:= -a return -a! (no copy is returned) the result should be assigned to the original argument: e.g. a = n_InpNeg(a,r) More...
 
number(* cfInvers )(number a, const coeffs r)
 return 1/a More...
 
number(* cfCopy )(number a, const coeffs r)
 return a copy of a More...
 
number(* cfRePart )(number a, const coeffs r)
 
number(* cfImPart )(number a, const coeffs r)
 
void(* cfWriteLong )(number a, const coeffs r)
 print a given number (long format) More...
 
void(* cfWriteShort )(number a, const coeffs r)
 print a given number in a shorter way, if possible e.g. in K(a): a2 instead of a^2 More...
 
const char *(* cfRead )(const char *s, number *a, const coeffs r)
 
void(* cfNormalize )(number &a, const coeffs r)
 
BOOLEAN(* cfGreater )(number a, number b, const coeffs r)
 
BOOLEAN(*)(*) cfEqual (number a, number b, const coeffs r)
 tests More...
 
BOOLEAN(*)(*)(*) cfIsZero (number a, const coeffs r)
 
BOOLEAN(*)(*)(*)(*) cfIsOne (number a, const coeffs r)
 
BOOLEAN(*)(*)(*)(*)(*) cfIsMOne (number a, const coeffs r)
 
BOOLEAN(*)(*)(*)(*)(*)(*) cfGreaterZero (number a, const coeffs r)
 
void(* cfPower )(number a, int i, number *result, const coeffs r)
 
number(* cfGetDenom )(number &n, const coeffs r)
 
number(* cfGetNumerator )(number &n, const coeffs r)
 
number(* cfGcd )(number a, number b, const coeffs r)
 
number(* cfSubringGcd )(number a, number b, const coeffs r)
 
number(* cfExtGcd )(number a, number b, number *s, number *t, const coeffs r)
 
number(* cfXExtGcd )(number a, number b, number *s, number *t, number *u, number *v, const coeffs r)
 
number(* cfEucNorm )(number a, const coeffs r)
 
number(* cfAnn )(number a, const coeffs r)
 
number(* cfQuotRem )(number a, number b, number *rem, const coeffs r)
 
number(* cfLcm )(number a, number b, const coeffs r)
 
number(* cfNormalizeHelper )(number a, number b, const coeffs r)
 
void(* cfDelete )(number *a, const coeffs r)
 
nMapFunc(* cfSetMap )(const coeffs src, const coeffs dst)
 
void(* cfWriteFd )(number a, const ssiInfo *f, const coeffs r)
 
number(* cfReadFd )(const ssiInfo *f, const coeffs r)
 
void(* cfInpMult )(number &a, number b, const coeffs r)
 Inplace: a *= b. More...
 
void(* cfInpAdd )(number &a, number b, const coeffs r)
 Inplace: a += b. More...
 
number(* cfFarey )(number p, number n, const coeffs)
 rational reconstruction: "best" rational a/b with a/b = p mod n More...
 
number(* cfChineseRemainder )(number *x, number *q, int rl, BOOLEAN sym, CFArray &inv_cache, const coeffs)
 chinese remainder returns X with X mod q[i]=x[i], i=0..rl-1 More...
 
int(* cfParDeg )(number x, const coeffs r)
 degree for coeffcients: -1 for 0, 0 for "constants", ... More...
 
number(* cfParameter )(const int i, const coeffs r)
 create i^th parameter or NULL if not possible More...
 
number(* cfRandom )(siRandProc p, number p1, number p2, const coeffs cf)
 a function returning random elements More...
 
nCoeffsEnumeratorFunc cfClearContent
 function pointer behind n_ClearContent More...
 
nCoeffsEnumeratorFunc cfClearDenominators
 function pointer behind n_ClearDenominators More...
 
number(* convFactoryNSingN )(const CanonicalForm n, const coeffs r)
 conversion to CanonicalForm(factory) to number More...
 
CanonicalForm(* convSingNFactoryN )(number n, BOOLEAN setChar, const coeffs r)
 
int iNumberOfParameters
 Number of Parameters in the coeffs (default 0) More...
 
char const ** pParameterNames
 array containing the names of Parameters (default NULL) More...
 
ring extRing
 
int ch
 
short float_len
 
short float_len2
 
int m_nfCharQ
 the number of elements: q More...
 
int m_nfM1
 representation of -1 More...
 
int m_nfCharP
 the characteristic: p More...
 
int m_nfCharQ1
 q-1 More...
 
unsigned short * m_nfPlus1Table
 
int * m_nfMinPoly
 
unsigned short * npInvTable
 
unsigned short * npExpTable
 
unsigned short * npLogTable
 
int npPminus1M
 characteristic - 1 More...
 
int(* cfDivComp )(number a, number b, const coeffs r)
 
BOOLEAN(* cfIsUnit )(number a, const coeffs r)
 
number(* cfGetUnit )(number a, const coeffs r)
 
BOOLEAN(* cfDivBy )(number a, number b, const coeffs r)
 test if b divides a cfDivBy(zero,b,r) is true, if b is a zero divisor More...
 
mpz_ptr modBase
 
unsigned long modExponent
 
mpz_ptr modNumber
 
unsigned long mod2mMask
 
coeffs(* cfQuot1 )(number c, const coeffs r)
 
void * data
 
BOOLEAN(* cfDBTest )(number a, const char *f, const int l, const coeffs r)
 Test: is "a" a correct number? More...
 

Detailed Description

Definition at line 122 of file coeffs.h.

Field Documentation

◆ cfAdd

numberfunc const_coeffs::cfAdd

Definition at line 175 of file coeffs.h.

◆ cfAnn

number(* const_coeffs::cfAnn) (number a, const coeffs r)

Definition at line 261 of file coeffs.h.

◆ cfChineseRemainder

number(* const_coeffs::cfChineseRemainder) (number *x, number *q, int rl, BOOLEAN sym, CFArray &inv_cache, const coeffs)

chinese remainder returns X with X mod q[i]=x[i], i=0..rl-1

Definition at line 297 of file coeffs.h.

◆ cfClearContent

nCoeffsEnumeratorFunc const_coeffs::cfClearContent

function pointer behind n_ClearContent

Definition at line 309 of file coeffs.h.

◆ cfClearDenominators

nCoeffsEnumeratorFunc const_coeffs::cfClearDenominators

function pointer behind n_ClearDenominators

Definition at line 312 of file coeffs.h.

◆ cfCoeffName

char *(* const_coeffs::cfCoeffName) (const coeffs r)

default name of cf, should substitue cfCoeffWrite, cfCoeffString

Definition at line 154 of file coeffs.h.

◆ cfCoeffString

char *(* const_coeffs::cfCoeffString) (const coeffs r)

string output of coeff description

Definition at line 151 of file coeffs.h.

◆ cfCoeffWrite

void(* const_coeffs::cfCoeffWrite) (const coeffs r, BOOLEAN details)

output of coeff description via Print

Definition at line 148 of file coeffs.h.

◆ cfCopy

number(* const_coeffs::cfCopy) (number a, const coeffs r)

return a copy of a

Definition at line 199 of file coeffs.h.

◆ cfDBTest

BOOLEAN(* const_coeffs::cfDBTest) (number a, const char *f, const int l, const coeffs r)

Test: is "a" a correct number?

Definition at line 416 of file coeffs.h.

◆ cfDelete

void(* const_coeffs::cfDelete) (number *a, const coeffs r)

Definition at line 272 of file coeffs.h.

◆ cfDiv

numberfunc const_coeffs::cfDiv

Definition at line 175 of file coeffs.h.

◆ cfDivBy

BOOLEAN(* const_coeffs::cfDivBy) (number a, number b, const coeffs r)

test if b divides a cfDivBy(zero,b,r) is true, if b is a zero divisor

Definition at line 382 of file coeffs.h.

◆ cfDivComp

int(* const_coeffs::cfDivComp) (number a, number b, const coeffs r)

Definition at line 377 of file coeffs.h.

◆ cfEqual

BOOLEAN(*)(*) const_coeffs::cfEqual(number a, number b, const coeffs r)

tests

Definition at line 225 of file coeffs.h.

◆ cfEucNorm

number(* const_coeffs::cfEucNorm) (number a, const coeffs r)

Definition at line 258 of file coeffs.h.

◆ cfExactDiv

numberfunc const_coeffs::cfExactDiv

Definition at line 175 of file coeffs.h.

◆ cfExtGcd

number(* const_coeffs::cfExtGcd) (number a, number b, number *s, number *t, const coeffs r)

Definition at line 248 of file coeffs.h.

◆ cfFarey

number(* const_coeffs::cfFarey) (number p, number n, const coeffs)

rational reconstruction: "best" rational a/b with a/b = p mod n

Definition at line 291 of file coeffs.h.

◆ cfGcd

number(* const_coeffs::cfGcd) (number a, number b, const coeffs r)

Definition at line 246 of file coeffs.h.

◆ cfGetDenom

number(* const_coeffs::cfGetDenom) (number &n, const coeffs r)

Definition at line 240 of file coeffs.h.

◆ cfGetNumerator

number(* const_coeffs::cfGetNumerator) (number &n, const coeffs r)

Definition at line 241 of file coeffs.h.

◆ cfGetUnit

number(* const_coeffs::cfGetUnit) (number a, const coeffs r)

Definition at line 379 of file coeffs.h.

◆ cfGreater

BOOLEAN(* const_coeffs::cfGreater) (number a, number b, const coeffs r)

Definition at line 225 of file coeffs.h.

◆ cfGreaterZero

BOOLEAN(*)(*)(*)(*)(*)(*) const_coeffs::cfGreaterZero(number a, const coeffs r)

Definition at line 225 of file coeffs.h.

◆ cfImPart

number(* const_coeffs::cfImPart) (number a, const coeffs r)

Definition at line 201 of file coeffs.h.

◆ cfInit

number(* const_coeffs::cfInit) (long i, const coeffs r)

init with an integer

Definition at line 178 of file coeffs.h.

◆ cfInitMPZ

number(* const_coeffs::cfInitMPZ) (mpz_t i, const coeffs r)

init with a GMP integer

Definition at line 181 of file coeffs.h.

◆ cfInpAdd

void(* const_coeffs::cfInpAdd) (number &a, number b, const coeffs r)

Inplace: a += b.

Definition at line 284 of file coeffs.h.

◆ cfInpMult

void(* const_coeffs::cfInpMult) (number &a, number b, const coeffs r)

Inplace: a *= b.

Definition at line 281 of file coeffs.h.

◆ cfInpNeg

number(* const_coeffs::cfInpNeg) (number a, const coeffs r)

changes argument inline: a:= -a return -a! (no copy is returned) the result should be assigned to the original argument: e.g. a = n_InpNeg(a,r)

Definition at line 195 of file coeffs.h.

◆ cfInt

long(* const_coeffs::cfInt) (number &n, const coeffs r)

convertion to long, 0 if impossible

Definition at line 187 of file coeffs.h.

◆ cfIntMod

numberfunc const_coeffs::cfIntMod

Definition at line 175 of file coeffs.h.

◆ cfInvers

number(* const_coeffs::cfInvers) (number a, const coeffs r)

return 1/a

Definition at line 197 of file coeffs.h.

◆ cfIsMOne

BOOLEAN(*)(*)(*)(*)(*) const_coeffs::cfIsMOne(number a, const coeffs r)

Definition at line 225 of file coeffs.h.

◆ cfIsOne

BOOLEAN(*)(*)(*)(*) const_coeffs::cfIsOne(number a, const coeffs r)

Definition at line 225 of file coeffs.h.

◆ cfIsUnit

BOOLEAN(* const_coeffs::cfIsUnit) (number a, const coeffs r)

Definition at line 378 of file coeffs.h.

◆ cfIsZero

BOOLEAN(*)(*)(*) const_coeffs::cfIsZero(number a, const coeffs r)

Definition at line 225 of file coeffs.h.

◆ cfKillChar

void(* const_coeffs::cfKillChar) (coeffs r)

Definition at line 159 of file coeffs.h.

◆ cfLcm

number(* const_coeffs::cfLcm) (number a, number b, const coeffs r)

Definition at line 270 of file coeffs.h.

◆ cfMPZ

void(* const_coeffs::cfMPZ) (mpz_t result, number &n, const coeffs r)

Converts a (integer) number n into a GMP number, 0 if impossible.

Definition at line 190 of file coeffs.h.

◆ cfMult

numberfunc const_coeffs::cfMult

Definition at line 175 of file coeffs.h.

◆ cfNormalize

void(* const_coeffs::cfNormalize) (number &a, const coeffs r)

Definition at line 223 of file coeffs.h.

◆ cfNormalizeHelper

number(* const_coeffs::cfNormalizeHelper) (number a, number b, const coeffs r)

Definition at line 271 of file coeffs.h.

◆ cfParameter

number(* const_coeffs::cfParameter) (const int i, const coeffs r)

create i^th parameter or NULL if not possible

Definition at line 303 of file coeffs.h.

◆ cfParDeg

int(* const_coeffs::cfParDeg) (number x, const coeffs r)

degree for coeffcients: -1 for 0, 0 for "constants", ...

Definition at line 300 of file coeffs.h.

◆ cfPower

void(* const_coeffs::cfPower) (number a, int i, number *result, const coeffs r)

Definition at line 239 of file coeffs.h.

◆ cfQuot1

coeffs(* const_coeffs::cfQuot1) (number c, const coeffs r)

Definition at line 407 of file coeffs.h.

◆ cfQuotRem

number(* const_coeffs::cfQuotRem) (number a, number b, number *rem, const coeffs r)

Definition at line 269 of file coeffs.h.

◆ cfRandom

number(* const_coeffs::cfRandom) (siRandProc p, number p1, number p2, const coeffs cf)

a function returning random elements

Definition at line 306 of file coeffs.h.

◆ cfRead

const char *(* const_coeffs::cfRead) (const char *s, number *a, const coeffs r)

Definition at line 221 of file coeffs.h.

◆ cfReadFd

number(* const_coeffs::cfReadFd) (const ssiInfo *f, const coeffs r)

Definition at line 278 of file coeffs.h.

◆ cfRePart

number(* const_coeffs::cfRePart) (number a, const coeffs r)

Definition at line 200 of file coeffs.h.

◆ cfSetChar

void(* const_coeffs::cfSetChar) (const coeffs r)

Definition at line 161 of file coeffs.h.

◆ cfSetMap

nMapFunc(* const_coeffs::cfSetMap) (const coeffs src, const coeffs dst)

Definition at line 275 of file coeffs.h.

◆ cfSize

int(* const_coeffs::cfSize) (number n, const coeffs r)

how complicated, (0) => 0, or positive

Definition at line 184 of file coeffs.h.

◆ cfSub

numberfunc const_coeffs::cfSub

Definition at line 175 of file coeffs.h.

◆ cfSubringGcd

number(* const_coeffs::cfSubringGcd) (number a, number b, const coeffs r)

Definition at line 247 of file coeffs.h.

◆ cfWriteFd

void(* const_coeffs::cfWriteFd) (number a, const ssiInfo *f, const coeffs r)

Definition at line 277 of file coeffs.h.

◆ cfWriteLong

void(* const_coeffs::cfWriteLong) (number a, const coeffs r)

print a given number (long format)

Definition at line 204 of file coeffs.h.

◆ cfWriteShort

void(* const_coeffs::cfWriteShort) (number a, const coeffs r)

print a given number in a shorter way, if possible e.g. in K(a): a2 instead of a^2

Definition at line 208 of file coeffs.h.

◆ cfXExtGcd

number(* const_coeffs::cfXExtGcd) (number a, number b, number *s, number *t, number *u, number *v, const coeffs r)

Definition at line 256 of file coeffs.h.

◆ ch

int const_coeffs::ch

Definition at line 340 of file coeffs.h.

◆ convFactoryNSingN

number(* const_coeffs::convFactoryNSingN) (const CanonicalForm n, const coeffs r)

conversion to CanonicalForm(factory) to number

Definition at line 315 of file coeffs.h.

◆ convSingNFactoryN

CanonicalForm(* const_coeffs::convSingNFactoryN) (number n, BOOLEAN setChar, const coeffs r)

Definition at line 316 of file coeffs.h.

◆ data

void* const_coeffs::data

Definition at line 411 of file coeffs.h.

◆ extRing

ring const_coeffs::extRing

Definition at line 334 of file coeffs.h.

◆ factoryVarOffset

int const_coeffs::factoryVarOffset

how many variables of factory are already used by this coeff

Definition at line 130 of file coeffs.h.

◆ float_len

short const_coeffs::float_len

Definition at line 352 of file coeffs.h.

◆ float_len2

short const_coeffs::float_len2

Definition at line 353 of file coeffs.h.

◆ has_simple_Alloc

BOOLEAN const_coeffs::has_simple_Alloc

TRUE, if nDelete/nCopy are dummies.

Definition at line 134 of file coeffs.h.

◆ has_simple_Inverse

BOOLEAN const_coeffs::has_simple_Inverse

TRUE, if std should make polynomials monic (if nInvers is cheap) if false, then a gcd routine is used for a content computation.

Definition at line 137 of file coeffs.h.

◆ iNumberOfParameters

int const_coeffs::iNumberOfParameters

Number of Parameters in the coeffs (default 0)

Definition at line 319 of file coeffs.h.

◆ is_domain

BOOLEAN const_coeffs::is_domain

TRUE, if cf is a domain.

Definition at line 142 of file coeffs.h.

◆ is_field

BOOLEAN const_coeffs::is_field

TRUE, if cf is a field.

Definition at line 140 of file coeffs.h.

◆ m_nfCharP

int const_coeffs::m_nfCharP

the characteristic: p

Definition at line 364 of file coeffs.h.

◆ m_nfCharQ

int const_coeffs::m_nfCharQ

the number of elements: q

Definition at line 362 of file coeffs.h.

◆ m_nfCharQ1

int const_coeffs::m_nfCharQ1

q-1

Definition at line 365 of file coeffs.h.

◆ m_nfM1

int const_coeffs::m_nfM1

representation of -1

Definition at line 363 of file coeffs.h.

◆ m_nfMinPoly

int* const_coeffs::m_nfMinPoly

Definition at line 367 of file coeffs.h.

◆ m_nfPlus1Table

unsigned short* const_coeffs::m_nfPlus1Table

Definition at line 366 of file coeffs.h.

◆ mod2mMask

unsigned long const_coeffs::mod2mMask

Definition at line 405 of file coeffs.h.

◆ modBase

mpz_ptr const_coeffs::modBase

Definition at line 402 of file coeffs.h.

◆ modExponent

unsigned long const_coeffs::modExponent

Definition at line 403 of file coeffs.h.

◆ modNumber

mpz_ptr const_coeffs::modNumber

Definition at line 404 of file coeffs.h.

◆ nCoeffIsEqual

BOOLEAN(* const_coeffs::nCoeffIsEqual) (const coeffs r, n_coeffType n, void *parameter)

Definition at line 145 of file coeffs.h.

◆ next

coeffs const_coeffs::next

Definition at line 125 of file coeffs.h.

◆ npExpTable

unsigned short* const_coeffs::npExpTable

Definition at line 372 of file coeffs.h.

◆ npInvTable

unsigned short* const_coeffs::npInvTable

Definition at line 371 of file coeffs.h.

◆ npLogTable

unsigned short* const_coeffs::npLogTable

Definition at line 373 of file coeffs.h.

◆ npPminus1M

int const_coeffs::npPminus1M

characteristic - 1

Definition at line 375 of file coeffs.h.

◆ pParameterNames

char const** const_coeffs::pParameterNames

array containing the names of Parameters (default NULL)

Definition at line 322 of file coeffs.h.

◆ ref

int const_coeffs::ref

Definition at line 126 of file coeffs.h.

◆ rep

n_coeffRep const_coeffs::rep

Definition at line 127 of file coeffs.h.

◆ type

n_coeffType const_coeffs::type

Definition at line 128 of file coeffs.h.


The documentation for this struct was generated from the following file: