flintcf_Zn.cc File Reference

#include <ctype.h>
#include "misc/auxiliary.h"
#include <flint/flint.h>
#include <flint/nmod_poly.h>
#include "factory/factory.h"
#include "omalloc/omalloc.h"
#include "coeffs/coeffs.h"
#include "coeffs/numbers.h"
#include "coeffs/longrat.h"
#include "coeffs/modulop.h"
#include "coeffs/flintcf_Zn.h"

Go to the source code of this file.

Typedefs
typedef nmod_poly_struct *	nmod_poly_ptr

Functions
static const char *	Eati (const char *s, int *i)
static void	CoeffWrite (const coeffs r, BOOLEAN details)
static BOOLEAN	CoeffIsEqual (const coeffs r, n_coeffType n, void *parameter)
static void	KillChar (coeffs r)
static void	SetChar (const coeffs r)
static number	Mult (number a, number b, const coeffs c)
static number	Sub (number a, number b, const coeffs c)
static number	Add (number a, number b, const coeffs c)
static number	Div (number a, number b, const coeffs c)
static number	ExactDiv (number a, number b, const coeffs c)
static number	IntMod (number a, number b, const coeffs c)
static number	Init (long i, const coeffs r)
static number	InitMPZ (mpz_t i, const coeffs r)
static int	Size (number n, const coeffs r)
static long	Int (number &n, const coeffs r)
static void	MPZ (mpz_t result, number &n, const coeffs r)
static number	Neg (number a, const coeffs r)
static number	Invers (number a, const coeffs r)
static number	Copy (number a, const coeffs r)
static BOOLEAN	IsOne (number a, const coeffs r)
static BOOLEAN	IsZero (number a, const coeffs r)
static void	WriteShort (number a, const coeffs r)
static const char *	Read (const char *st, number *a, const coeffs r)
static void	Normalize (number &a, const coeffs r)
static BOOLEAN	Greater (number a, number b, const coeffs r)
static BOOLEAN	Equal (number a, number b, const coeffs r)
static BOOLEAN	IsMOne (number k, const coeffs r)
static BOOLEAN	GreaterZero (number k, const coeffs r)
static void	Power (number a, int i, number *result, const coeffs r)
static number	Gcd (number a, number b, const coeffs r)
static number	ExtGcd (number a, number b, number *s, number *t, const coeffs r)
static number	Lcm (number a, number b, const coeffs r)
static void	Delete (number *a, const coeffs r)
static nMapFunc	SetMap (const coeffs src, const coeffs dst)
static number	Init_bigint (number i, const coeffs dummy, const coeffs dst)
static number	Farey (number p, number n, const coeffs)
static number	ChineseRemainder (number *x, number *q, int rl, BOOLEAN sym, CFArray &inv_cache, const coeffs)
static int	ParDeg (number x, const coeffs r)
static number	Parameter (const int i, const coeffs r)
static number	ConvFactoryNSingN (const CanonicalForm n, const coeffs r)
static CanonicalForm	ConvSingNFactoryN (number n, BOOLEAN setChar, const coeffs r)
static char *	CoeffName (const coeffs r)
static char *	CoeffString (const coeffs r)
static void	WriteFd (number a, FILE *f, const coeffs)
static number	ReadFd (s_buff f, const coeffs r)
static BOOLEAN	DBTest (number a, const char *f, const int l, const coeffs r)
BOOLEAN	flintZn_InitChar (coeffs cf, void *infoStruct)

Typedef Documentation

nmod_poly_ptr

typedef nmod_poly_struct* nmod_poly_ptr

Definition at line 25 of file flintcf_Zn.cc.

Function Documentation

Add()

static number Add ( number  a, number  b, const coeffs  c  )

static

Definition at line 82 of file flintcf_Zn.cc.

{
  nmod_poly_ptr res=(nmod_poly_ptr)omAlloc(sizeof(nmod_poly_t));
  nmod_poly_init(res,c->ch);
  nmod_poly_add(res,(nmod_poly_ptr)a,(nmod_poly_ptr)b);
  return (number)res;
}

ChineseRemainder()

static number ChineseRemainder ( number *  x, number *  q, int  rl, BOOLEAN  sym, CFArray &  inv_cache, const  coeffs  )

static

Definition at line 397 of file flintcf_Zn.cc.

{
  WerrorS("not yet: ChineseRemainder");
}

CoeffIsEqual()

static BOOLEAN CoeffIsEqual ( const coeffs  r, n_coeffType  n, void *  parameter  )

static

Definition at line 53 of file flintcf_Zn.cc.

{
  flintZn_struct *pp=(flintZn_struct*)parameter;
  return (r->type==n) &&(r->ch==pp->ch)
          &&(r->pParameterNames!=NULL)
          &&(strcmp(r->pParameterNames[0],pp->name)==0);
}

CoeffName()

static char* CoeffName ( const coeffs  r )

static

Definition at line 421 of file flintcf_Zn.cc.

{
  static char CoeffName_flint_Zn[20];
  sprintf(CoeffName_flint_Zn,"flint:Z/%d[%s]",r->ch,r->pParameterNames[0]);
  return (char*)CoeffName_flint_Zn;
}

CoeffString()

static char* CoeffString ( const coeffs  r )

static

Definition at line 427 of file flintcf_Zn.cc.

{
  char *buf=(char*)omAlloc(12+10 /*ch*/+strlen(r->pParameterNames[0]));
  sprintf(buf,"flintZ(%d,\"%s\")",r->ch,r->pParameterNames[0]);
  return buf;
}

CoeffWrite()

static void CoeffWrite ( const coeffs  r, BOOLEAN  details  )

static

Definition at line 48 of file flintcf_Zn.cc.

{
  Print("flint:Z/%d[%s]",r->ch,r->pParameterNames[0]);
}

ConvFactoryNSingN()

static number ConvFactoryNSingN ( const CanonicalForm  n, const coeffs  r  )

static

Definition at line 414 of file flintcf_Zn.cc.

{
}

ConvSingNFactoryN()

static CanonicalForm ConvSingNFactoryN ( number  n, BOOLEAN  setChar, const coeffs  r  )

static

Definition at line 417 of file flintcf_Zn.cc.

{
  WerrorS("not yet: ConvSingNFactoryN");
}

Copy()

static number Copy ( number  a, const coeffs  r  )

static

Definition at line 202 of file flintcf_Zn.cc.

{
 nmod_poly_ptr res=(nmod_poly_ptr)omAlloc(sizeof(nmod_poly_t));
 nmod_poly_init(res,r->ch);
 nmod_poly_set(res,(nmod_poly_ptr)a);
 return (number)res;
}

DBTest()

static BOOLEAN DBTest ( number  a, const char *  f, const int  l, const coeffs  r  )

static

Definition at line 460 of file flintcf_Zn.cc.

{
  return TRUE;
}

Delete()

static void Delete ( number *  a, const coeffs  r  )

static

Definition at line 353 of file flintcf_Zn.cc.

{
  if ((*a)!=NULL)
  {
    nmod_poly_clear((nmod_poly_ptr)*a);
    omFree(*a);
    *a=NULL;
  }
}

Div()

static number Div ( number  a, number  b, const coeffs  c  )

static

Definition at line 89 of file flintcf_Zn.cc.

{
  nmod_poly_ptr res=(nmod_poly_ptr)omAlloc(sizeof(nmod_poly_t));
  nmod_poly_init(res,c->ch);
  if(nmod_poly_is_zero((nmod_poly_ptr)b))
  {
     WerrorS(nDivBy0);
  }
  else
  {
    nmod_poly_div(res,(nmod_poly_ptr)a,(nmod_poly_ptr)b);
    nmod_poly_t mod;
    nmod_poly_init(mod,c->ch);
    nmod_poly_rem(mod,(nmod_poly_ptr)a,(nmod_poly_ptr)b);
    if (!nmod_poly_is_zero((nmod_poly_ptr)mod))
    {
      WerrorS("cannot divide");
    }
    nmod_poly_clear(mod);
  }
  return (number)res;
}

Eati()

static const char* Eati ( const char *  s, int *  i  )

static

Definition at line 30 of file flintcf_Zn.cc.

{
 
  if (((*s) >= '0') && ((*s) <= '9'))
  {
    unsigned long ii=0L;
    do
    {
      ii *= 10;
      ii += *s++ - '0';
    }
    while (((*s) >= '0') && ((*s) <= '9'));
    *i=(int)ii;
  }
  else (*i) = 1;
  return s;
}

Equal()

static BOOLEAN Equal ( number  a, number  b, const coeffs  r  )

static

Definition at line 302 of file flintcf_Zn.cc.

{
  return (nmod_poly_equal((nmod_poly_ptr)a,(nmod_poly_ptr)b));
}

ExactDiv()

static number ExactDiv ( number  a, number  b, const coeffs  c  )

static

Definition at line 111 of file flintcf_Zn.cc.

{
  nmod_poly_ptr res=(nmod_poly_ptr)omAlloc(sizeof(nmod_poly_t));
  nmod_poly_init(res,c->ch);
  if(nmod_poly_is_zero((nmod_poly_ptr)b))
  {
     WerrorS(nDivBy0);
  }
  else
    nmod_poly_div(res,(nmod_poly_ptr)a,(nmod_poly_ptr)b);
  return (number)res;
}

ExtGcd()

static number ExtGcd ( number  a, number  b, number *  s, number *  t, const coeffs  r  )

static

Definition at line 340 of file flintcf_Zn.cc.

{
  nmod_poly_ptr res=(nmod_poly_ptr)omAlloc(sizeof(nmod_poly_t));
  nmod_poly_init(res,r->ch);
  nmod_poly_init((nmod_poly_ptr)*s,r->ch);
  nmod_poly_init((nmod_poly_ptr)*t,r->ch);
  nmod_poly_xgcd(res,(nmod_poly_ptr)*s,(nmod_poly_ptr)*t,(nmod_poly_ptr)a,(nmod_poly_ptr)b);
  return (number)res;
}

Farey()

static number Farey ( number  p, number  n, const  coeffs  )

static

Definition at line 393 of file flintcf_Zn.cc.

{
  WerrorS("not yet: Farey");
}

flintZn_InitChar()

BOOLEAN flintZn_InitChar	(	coeffs	cf,
		void *	infoStruct
	)

Definition at line 465 of file flintcf_Zn.cc.

{
  flintZn_struct *pp=(flintZn_struct*)infoStruct;
  cf->ch=pp->ch;
 
  cf->cfCoeffString  = CoeffString;
  cf->cfCoeffName    = CoeffName;
  cf->cfCoeffWrite   = CoeffWrite;
  cf->nCoeffIsEqual  = CoeffIsEqual;
  cf->cfKillChar     = KillChar;
  cf->cfSetChar      = SetChar;
  cf->cfMult         = Mult;
  cf->cfSub          = Sub;
  cf->cfAdd          = Add;
  cf->cfDiv          = Div;
  cf->cfExactDiv     = ExactDiv; // ???
  cf->cfInit         =Init;
  cf->cfInitMPZ      =InitMPZ;
  cf->cfSize         = Size;
  cf->cfInt          = Int;
  cf->cfMPZ          = MPZ;
  cf->cfInpNeg       = Neg;
  cf->cfInvers       = Invers;
  cf->cfCopy         = Copy;
  cf->cfRePart       = Copy;
  // default: cf->cfImPart       = ndReturn0;
  cf->cfWriteLong    = WriteShort; //WriteLong;
  cf->cfWriteShort = WriteShort;
  cf->cfRead         = Read;
  cf->cfNormalize    = Normalize;
 
  //cf->cfDivComp=
  //cf->cfIsUnit=
  //cf->cfGetUnit=
  //cf->cfDivBy=
 
  cf->cfGreater=Greater;
  cf->cfEqual  =Equal;
  cf->cfIsZero =IsZero;
  cf->cfIsOne  =IsOne;
  cf->cfIsMOne =IsMOne;
  cf->cfGreaterZero=GreaterZero;
 
  cf->cfPower        = Power;
  //default: cf->cfGetDenom     = GetDenom;
  //default: cf->cfGetNumerator = GetNumerator;
  cf->cfGcd          = Gcd;
  cf->cfExtGcd         = ExtGcd;
  cf->cfLcm          = Lcm;
  cf->cfDelete       = Delete;
  cf->cfSetMap       = SetMap;
  // default: cf->cfInpMult
  // default: cf->cfInpAdd
  cf->cfFarey        =Farey;
  cf->cfChineseRemainder=ChineseRemainder;
  cf->cfParDeg = ParDeg;
  cf->cfParameter = Parameter;
  //  cf->cfClearContent = ClearContent;
  //  cf->cfClearDenominators = ClearDenominators;
  cf->convFactoryNSingN=ConvFactoryNSingN;
  cf->convSingNFactoryN=ConvSingNFactoryN;
  cf->cfWriteFd = WriteFd;
  cf->cfReadFd  = ReadFd;
#ifdef LDEBUG
  cf->cfDBTest       = DBTest;
#endif
 
  cf->iNumberOfParameters = 1;
  char **pn=(char**)omAlloc0(sizeof(char*));
  pn[0]=(char*)omStrDup(pp->name);
  cf->pParameterNames = (const char **)pn;
  cf->has_simple_Inverse= FALSE;
  cf->has_simple_Alloc= FALSE;
  cf->is_field=FALSE;
 
  return FALSE;
}

Gcd()

static number Gcd ( number  a, number  b, const coeffs  r  )

static

Definition at line 333 of file flintcf_Zn.cc.

{
  nmod_poly_ptr res=(nmod_poly_ptr)omAlloc(sizeof(nmod_poly_t));
  nmod_poly_init(res,r->ch);
  nmod_poly_gcd(res,(nmod_poly_ptr)a,(nmod_poly_ptr)b);
  return (number)res;
}

Greater()

static BOOLEAN Greater ( number  a, number  b, const coeffs  r  )

static

Definition at line 287 of file flintcf_Zn.cc.

{
  if (nmod_poly_length((nmod_poly_ptr)a)>nmod_poly_length((nmod_poly_ptr)b))
    return TRUE;
   else if (nmod_poly_length((nmod_poly_ptr)a)<nmod_poly_length((nmod_poly_ptr)b))
     return FALSE;
   for(int i=nmod_poly_length((nmod_poly_ptr)a);i>=0;i--)
   {
     slong ac=nmod_poly_get_coeff_ui((nmod_poly_ptr)a,i);
     slong bc=nmod_poly_get_coeff_ui((nmod_poly_ptr)b,i);
     if (ac>bc) return TRUE;
     else if (ac<bc) return FALSE;
   }
   return FALSE;
}

GreaterZero()

static BOOLEAN GreaterZero ( number  k, const coeffs  r  )

static

Definition at line 320 of file flintcf_Zn.cc.

{
  // does it have a leading sign?
  // no: 0 and 1 do not have, everything else is in (...)
  return TRUE;
}

Init()

static number Init ( long  i, const coeffs  r  )

static

Definition at line 130 of file flintcf_Zn.cc.

{
  nmod_poly_ptr res=(nmod_poly_ptr)omAlloc(sizeof(nmod_poly_t));
  nmod_poly_init(res,r->ch);
  i= i%r->ch;
  if (i<0) i+=r->ch;
  nmod_poly_set_coeff_ui(res,0,i);
  return (number)res;
}

Init_bigint()

static number Init_bigint ( number  i, const coeffs  dummy, const coeffs  dst  )

static

Definition at line 373 of file flintcf_Zn.cc.

{
  nmod_poly_ptr res=(nmod_poly_ptr)omAlloc(sizeof(nmod_poly_t));
  nmod_poly_init(res,dst->ch);
  long ii;
  if (SR_HDL(i) & SR_INT)
  {
    ii=SR_TO_INT(i) % dst->ch;
  }
  else
  {
    mpz_t tmp;
    mpz_init(tmp);
    ii=mpz_mod_ui(tmp,i->z,dst->ch);
    mpz_clear(tmp);
  }
  if (ii<0) ii+=dst->ch;
  nmod_poly_set_coeff_ui(res,0,ii);
  return (number)res;
}

InitMPZ()

static number InitMPZ ( mpz_t  i, const coeffs  r  )

static

Definition at line 139 of file flintcf_Zn.cc.

{
  nmod_poly_ptr res=(nmod_poly_ptr)omAlloc(sizeof(nmod_poly_t));
  nmod_poly_init(res,r->ch);
  mpz_t tmp;
  mpz_init(tmp);
  slong ii=mpz_mod_ui(tmp,i,r->ch);
  mpz_clear(tmp);
  nmod_poly_set_coeff_ui(res,0,ii);
  return (number)res;
}

Int()

static long Int ( number &  n, const coeffs  r  )

static

Definition at line 154 of file flintcf_Zn.cc.

{
  if (nmod_poly_degree((nmod_poly_ptr)n)==0)
  {
    slong m;
    m=nmod_poly_get_coeff_ui((nmod_poly_ptr)n,0);
    return (long)m;
  }
  return 0;
}

IntMod()

static number IntMod ( number  a, number  b, const coeffs  c  )

static

Definition at line 123 of file flintcf_Zn.cc.

{
  nmod_poly_ptr res=(nmod_poly_ptr)omAlloc(sizeof(nmod_poly_t));
  nmod_poly_init(res,c->ch);
  nmod_poly_rem(res,(nmod_poly_ptr)a,(nmod_poly_ptr)b);
  return (number)res;
}

Invers()

static number Invers ( number  a, const coeffs  r  )

static

Definition at line 179 of file flintcf_Zn.cc.

{
  if(nmod_poly_is_zero((nmod_poly_ptr)a))
  {
    WerrorS(nDivBy0);
    return NULL;
  }
  if (nmod_poly_degree((nmod_poly_ptr)a)==0)
  {
    nmod_poly_ptr res=(nmod_poly_ptr)omAlloc(sizeof(nmod_poly_t));
    nmod_poly_init(res,r->ch);
    slong c=nmod_poly_get_coeff_ui((nmod_poly_ptr)a,0);
    extern number  nvInvers (number c, const coeffs r);
    c=(slong)nvInvers((number)c,r);
    nmod_poly_set_coeff_ui((nmod_poly_ptr)a,0,c);
    return (number)res;
  }
  else
  {
    WerrorS("not invertable");
    return NULL;
  }
}

IsMOne()

static BOOLEAN IsMOne ( number  k, const coeffs  r  )

static

Definition at line 314 of file flintcf_Zn.cc.

{
  if (nmod_poly_length((nmod_poly_ptr)k)>0) return FALSE;
  slong m=nmod_poly_get_coeff_ui((nmod_poly_ptr)k,0);
  return (m+1==r->ch);
}

IsOne()

static BOOLEAN IsOne ( number  a, const coeffs  r  )

static

Definition at line 310 of file flintcf_Zn.cc.

{
  return nmod_poly_is_one((nmod_poly_ptr)a);
}

IsZero()

static BOOLEAN IsZero ( number  a, const coeffs  r  )

static

Definition at line 306 of file flintcf_Zn.cc.

{
  return nmod_poly_is_zero((nmod_poly_ptr)a);
}

KillChar()

static void KillChar ( coeffs  r )

static

Definition at line 60 of file flintcf_Zn.cc.

{
  // not yet
}

Lcm()

static number Lcm ( number  a, number  b, const coeffs  r  )

static

Definition at line 349 of file flintcf_Zn.cc.

{
  WerrorS("not yet: Lcm");
}

MPZ()

static void MPZ ( mpz_t  result, number &  n, const coeffs  r  )

static

Definition at line 164 of file flintcf_Zn.cc.

{
  mpz_init(result);
  if (nmod_poly_degree((nmod_poly_ptr)n)==0)
  {
    slong m;
    m=nmod_poly_get_coeff_ui((nmod_poly_ptr)n,0);
    mpz_set_ui(result,m);
  }
}

Mult()

static number Mult ( number  a, number  b, const coeffs  c  )

static

Definition at line 68 of file flintcf_Zn.cc.

{
  nmod_poly_ptr res=(nmod_poly_ptr)omAlloc(sizeof(*res));
  nmod_poly_init(res,c->ch);
  nmod_poly_mul(res,(nmod_poly_ptr)a,(nmod_poly_ptr)b);
  return (number)res;
}

Neg()

static number Neg ( number  a, const coeffs  r  )

static

Definition at line 174 of file flintcf_Zn.cc.

{
  nmod_poly_neg((nmod_poly_ptr)a,(nmod_poly_ptr)a);
  return a;
}

Normalize()

static void Normalize ( number &  a, const coeffs  r  )

static

Definition at line 284 of file flintcf_Zn.cc.

{
}

Parameter()

static number Parameter ( const int  i, const coeffs  r  )

static

Definition at line 405 of file flintcf_Zn.cc.

{
  nmod_poly_ptr res=(nmod_poly_ptr)omAlloc(sizeof(nmod_poly_t));
  nmod_poly_init(res,r->ch);
  nmod_poly_set_coeff_ui(res,1,1);
  return (number)res;
}

ParDeg()

static int ParDeg ( number  x, const coeffs  r  )

static

Definition at line 401 of file flintcf_Zn.cc.

{
  return nmod_poly_degree((nmod_poly_ptr)x);
}

Power()

static void Power ( number  a, int  i, number *  result, const coeffs  r  )

static

Definition at line 326 of file flintcf_Zn.cc.

{
  nmod_poly_ptr res=(nmod_poly_ptr)omAlloc(sizeof(nmod_poly_t));
  nmod_poly_init(res,r->ch);
  *result=(number)res;
  nmod_poly_pow((nmod_poly_ptr)(*result),(nmod_poly_ptr)a,i);
}

Read()

static const char* Read ( const char *  st, number *  a, const coeffs  r  )

static

Definition at line 250 of file flintcf_Zn.cc.

{
// we only read "monomials" (i.e. [-][digits][parameter]),
// everythings else (+,*,^,()) is left to the singular interpreter
  const char *s=st;
  *a=(number)omAlloc(sizeof(nmod_poly_t));
  nmod_poly_init((nmod_poly_ptr)(*a),r->ch);
  BOOLEAN neg=FALSE;
  if (*s=='-') { neg=TRUE; s++;}
  if (isdigit(*s))
  {
    int z;
    s=Eati((char *)s, &z);
    nmod_poly_set_coeff_ui((nmod_poly_ptr)(*a),0,z);
  }
  else if(strncmp(s,r->pParameterNames[0],strlen(r->pParameterNames[0]))==0)
  {
    nmod_poly_set_coeff_ui((nmod_poly_ptr)(*a),1,1);
    s+=strlen(r->pParameterNames[0]);
    if(isdigit(*s))
    {
      int i=1;
      s=Eati(s,&i);
      if (i!=1)
      {
        nmod_poly_set_coeff_ui((nmod_poly_ptr)(*a),1,0);
        nmod_poly_set_coeff_ui((nmod_poly_ptr)(*a),i,1);
      }
    }
  }
  if (neg)
    nmod_poly_neg((nmod_poly_ptr)(*a),(nmod_poly_ptr)(*a));
  return s;
}

ReadFd()

static number ReadFd ( s_buff  f, const coeffs  r  )

static

Definition at line 445 of file flintcf_Zn.cc.

{
  // format: len a_len .. a_0
  nmod_poly_ptr aa=(nmod_poly_ptr)omAlloc(sizeof(nmod_poly_t));
  nmod_poly_init(aa,r->ch);
  int l=s_readint(f);
  unsigned long ul;
  for (int i=l;i>=0;i--)
  {
    unsigned long ul=s_readlong(f);
    nmod_poly_set_coeff_ui(aa,i,ul);
  }
  return (number)aa;
}

SetChar()

static void SetChar ( const coeffs  r )

static

Definition at line 64 of file flintcf_Zn.cc.

{
  // dummy
}

SetMap()

static nMapFunc SetMap ( const coeffs  src, const coeffs  dst  )

static

Definition at line 362 of file flintcf_Zn.cc.

{
  WerrorS("not yet: SetMap");
  return NULL;
}

Size()

static int Size ( number  n, const coeffs  r  )

static

Definition at line 150 of file flintcf_Zn.cc.

{
  return nmod_poly_degree((nmod_poly_ptr)n);
}

Sub()

static number Sub ( number  a, number  b, const coeffs  c  )

static

Definition at line 75 of file flintcf_Zn.cc.

{
  nmod_poly_ptr res=(nmod_poly_ptr)omAlloc(sizeof(nmod_poly_t));
  nmod_poly_init(res,c->ch);
  nmod_poly_sub(res,(nmod_poly_ptr)a,(nmod_poly_ptr)b);
  return (number)res;
}

WriteFd()

static void WriteFd ( number  a, FILE *  f, const  coeffs  )

static

Definition at line 433 of file flintcf_Zn.cc.

{
  // format: len a_len .. a_0
  nmod_poly_ptr aa=(nmod_poly_ptr)a;
  int l=nmod_poly_length(aa);
  fprintf(f,"%d ",l);
  for(int i=l; i>=0; i--)
  {
    ulong ul=nmod_poly_get_coeff_ui(aa,i);
    fprintf(f,"%lu ", ul);
  }
}

WriteShort()

static void WriteShort ( number  a, const coeffs  r  )

static

Definition at line 220 of file flintcf_Zn.cc.

{
  //nmod_poly_print_pretty((nmod_poly_ptr)a,r->pParameterNames[0]);
  if (IsOne(a,r)) StringAppendS("1");
  else if (IsZero(a,r)) StringAppendS("0");
  else
  {
    StringAppendS("(");
    BOOLEAN need_plus=FALSE;
    for(int i=nmod_poly_length((nmod_poly_ptr)a);i>=0;i--)
    {
      slong m=nmod_poly_get_coeff_ui((nmod_poly_ptr)a,i);
      if (m!=0)
      {
        if (need_plus) StringAppendS("+");
        need_plus=TRUE;
        if (i>0)
        {
          if (m!=1) StringAppend("%d*",(int)m);
          if (i>1)
            StringAppend("%s^%d",r->pParameterNames[0],i);
          else if (i==1)
            StringAppend("%s",r->pParameterNames[0]);
        }
        else StringAppend("%d",(int)m);
      }
    }
    StringAppendS(")");
  }
}