CLeadingTerm Class Reference

#include <syzextra.h>

Public Member Functions
	CLeadingTerm (unsigned int label, const poly lt, const ring)
	~CLeadingTerm ()
bool	DivisibilityCheck (const poly multiplier, const poly t, const unsigned long not_sev, const ring r) const
	as DivisibilityCheck(multiplier * t, ...) for monomial 'm' and a module term 't' More...
bool	DivisibilityCheck (const poly product, const unsigned long not_sev, const ring r) const
bool	CheckLT (const ideal &L) const
poly	lt () const
unsigned long	sev () const
unsigned int	label () const

Private Member Functions
	CLeadingTerm ()
	CLeadingTerm (const CLeadingTerm &)
void	operator= (const CLeadingTerm &)

Private Attributes
const unsigned long	m_sev
	not short exp. vector More...
const unsigned int	m_label
	index in the main L[] + 1 More...
const poly	m_lt
	the leading term itself L[label-1] More...
const ring	_R
const poly	m_lt_copy
	original copy of LEAD(lt) (only for debug!!!) More...

Detailed Description

Definition at line 260 of file syzextra.h.

Constructor & Destructor Documentation

CLeadingTerm::CLeadingTerm	(	unsigned int	label,
		const poly	lt,
		const ring	R
	)

Definition at line 2070 of file syzextra.cc.

                                                                            :
    m_sev( p_GetShortExpVector(_lt, R) ),  m_label( _label ),  m_lt( _lt )
#ifndef SING_NDEBUG
    , _R(R), m_lt_copy( myp_Head(_lt, true, R) ) // note that p_LmEqual only tests exponents!
#endif
{
#ifndef SING_NDEBUG
  assume( pNext(m_lt_copy) == NULL );
#endif
  assume( sev() == p_GetShortExpVector(lt(), R) );
}

CLeadingTerm::~CLeadingTerm

(

)

Definition at line 2083 of file syzextra.cc.

{
  assume( p_LmEqual(m_lt, m_lt_copy, _R) );
  assume( m_sev == p_GetShortExpVector(m_lt, _R) );

  poly p = const_cast<poly>(m_lt_copy);
  p_Delete(&p, _R);
}

CLeadingTerm::CLeadingTerm ( )

private

CLeadingTerm::CLeadingTerm ( const CLeadingTerm &  )

private

Member Function Documentation

bool CLeadingTerm::CheckLT

(

const ideal &

L

)

const

Definition at line 2207 of file syzextra.cc.

{
//  for( int i = IDELEMS(L); i >= 0; --i) assume( pNext(L->m[i]) == NULL ); // ???
  return ( L->m[label()] == lt() );
}

bool CLeadingTerm::DivisibilityCheck	(	const poly	multiplier,
		const poly	t,
		const unsigned long	not_sev,
		const ring	r
	)		const

as DivisibilityCheck(multiplier * t, ...) for monomial 'm' and a module term 't'

Definition at line 2238 of file syzextra.cc.

{
  assume ( !n_IsZero( p_GetCoeff(lt(), r), r ) );
  assume( sev() == p_GetShortExpVector(lt(), r) );

  assume( m != NULL );
  assume( t != NULL );
  assume ( !n_IsZero( p_GetCoeff(m, r), r ) );
  assume ( !n_IsZero( p_GetCoeff(t, r), r ) );

// assume( p_GetComp(m, r) == 0 );
  assume( (p_GetComp(lt(), r) == p_GetComp(t, r))  || (p_GetComp(lt(), r) == 0)  );

  p_Test(m, r);
  p_Test(t, r);
//  const int k = label();
//  assume( m_L->m[k] == p );

#ifndef SING_NDEBUG
  assume( r == _R );
#endif

  if (sev() & not_sev)
    return false;

  return _p_LmDivisibleByNoComp(lt(), m, t, r);
//  return p_LmShortDivisibleByNoComp(p, p_sev, product, not_sev, r);
}

bool CLeadingTerm::DivisibilityCheck	(	const poly	product,
		const unsigned long	not_sev,
		const ring	r
	)		const

Definition at line 2213 of file syzextra.cc.

{
  // may have no coeff yet
//  assume ( !n_IsZero( p_GetCoeff(product, r), r ) );

  assume ( !n_IsZero( p_GetCoeff(lt(), r), r ) );
  assume( sev() == p_GetShortExpVector(lt(), r) );

  assume( product != NULL );
  assume( (p_GetComp(lt(), r) == p_GetComp(product, r)) || (p_GetComp(lt(), r) == 0) );

#ifndef SING_NDEBUG
  assume( r == _R );
#endif

//  const int k = label();
//  assume( m_L->m[k] == p );

  return p_LmShortDivisibleByNoComp(lt(), sev(), product, not_sev, r);

}

unsigned int CLeadingTerm::label

(

)

const

Definition at line 2105 of file syzextra.cc.

{
  assume( p_LmEqual(m_lt, m_lt_copy, _R) );
  assume( m_sev == p_GetShortExpVector(m_lt, _R) );
  return m_label;
}

poly CLeadingTerm::lt

(

)

const

Definition at line 2091 of file syzextra.cc.

{
  assume( p_LmEqual(m_lt, m_lt_copy, _R) );
  assume( m_sev == p_GetShortExpVector(m_lt, _R) );
  return m_lt;
}

void CLeadingTerm::operator= ( const CLeadingTerm &  )

private

unsigned long CLeadingTerm::sev

(

)

const

Definition at line 2098 of file syzextra.cc.

{
  assume( p_LmEqual(m_lt, m_lt_copy, _R) );
  assume( m_sev == p_GetShortExpVector(m_lt, _R) );
  return m_sev;
}

Field Documentation

const ring CLeadingTerm::_R

private

Definition at line 295 of file syzextra.h.

const unsigned int CLeadingTerm::m_label

private

index in the main L[] + 1

Definition at line 290 of file syzextra.h.

const poly CLeadingTerm::m_lt

private

the leading term itself L[label-1]

Definition at line 292 of file syzextra.h.

const poly CLeadingTerm::m_lt_copy

private

original copy of LEAD(lt) (only for debug!!!)

Definition at line 297 of file syzextra.h.

const unsigned long CLeadingTerm::m_sev

private

not short exp. vector

Definition at line 287 of file syzextra.h.

---

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

• Singular/dyn_modules/syzextra/syzextra.h
• Singular/dyn_modules/syzextra/syzextra.cc