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 ()

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
char	is_normalized
char	is_redundant
char	is_sigsafe
char	is_special

Detailed Description

Definition at line 64 of file kutil.h.

Constructor & Destructor Documentation

sTObject() [1/4]

KINLINE sTObject::sTObject

(

ring

tailRing = currRing

)

Definition at line 113 of file kInline.h.

{
  Init(r);
}

sTObject() [2/4]

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

Definition at line 133 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 154 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 160 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 191 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 202 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 177 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 poly sTObject::GetLm

(

ring

r

)

Definition at line 240 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;
}

GetLm() [2/2]

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

Definition at line 252 of file kInline.h.

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

GetLmCurrRing()

KINLINE poly sTObject::GetLmCurrRing

(

)

Definition at line 220 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 227 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 408 of file kInline.h.

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

GetpLength()

KINLINE int sTObject::GetpLength

(

)

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

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

IsNull()

KINLINE BOOLEAN sTObject::IsNull

(

)

const

Definition at line 266 of file kInline.h.

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

LmDeleteAndIter()

KINLINE void sTObject::LmDeleteAndIter

(

)

Definition at line 291 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 312 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 283 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 429 of file kInline.h.

{
  assume(p != NULL);
  if (TEST_OPT_CONTENTSB)
  {
    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);
  }
  else
  {
    if (t_p != NULL)
    {
      p_ProjectiveUnique(t_p, tailRing);
      pSetCoeff0(p, pGetCoeff(t_p));
    }
    else
    {
      p_ProjectiveUnique(p, currRing);
    }
  }
}

pFDeg()

KINLINE long sTObject::pFDeg

(

)

const

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

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

pNorm()

KINLINE void sTObject::pNorm

(

)

Definition at line 467 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 398 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

(

ring

r = currRing

)

Definition at line 103 of file kInline.h.

{
  tailRing = r;
}

Set() [2/3]

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

Definition at line 117 of file kInline.h.

{
  if (r != currRing)
  {
    assume(r == tailRing);
    p_Test(p_in, r);
    t_p = p_in;
  }
  else
  {
    p_Test(p_in, currRing);
    p = p_in;
  }
  pLength=::pLength(p_in);
}

Set() [3/3]

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

Definition at line 139 of file kInline.h.

{
  if (c_r != t_r)
  {
    assume(c_r == currRing && t_r == tailRing);
    p_Test(p_in, currRing);
    p = p_in;
    pLength=::pLength(p_in);
  }
  else
  {
    Set(p_in, c_r);
  }
}

SetDegStuffReturnLDeg()

KINLINE long sTObject::SetDegStuffReturnLDeg

(

)

Definition at line 417 of file kInline.h.

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

SetLmCurrRing()

KINLINE void sTObject::SetLmCurrRing

(

)

Definition at line 277 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 403 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 352 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;
}

Field Documentation

ecart

int sTObject::ecart

Definition at line 74 of file kutil.h.

FDeg

long sTObject::FDeg

Definition at line 73 of file kutil.h.

i_r

int sTObject::i_r

Definition at line 74 of file kutil.h.

is_normalized

char sTObject::is_normalized

Definition at line 78 of file kutil.h.

is_redundant

char sTObject::is_redundant

Definition at line 84 of file kutil.h.

is_sigsafe

char sTObject::is_sigsafe

Definition at line 89 of file kutil.h.

is_special

char sTObject::is_special

Definition at line 93 of file kutil.h.

length

int sTObject::length

Definition at line 74 of file kutil.h.

max_exp

poly sTObject::max_exp

Definition at line 71 of file kutil.h.

p

poly sTObject::p

Definition at line 69 of file kutil.h.

pLength

int sTObject::pLength

Definition at line 74 of file kutil.h.

sevSig

unsigned long sTObject::sevSig

Definition at line 67 of file kutil.h.

sig

poly sTObject::sig

Definition at line 68 of file kutil.h.

t_p

poly sTObject::t_p

Definition at line 70 of file kutil.h.

tailRing

ring sTObject::tailRing

Definition at line 72 of file kutil.h.

---

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

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