sTObject Class Reference

#include <kutil.h>

Public Member Functions
KINLINE void	Init (ring r=currRing)
KINLINE	sTObject (ring tailRing=currRing)
KINLINE	sTObject (poly p, ring tailRing=currRing)
KINLINE	sTObject (poly p, ring c_r, ring tailRing)
KINLINE	sTObject (sTObject *T, int copy)
KINLINE void	Set (ring r=currRing)
KINLINE void	Set (poly p_in, ring r=currRing)
KINLINE void	Set (poly p_in, ring c_r, ring t_r)
KINLINE void	Delete ()
KINLINE void	Clear ()
KINLINE void	Copy ()
KINLINE poly	GetLmCurrRing ()
KINLINE poly	GetLmTailRing ()
KINLINE poly	GetLm (ring r)
KINLINE void	GetLm (poly &p, ring &r) const
KINLINE BOOLEAN	IsNull () const
KINLINE int	GetpLength ()
KINLINE void	SetLmCurrRing ()
KINLINE poly	Next ()
KINLINE void	LmDeleteAndIter ()
KINLINE long	pTotalDeg () const
KINLINE long	pFDeg () const
KINLINE long	SetpFDeg ()
KINLINE long	GetpFDeg () const
KINLINE long	pLDeg ()
KINLINE long	SetDegStuffReturnLDeg ()
KINLINE void	Mult_nn (number n)
KINLINE void	ShallowCopyDelete (ring new_tailRing, omBin new_tailBin, pShallowCopyDeleteProc p_shallow_copy_delete, BOOLEAN set_max=TRUE)
KINLINE void	pNorm ()
KINLINE void	pCleardenom ()
KINLINE void	pContent ()
void	wrp ()

Data Fields
unsigned long	sevSig
poly	sig
poly	p
poly	t_p
poly	max_exp
ring	tailRing
long	FDeg
int	ecart
int	length
int	pLength
int	i_r
int	shift
char	is_normalized
char	is_redundant
char	is_sigsafe
char	is_special

Detailed Description

Definition at line 68 of file kutil.h.

Constructor & Destructor Documentation

sTObject() [1/4]

KINLINE sTObject::sTObject

(

ring

tailRing = currRing

)

Definition at line 116 of file kInline.h.

{
  Init(r);
}

sTObject() [2/4]

KINLINE sTObject::sTObject	(	poly	p,
		ring	tailRing = currRing
	)

Definition at line 156 of file kInline.h.

{
  Init(r);
  Set(p_in, r);
}

sTObject() [3/4]

KINLINE sTObject::sTObject	(	poly	p,
		ring	c_r,
		ring	tailRing
	)

Definition at line 187 of file kInline.h.

{
  Init(t_r);
  Set(p_in, c_r, t_r);
}

sTObject() [4/4]

KINLINE sTObject::sTObject	(	sTObject *	T,
		int	copy
	)

Definition at line 193 of file kInline.h.

{
  *this = *T;
  if (copy)
  {
    if (t_p != NULL)
    {
      t_p = p_Copy(t_p, tailRing);
      p = k_LmInit_tailRing_2_currRing(t_p, tailRing);
    }
    else
    {
      p = p_Copy(p, currRing);
    }
  }
}

Member Function Documentation

Clear()

KINLINE void sTObject::Clear

(

)

Definition at line 224 of file kInline.h.

{
  p = NULL;
  t_p = NULL;
  ecart = 0;
  length = 0;
  pLength = 0;
  FDeg = 0;
  is_normalized = FALSE;
}

Copy()

KINLINE void sTObject::Copy

(

)

Definition at line 235 of file kInline.h.

{
  if (t_p != NULL)
  {
    t_p = p_Copy(t_p, tailRing);
    if (p != NULL) /* and t_p!=NULL*/
    {
      p = p_LmInit(p, currRing);
      pGetCoeff(p)=pGetCoeff(t_p);
      pNext(p) = pNext(t_p);
    }
  }
  else
  {
    p = p_Copy(p, currRing);
  }
}

Delete()

KINLINE void sTObject::Delete

(

)

Definition at line 210 of file kInline.h.

{
  if (t_p != NULL)
  {
    p_Delete(&t_p, tailRing);
    if (p != NULL)
      p_LmFree(p, currRing);
  }
  else
  {
    p_Delete(&p, currRing);
  }
}

GetLm() [1/2]

KINLINE void sTObject::GetLm	(	poly &	p,
		ring &	r
	)		const

Definition at line 285 of file kInline.h.

{
  if (t_p != NULL)
  {
    p_r = t_p;
    r_r = tailRing;
  }
  else
  {
    p_r = p;
    r_r = currRing;
  }
}

GetLm() [2/2]

KINLINE poly sTObject::GetLm

(

ring

r

)

Definition at line 273 of file kInline.h.

{
  assume(r == tailRing || r == currRing);
  if (r == currRing)
    return GetLmCurrRing();
 
  if (t_p == NULL && p != NULL)
    t_p = k_LmInit_currRing_2_tailRing(p, tailRing);
 
  return t_p;
}

GetLmCurrRing()

KINLINE poly sTObject::GetLmCurrRing

(

)

Definition at line 253 of file kInline.h.

{
  if (p == NULL && t_p != NULL)
    p = k_LmInit_tailRing_2_currRing(t_p, tailRing);
 
  return p;
}

GetLmTailRing()

KINLINE poly sTObject::GetLmTailRing

(

)

Definition at line 260 of file kInline.h.

{
  if (t_p == NULL)
  {
    if (p != NULL && tailRing != currRing)
    {
      t_p = k_LmInit_currRing_2_tailRing(p, tailRing);
      return t_p;
    }
    return p;
  }
  return t_p;
}

GetpFDeg()

KINLINE long sTObject::GetpFDeg

(

)

const

Definition at line 448 of file kInline.h.

{
  assume(FDeg == this->pFDeg());
  return FDeg;
}

GetpLength()

KINLINE int sTObject::GetpLength

(

)

Definition at line 304 of file kInline.h.

{
  if (pLength <= 0) pLength = ::pLength(p != NULL ? p : t_p);
  return pLength;
}

Init()

KINLINE void sTObject::Init

(

ring

r = currRing

)

Definition at line 110 of file kInline.h.

{
  memset(this, 0, sizeof(sTObject));
  i_r = -1;
  Set(r);
}

IsNull()

KINLINE BOOLEAN sTObject::IsNull

(

)

const

Definition at line 299 of file kInline.h.

{
  return (p == NULL && t_p == NULL);
}

LmDeleteAndIter()

KINLINE void sTObject::LmDeleteAndIter

(

)

Definition at line 324 of file kInline.h.

{
  assume(p != NULL || t_p != NULL);
  if (t_p != NULL)
  {
    t_p = p_LmDeleteAndNext(t_p, tailRing);
    if (p != NULL)
    {
      p_LmFree(p, currRing);
      p = NULL;
    }
  }
  else
  {
    p = p_LmDeleteAndNext(p, currRing);
  }
  is_normalized = FALSE;
}

Mult_nn()

KINLINE void sTObject::Mult_nn

(

number

n

)

Definition at line 345 of file kInline.h.

{
  if (t_p != NULL)
  {
    t_p = p_Mult_nn(t_p, n, tailRing);
    if (p != NULL) pSetCoeff0(p, pGetCoeff(t_p));
  }
  else
  {
    p = p_Mult_nn(p, n, currRing, tailRing);
  }
}

Next()

KINLINE poly sTObject::Next

(

)

Definition at line 316 of file kInline.h.

{
  assume(p != NULL || t_p != NULL);
  if (t_p != NULL) return pNext(t_p);
  return pNext(p);
}

pCleardenom()

KINLINE void sTObject::pCleardenom

(

)

Definition at line 469 of file kInline.h.

{
  assume(p != NULL);
  BOOLEAN is_ring=rField_is_Ring(currRing);
  if ((TEST_OPT_CONTENTSB) && (!is_ring))
  {
    number n;
    if (t_p != NULL)
    {
      p_Cleardenom_n(t_p, tailRing, n);
      pSetCoeff0(p, pGetCoeff(t_p));
    }
    else
    {
      p_Cleardenom_n(p, currRing, n);
    }
    if (!nIsOne(n))
    {
      denominator_list denom=(denominator_list)omAlloc(sizeof(denominator_list_s));
      denom->n=nInvers(n);
      denom->next=DENOMINATOR_LIST;
      DENOMINATOR_LIST=denom;
    }
    nDelete(&n);
  }
  #ifdef HAVE_RINGS
  else if (is_ring)
  {
    number c;
    if (t_p != NULL)
      c=pGetCoeff(t_p);
    else
      c=pGetCoeff(p);
    const coeffs C=tailRing->cf;
    number u=n_GetUnit(c,C);
 
    if (t_p != NULL)
    {
      if (!n_IsOne(u,C))
      {
        number uInv = n_Invers(u, C);
        t_p=p_Mult_nn(t_p,uInv,tailRing);
        n_Delete(&uInv,C);
      }
      if(!n_GreaterZero(pGetCoeff(t_p),tailRing->cf))
      {
        t_p = p_Neg(t_p,tailRing);
      }
      pSetCoeff0(p, pGetCoeff(t_p));
    }
    else
    {
      if (!n_IsOne(u,C))
      {
        number uInv = n_Invers(u, C);
        p=p_Mult_nn(p,uInv,tailRing);
        n_Delete(&uInv,C);
      }
      if(!n_GreaterZero(pGetCoeff(p),tailRing->cf))
      {
        p = p_Neg(p,tailRing);
      }
    }
    n_Delete(&u,C);
  }
  #endif
  else
  {
    if (t_p != NULL)
    {
      p_ProjectiveUnique(t_p, tailRing);
      pSetCoeff0(p, pGetCoeff(t_p));
    }
    else
    {
      p_ProjectiveUnique(p, currRing);
    }
  }
}

pContent()

KINLINE void sTObject::pContent

(

)

Definition at line 549 of file kInline.h.

{
  assume(p != NULL);
  if (t_p != NULL)
  {
    p_SimpleContent(t_p, 1, tailRing);
    if (!n_GreaterZero(pGetCoeff(t_p),tailRing->cf))
    {
      t_p=p_Neg (t_p,tailRing);
    }
    pSetCoeff0(p, pGetCoeff(t_p));
  }
  else
  {
    p_SimpleContent(p, 1, currRing);
    if (!n_GreaterZero(pGetCoeff(p),currRing->cf))
    {
      p=p_Neg (p,currRing);
    }
  }
}

pFDeg()

KINLINE long sTObject::pFDeg

(

)

const

Definition at line 433 of file kInline.h.

{
  if (p != NULL) return p_FDeg(p, currRing);
  return tailRing->pFDeg(t_p, tailRing);
}

pLDeg()

KINLINE long sTObject::pLDeg

(

)

Definition at line 453 of file kInline.h.

{
  return tailRing->pLDeg(GetLmTailRing(), &length, tailRing);
}

pNorm()

KINLINE void sTObject::pNorm

(

)

Definition at line 571 of file kInline.h.

{
  assume(p != NULL);
  if (! is_normalized)
  {
    p_Norm(p, currRing);
    if (t_p != NULL)
      pSetCoeff0(t_p, pGetCoeff(p));
    is_normalized = TRUE;
  }
}

pTotalDeg()

KINLINE long sTObject::pTotalDeg

(

)

const

Definition at line 438 of file kInline.h.

{
  if (p != NULL) return p_Totaldegree(p, currRing);
  return p_Totaldegree(t_p,tailRing);
}

Set() [1/3]

KINLINE void sTObject::Set	(	poly	p_in,
		ring	c_r,
		ring	t_r
	)

Definition at line 162 of file kInline.h.

{
  if (c_r != t_r)
  {
    assume(c_r == currRing && t_r == tailRing);
#ifdef HAVE_SHIFTBBA
    if (c_r->isLPring)
    {
      shift = si_max(p_mFirstVblock(p_in, c_r) - 1, 0);
      if (!shift) p_Test(p_in, currRing);
    }
    else
#endif
    {
      p_Test(p_in, currRing);
    }
    p = p_in;
    pLength=::pLength(p_in);
  }
  else
  {
    Set(p_in, c_r);
  }
}

Set() [2/3]

KINLINE void sTObject::Set	(	poly	p_in,
		ring	r = currRing
	)

Definition at line 120 of file kInline.h.

{
  if (r != currRing)
  {
    assume(r == tailRing);
#ifdef HAVE_SHIFTBBA
    if (r->isLPring)
    {
      shift = si_max(p_mFirstVblock(p_in, r) - 1, 0);
      if (!shift) p_Test(p_in, r);
    }
    else
#endif
    {
      p_Test(p_in, r);
    }
    t_p = p_in;
  }
  else
  {
#ifdef HAVE_SHIFTBBA
    if (currRing->isLPring)
    {
      shift = si_max(p_mFirstVblock(p_in, currRing) - 1, 0);
      if (!shift) p_Test(p_in, currRing);
    }
    else
#endif
    {
      p_Test(p_in, currRing);
    }
    p = p_in;
  }
  pLength=::pLength(p_in);
}

Set() [3/3]

KINLINE void sTObject::Set

(

ring

r = currRing

)

Definition at line 106 of file kInline.h.

{
  tailRing = r;
}

SetDegStuffReturnLDeg()

KINLINE long sTObject::SetDegStuffReturnLDeg

(

)

Definition at line 457 of file kInline.h.

{
  FDeg = this->pFDeg();
  long d = this->pLDeg();
  ecart = d - FDeg;
  return d;
}

SetLmCurrRing()

KINLINE void sTObject::SetLmCurrRing

(

)

Definition at line 310 of file kInline.h.

{
  if (p == NULL && t_p != NULL)
    p = k_LmInit_tailRing_2_currRing(t_p, tailRing);
}

SetpFDeg()

KINLINE long sTObject::SetpFDeg

(

)

Definition at line 443 of file kInline.h.

{
  FDeg = this->pFDeg();
  return FDeg;
}

ShallowCopyDelete()

KINLINE void sTObject::ShallowCopyDelete	(	ring	new_tailRing,
		omBin	new_tailBin,
		pShallowCopyDeleteProc	p_shallow_copy_delete,
		BOOLEAN	set_max = TRUE
	)

Definition at line 392 of file kInline.h.

{
  if (new_tailBin == NULL) new_tailBin = new_tailRing->PolyBin;
  if (t_p != NULL)
  {
    t_p = p_shallow_copy_delete(t_p, tailRing, new_tailRing, new_tailBin);
    if (p != NULL)
      pNext(p) = pNext(t_p);
    if (new_tailRing == currRing)
    {
      if (p == NULL) p = t_p;
      else p_LmFree(t_p, tailRing);
      t_p = NULL;
    }
  }
  else if (p != NULL) /* && t_p==NULL */
  {
    if (pNext(p) != NULL)
    {
      pNext(p) = p_shallow_copy_delete(pNext(p),
                                       tailRing, new_tailRing, new_tailBin);
    }
    if (new_tailRing != currRing)
    {
      t_p = k_LmInit_currRing_2_tailRing(p, new_tailRing);
      pNext(t_p) = pNext(p);
    }
  }
  if (max_exp != NULL)
  {
    max_exp = p_shallow_copy_delete(max_exp,tailRing,new_tailRing,new_tailBin);
  }
  else if (set_max && pNext(t_p) != NULL)
  {
    max_exp = p_GetMaxExpP(pNext(t_p), new_tailRing);
  }
  tailRing = new_tailRing;
}

wrp()

void sTObject::wrp

(

)

Definition at line 797 of file kutil.cc.

{
  if (t_p != NULL) p_wrp(t_p, tailRing);
  else if (p != NULL) p_wrp(p, currRing, tailRing);
  else ::wrp(NULL);
}

Field Documentation

ecart

int sTObject::ecart

Definition at line 78 of file kutil.h.

FDeg

long sTObject::FDeg

Definition at line 77 of file kutil.h.

i_r

int sTObject::i_r

Definition at line 81 of file kutil.h.

is_normalized

char sTObject::is_normalized

Definition at line 87 of file kutil.h.

is_redundant

char sTObject::is_redundant

Definition at line 93 of file kutil.h.

is_sigsafe

char sTObject::is_sigsafe

Definition at line 98 of file kutil.h.

is_special

char sTObject::is_special

Definition at line 102 of file kutil.h.

length

int sTObject::length

Definition at line 79 of file kutil.h.

max_exp

poly sTObject::max_exp

Definition at line 75 of file kutil.h.

p

poly sTObject::p

Definition at line 73 of file kutil.h.

pLength

int sTObject::pLength

Definition at line 80 of file kutil.h.

sevSig

unsigned long sTObject::sevSig

Definition at line 71 of file kutil.h.

shift

int sTObject::shift

Definition at line 84 of file kutil.h.

sig

poly sTObject::sig

Definition at line 72 of file kutil.h.

t_p

poly sTObject::t_p

Definition at line 74 of file kutil.h.

tailRing

ring sTObject::tailRing

Definition at line 76 of file kutil.h.

---

The documentation for this class was generated from the following files:

• kernel/GBEngine/kutil.h
• kernel/GBEngine/kInline.h
• kernel/GBEngine/kutil.cc