My Project  debian-1:4.1.1-p2+ds-4build1
Public Member Functions | Static Public Member Functions | Private Member Functions | Private Attributes
CFormulaPowerMultiplier Class Reference

#include <ncSAFormula.h>

Public Member Functions

int NVars () const
 
ring GetBasering () const
 
 CFormulaPowerMultiplier (ring r)
 
virtual ~CFormulaPowerMultiplier ()
 
Enum_ncSAType GetPair (int i, int j) const
 
Enum_ncSATypeGetPair (int i, int j)
 
poly Multiply (int i, int j, const int n, const int m)
 

Static Public Member Functions

static Enum_ncSAType AnalyzePair (const ring r, int i, int j)
 
static poly Multiply (Enum_ncSAType type, const int i, const int j, const int n, const int m, const ring r)
 
static poly ncSA_1xy0x0y0 (const int i, const int j, const int n, const int m, const ring r)
 
static poly ncSA_Mxy0x0y0 (const int i, const int j, const int n, const int m, const ring r)
 
static poly ncSA_Qxy0x0y0 (const int i, const int j, const int n, const int m, const number m_q, const ring r)
 
static poly ncSA_1xy0x0yG (const int i, const int j, const int n, const int m, const number m_g, const ring r)
 
static poly ncSA_1xy0x0yT2 (const int i, const int j, const int n, const int m, const int k, const ring r)
 
static poly ncSA_1xyAx0y0 (const int i, const int j, const int n, const int m, const number m_shiftCoef, const ring r)
 
static poly ncSA_1xy0xBy0 (const int i, const int j, const int n, const int m, const number m_shiftCoef, const ring r)
 

Private Member Functions

 CFormulaPowerMultiplier ()
 
 CFormulaPowerMultiplier (const CFormulaPowerMultiplier &)
 
CFormulaPowerMultiplieroperator= (const CFormulaPowerMultiplier &)
 

Private Attributes

Enum_ncSATypem_SAPairTypes
 
const int m_NVars
 
const ring m_BaseRing
 

Detailed Description

Definition at line 26 of file ncSAFormula.h.

Constructor & Destructor Documentation

◆ CFormulaPowerMultiplier() [1/3]

CFormulaPowerMultiplier::CFormulaPowerMultiplier ( ring  r)

Definition at line 214 of file ncSAFormula.cc.

216  : m_NVars(r->N), m_BaseRing(r)
217 {
218 #if OUTPUT
219  PrintS("CFormulaPowerMultiplier::CFormulaPowerMultiplier(ring)!");
220  PrintLn();
221 #endif
222 
223  m_SAPairTypes = (Enum_ncSAType*)omAlloc0( ((NVars() * (NVars()-1)) / 2) * sizeof(Enum_ncSAType) );
224 
225  for( int i = 1; i < NVars(); i++ )
226  for( int j = i + 1; j <= NVars(); j++ )

◆ ~CFormulaPowerMultiplier()

CFormulaPowerMultiplier::~CFormulaPowerMultiplier ( )
virtual

Definition at line 231 of file ncSAFormula.cc.

234 {
235 #if OUTPUT
236  PrintS("CFormulaPowerMultiplier::~CFormulaPowerMultiplier()!");
237  PrintLn();
238 #endif
239 

◆ CFormulaPowerMultiplier() [2/3]

CFormulaPowerMultiplier::CFormulaPowerMultiplier ( )
private

◆ CFormulaPowerMultiplier() [3/3]

CFormulaPowerMultiplier::CFormulaPowerMultiplier ( const CFormulaPowerMultiplier )
private

Member Function Documentation

◆ AnalyzePair()

Enum_ncSAType CFormulaPowerMultiplier::AnalyzePair ( const ring  r,
int  i,
int  j 
)
static

Definition at line 700 of file ncSAFormula.cc.

703 {

◆ GetBasering()

ring CFormulaPowerMultiplier::GetBasering ( ) const
inline

Definition at line 38 of file ncSAFormula.h.

38 { return m_NVars; }

◆ GetPair() [1/2]

Enum_ncSAType& CFormulaPowerMultiplier::GetPair ( int  i,
int  j 
)
inline

Definition at line 53 of file ncSAFormula.h.

55  {
57  assume( i > 0 );
58  assume( i < j );
59  assume( j <= NVars() );
60 
61  return m_SAPairTypes[( (NVars() * ((i)-1) - ((i) * ((i)-1))/2 + (j)-1) - (i) )];

◆ GetPair() [2/2]

Enum_ncSAType CFormulaPowerMultiplier::GetPair ( int  i,
int  j 
) const
inline

Definition at line 43 of file ncSAFormula.h.

45  {
47  assume( i > 0 );
48  assume( i < j );
49  assume( j <= NVars() );
50 
51  return m_SAPairTypes[( (NVars() * ((i)-1) - ((i) * ((i)-1))/2 + (j)-1) - (i) )];

◆ Multiply() [1/2]

poly CFormulaPowerMultiplier::Multiply ( Enum_ncSAType  type,
const int  i,
const int  j,
const int  n,
const int  m,
const ring  r 
)
static

Definition at line 694 of file ncSAFormula.cc.

697 {

◆ Multiply() [2/2]

poly CFormulaPowerMultiplier::Multiply ( int  i,
int  j,
const int  n,
const int  m 
)

Definition at line 705 of file ncSAFormula.cc.

708 {

◆ ncSA_1xy0x0y0()

poly CFormulaPowerMultiplier::ncSA_1xy0x0y0 ( const int  i,
const int  j,
const int  n,
const int  m,
const ring  r 
)
static

Definition at line 713 of file ncSAFormula.cc.

716 {

◆ ncSA_1xy0x0yG()

poly CFormulaPowerMultiplier::ncSA_1xy0x0yG ( const int  i,
const int  j,
const int  n,
const int  m,
const number  m_g,
const ring  r 
)
static

Definition at line 728 of file ncSAFormula.cc.

731 {

◆ ncSA_1xy0x0yT2()

poly CFormulaPowerMultiplier::ncSA_1xy0x0yT2 ( const int  i,
const int  j,
const int  n,
const int  m,
const int  k,
const ring  r 
)
static

Definition at line 733 of file ncSAFormula.cc.

736 {

◆ ncSA_1xy0xBy0()

poly CFormulaPowerMultiplier::ncSA_1xy0xBy0 ( const int  i,
const int  j,
const int  n,
const int  m,
const number  m_shiftCoef,
const ring  r 
)
static

Definition at line 743 of file ncSAFormula.cc.

746 {

◆ ncSA_1xyAx0y0()

poly CFormulaPowerMultiplier::ncSA_1xyAx0y0 ( const int  i,
const int  j,
const int  n,
const int  m,
const number  m_shiftCoef,
const ring  r 
)
static

Definition at line 738 of file ncSAFormula.cc.

741 {

◆ ncSA_Mxy0x0y0()

poly CFormulaPowerMultiplier::ncSA_Mxy0x0y0 ( const int  i,
const int  j,
const int  n,
const int  m,
const ring  r 
)
static

Definition at line 718 of file ncSAFormula.cc.

721 {

◆ ncSA_Qxy0x0y0()

poly CFormulaPowerMultiplier::ncSA_Qxy0x0y0 ( const int  i,
const int  j,
const int  n,
const int  m,
const number  m_q,
const ring  r 
)
static

Definition at line 723 of file ncSAFormula.cc.

726 {

◆ NVars()

int CFormulaPowerMultiplier::NVars ( ) const
inline

Definition at line 37 of file ncSAFormula.h.

37 :
38  inline int NVars() const { return m_NVars; }

◆ operator=()

CFormulaPowerMultiplier& CFormulaPowerMultiplier::operator= ( const CFormulaPowerMultiplier )
private

Field Documentation

◆ m_BaseRing

const ring CFormulaPowerMultiplier::m_BaseRing
private

Definition at line 32 of file ncSAFormula.h.

◆ m_NVars

const int CFormulaPowerMultiplier::m_NVars
private

Definition at line 31 of file ncSAFormula.h.

◆ m_SAPairTypes

Enum_ncSAType* CFormulaPowerMultiplier::m_SAPairTypes
private

Definition at line 29 of file ncSAFormula.h.


The documentation for this class was generated from the following files:
CFormulaPowerMultiplier::NVars
int NVars() const
Definition: ncSAFormula.h:37
j
int j
Definition: facHensel.cc:105
CFormulaPowerMultiplier::m_BaseRing
const ring m_BaseRing
Definition: ncSAFormula.h:32
Enum_ncSAType
Enum_ncSAType
Definition: ncSAFormula.h:14
i
int i
Definition: cfEzgcd.cc:125
PrintS
void PrintS(const char *s)
Definition: reporter.cc:283
CFormulaPowerMultiplier::m_NVars
const int m_NVars
Definition: ncSAFormula.h:31
CFormulaPowerMultiplier::m_SAPairTypes
Enum_ncSAType * m_SAPairTypes
Definition: ncSAFormula.h:29
assume
#define assume(x)
Definition: mod2.h:384
NULL
#define NULL
Definition: omList.c:9
PrintLn
void PrintLn()
Definition: reporter.cc:309
omAlloc0
#define omAlloc0(size)
Definition: omAllocDecl.h:209