ffields.h File Reference

#include "misc/auxiliary.h"

Go to the source code of this file.

Functions
BOOLEAN	nfInitChar (coeffs r, void *)
void	nfShowMipo (const coeffs r)
	Show the mininimal polynom.... NOTE: this is used by char * sleftv::String(void *d, BOOLEAN typed, int dim) (from Singular/subexpr.cc) for printing minpoly.

Function Documentation

nfInitChar()

BOOLEAN nfInitChar	(	coeffs	r,
		void *	parameter
	)

Definition at line 858 of file ffields.cc.

{
  // the variables:
  assume( getCoeffType(r) == n_GF );
 
  GFInfo* p = (GFInfo *)(parameter);
  assume (p->GFChar > 0);
  assume (p->GFDegree > 0);
  if ((IsPrime(p->GFChar)==p->GFChar)&&(p->GFDegree==1)) /* for oscar-system/Singular.jl/issues/177 */
  {
    return npInitChar(r,(void*)(long)p->GFChar);
  }
  if(p->GFChar > (2<<15))
  {
#ifndef SING_NDEBUG
    WarnS("illegal characteristic");
#endif
    return TRUE;
  }
 
  const double check= log ((double) (p->GFChar));
 
  #define sixteenlog2 11.09035489
  if( (p->GFDegree * check) > sixteenlog2 )
  {
#ifndef SING_NDEBUG
    Warn("Sorry: illegal size: %u ^ %u", p->GFChar, p->GFDegree );
#endif
    return TRUE;
  }
 
  r->is_field=TRUE;
  r->is_domain=TRUE;
  r->rep=n_rep_gf;
  //r->cfInitChar=npInitChar;
  r->cfKillChar=nfKillChar;
  r->nCoeffIsEqual=nfCoeffIsEqual;
  r->cfCoeffName=nfCoeffName;
 
  r->cfMult  = nfMult;
  r->cfSub   = nfSub;
  r->cfAdd   = nfAdd;
  r->cfDiv   = nfDiv;
  //r->cfIntMod= ndIntMod;
  r->cfExactDiv= nfDiv;
  r->cfInit = nfInit;
  r->cfInitMPZ = nfInitMPZ;
  //r->cfSize  = ndSize;
  r->cfInt  = nfInt;
  #ifdef HAVE_RINGS
  //r->cfDivComp = NULL; // only for ring stuff
  //r->cfIsUnit = NULL; // only for ring stuff
  //r->cfGetUnit = NULL; // only for ring stuff
  //r->cfExtGcd = NULL; // only for ring stuff
  // r->cfDivBy = NULL; // only for ring stuff
  #endif
  r->cfInpNeg   = nfNeg;
  r->cfInvers= nfInvers;
  //r->cfCopy  = ndCopy;
  //r->cfRePart = ndCopy;
  //r->cfImPart = ndReturn0;
 
  r->cfWriteLong = nfWriteLong;
  r->cfRead = nfRead;
  //r->cfNormalize=ndNormalize;
  r->cfGreater = nfGreater;
  r->cfEqual = nfEqual;
  r->cfIsZero = nfIsZero;
  r->cfIsOne = nfIsOne;
  r->cfIsMOne = nfIsMOne;
  r->cfGreaterZero = nfGreaterZero;
  r->cfPower = nfPower;
  //r->cfGcd  = ndGcd;
  //r->cfLcm  = ndGcd;
  //r->cfDelete= ndDelete;
  r->cfSetMap = nfSetMap;
  //r->cfName = ndName;
  // debug stuff
  r->cfCoeffWrite=nfCoeffWrite;
 
  r->cfParDeg = nfParDeg;
 
  r->cfRandom = nfRandom;
 
#ifdef LDEBUG
  r->cfDBTest=nfDBTest;
#endif
 
 
  const char * name = p->GFPar_name;
 
  r->m_nfCharQ = 0;
  r->m_nfCharP = p->GFChar;
  r->m_nfCharQ1 = 0;
 
  r->iNumberOfParameters = 1;
  r->cfParameter = nfParameter;
 
  char ** pParameterNames = (char **) omAlloc(sizeof(char *));
  assume( pParameterNames != NULL );
  pParameterNames[0] = omStrDup(name);
  assume( pParameterNames[0] != NULL );
 
  r->pParameterNames = (const char**)pParameterNames;
 
  r->m_nfPlus1Table= NULL;
 
  if (strlen(name) > 1)
    r->cfWriteShort = nfWriteLong;
  else
    r->cfWriteShort = nfWriteShort;
 
  r->has_simple_Alloc=TRUE;
  r->has_simple_Inverse=TRUE;
 
  int c = (int)pow ((double)p->GFChar, (double)p->GFDegree);
 
  nfReadTable(c, r);
 
  if( r->m_nfPlus1Table == NULL )
  {
    Werror("reading table for field with %d elements failed",c);
    return TRUE;
  }
 
 
  assume (r -> m_nfCharQ > 0);
 
  r->ch = r->m_nfCharP;
  assume( r->m_nfPlus1Table != NULL );
 
  return FALSE;
}

nfShowMipo()

void nfShowMipo

(

const coeffs

r

)

Show the mininimal polynom.... NOTE: this is used by char * sleftv::String(void *d, BOOLEAN typed, int dim) (from Singular/subexpr.cc) for printing minpoly.

Definition at line 551 of file ffields.cc.

{
  int i=nfMinPoly[0];
  int j=0;
  loop
  {
    j++;
    if (nfMinPoly[j]!=0)
      StringAppend("%d*%s^%d",nfMinPoly[j],n_ParameterNames(r)[0],i);
    i--;
    if(i<0) break;
    if (nfMinPoly[j]!=0)
      StringAppendS("+");
  }
}