number2.cc File Reference

#include "kernel/mod2.h"
#include <reporter/reporter.h>
#include <coeffs/numbers.h>
#include <coeffs/rmodulon.h>
#include <coeffs/bigintmat.h>
#include <coeffs/longrat.h>
#include <polys/ext_fields/algext.h>
#include <misc/prime.h>
#include <Singular/blackbox.h>
#include <Singular/ipshell.h>
#include <Singular/ipconv.h>
#include <Singular/ipid.h>
#include <Singular/number2.h>

Go to the source code of this file.

Functions
char *	crString (coeffs c)
void	crPrint (coeffs c)
BOOLEAN	jjCRING_Zp (leftv res, leftv a, leftv b)
BOOLEAN	jjCRING_Zm (leftv res, leftv a, leftv b)
BOOLEAN	jjEQUAL_CR (leftv res, leftv a, leftv b)

Function Documentation

crPrint()

void crPrint

(

coeffs

c

)

Definition at line 25 of file number2.cc.

{
  char *s=crString(c);
  PrintS(s);
  omFree(s);
}

crString()

char* crString

(

coeffs

c

)

Definition at line 17 of file number2.cc.

{
  if (c==NULL)
  {
    return omStrDup("oo");
  }
  return omStrDup(nCoeffName(c));
}

jjCRING_Zm()

BOOLEAN jjCRING_Zm	(	leftv	res,
		leftv	a,
		leftv	b
	)

Definition at line 58 of file number2.cc.

{
  coeffs c1=(coeffs)a->Data();
  number i2=(number)b->Data();
  if (c1->type==n_Z)
  {
    ZnmInfo info;
    number modBase= (number) omAlloc(sizeof(mpz_t));
    nlGMP(i2,modBase,coeffs_BIGINT); // FIXME? TODO? // extern void   nlGMP(number &i, number n, const coeffs r); // to be replaced with n_MPZ(modBase,i2,coeffs_BIGINT); // ?
    info.base= (mpz_ptr)modBase;
    info.exp= 1;
    res->data=(void *)nInitChar(n_Zn,&info);
    return FALSE;
  }
  return TRUE;
}

jjCRING_Zp()

BOOLEAN jjCRING_Zp	(	leftv	res,
		leftv	a,
		leftv	b
	)

Definition at line 35 of file number2.cc.

{
  coeffs c1=(coeffs)a->Data();
  int    i2=(int)(long)b->Data();
  if (c1->type==n_Z)
  {
    if (i2==IsPrime(i2))
    {
      res->data=(void *)nInitChar(n_Zp,(void*)(long)i2);
    }
    else
    {
      ZnmInfo info;
      mpz_ptr modBase= (mpz_ptr) omAlloc(sizeof(mpz_t));
      mpz_init_set_ui(modBase,i2);
      info.base= modBase;
      info.exp= 1;
      res->data=(void *)nInitChar(n_Zn,&info);
    }
    return FALSE;
  }
  return TRUE;
}

jjEQUAL_CR()

BOOLEAN jjEQUAL_CR	(	leftv	res,
		leftv	a,
		leftv	b
	)

Definition at line 75 of file number2.cc.

{
  coeffs a2=(coeffs)a->Data();
  coeffs b2=(coeffs)b->Data();
  res->data=(void*)(long)(a2==b2);
  return FALSE;
}