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 145 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 176 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 182 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 213 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 224 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 199 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 274 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 262 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 242 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 249 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 437 of file kInline.h.

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

GetpLength()

KINLINE int sTObject::GetpLength

(

)

Definition at line 293 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 288 of file kInline.h.

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

LmDeleteAndIter()

KINLINE void sTObject::LmDeleteAndIter

(

)

Definition at line 313 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 334 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 305 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 458 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 538 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 422 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 442 of file kInline.h.

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

pNorm()

KINLINE void sTObject::pNorm

(

)

Definition at line 560 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 427 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 151 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.

{
#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);
  }
  if (r != currRing)
  {
    assume(r == tailRing);
    t_p = p_in;
  }
  else
  {
    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 446 of file kInline.h.

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

SetLmCurrRing()

KINLINE void sTObject::SetLmCurrRing

(

)

Definition at line 299 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 432 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 381 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 773 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