My Project  UNKNOWN_GIT_VERSION
Public Member Functions | Private Attributes
CHWeylSpecialPairMultiplier Class Reference

#include <ncSAMult.h>

Public Member Functions

 CHWeylSpecialPairMultiplier (ring r, int i, int j, int k)
 
virtual ~CHWeylSpecialPairMultiplier ()
 
virtual poly MultiplyEE (const int expLeft, const int expRight)
 
- Public Member Functions inherited from CSpecialPairMultiplier
 CSpecialPairMultiplier (ring r, int i, int j)
 
virtual ~CSpecialPairMultiplier ()
 
int GetI () const
 
int GetJ () const
 
virtual poly MultiplyME (const poly pMonom, const CExponent expRight)
 
virtual poly MultiplyEM (const CExponent expLeft, const poly pMonom)
 
- Public Member Functions inherited from CMultiplier< int >
 CMultiplier (ring rBaseRing)
 
virtual ~CMultiplier ()
 
ring GetBasering () const
 
int NVars () const
 
poly LM (const poly pTerm, const ring r, int i=1) const
 
poly MultiplyTE (const poly pTerm, const int expRight)
 
poly MultiplyET (const int expLeft, const poly pTerm)
 

Private Attributes

const int m_k
 

Additional Inherited Members

- Public Types inherited from CSpecialPairMultiplier
typedef int CExponent
 
- Protected Attributes inherited from CMultiplier< int >
const ring m_basering
 
const int m_NVars
 

Detailed Description

Definition at line 554 of file ncSAMult.h.

Constructor & Destructor Documentation

◆ CHWeylSpecialPairMultiplier()

CHWeylSpecialPairMultiplier::CHWeylSpecialPairMultiplier ( ring  r,
int  i,
int  j,
int  k 
)

Definition at line 659 of file ncSAMult.cc.

659  :
661 {
662 #if OUTPUT
663  Print("CHWeylSpecialPairMultiplier::CHWeylSpecialPairMultiplier(ring, i: %d, j: %d, k: %d)!", i, j, k);
664  PrintLn();
665 #endif
666 }
int i
Definition: cfEzgcd.cc:125
int k
Definition: cfEzgcd.cc:92
CSpecialPairMultiplier(ring r, int i, int j)
Definition: ncSAMult.cc:1060
#define Print
Definition: emacs.cc:80
int j
Definition: facHensel.cc:105
void PrintLn()
Definition: reporter.cc:310

◆ ~CHWeylSpecialPairMultiplier()

CHWeylSpecialPairMultiplier::~CHWeylSpecialPairMultiplier ( )
virtual

Definition at line 669 of file ncSAMult.cc.

670 {
671 #if OUTPUT
672  PrintS("CHWeylSpecialPairMultiplier::~CHWeylSpecialPairMultiplier()");
673  PrintLn();
674 #endif
675 }
void PrintS(const char *s)
Definition: reporter.cc:284

Member Function Documentation

◆ MultiplyEE()

poly CHWeylSpecialPairMultiplier::MultiplyEE ( const int  expLeft,
const int  expRight 
)
virtual

Implements CSpecialPairMultiplier.

Definition at line 678 of file ncSAMult.cc.

679 {
680 #if OUTPUT
681  Print("CHWeylSpecialPairMultiplier::MultiplyEE(var(%d)^{%d}, var(%d)^{%d})!", GetJ(), expLeft, GetI(), expRight);
682  PrintLn();
683 #endif
684  // Char == 0, otherwise - problem!
685 
686 
687  const ring r = GetBasering();
688 
689  assume( expLeft*expRight > 0 );
690 
691  return CFormulaPowerMultiplier::ncSA_1xy0x0yT2(GetI(), GetJ(), expRight, expLeft, m_k, r);
692 }
static poly ncSA_1xy0x0yT2(const int i, const int j, const int n, const int m, const int k, const ring r)
Definition: ncSAFormula.cc:735
ring GetBasering() const
Definition: ncSAMult.h:35
int GetI() const
Definition: ncSAMult.h:108
int GetJ() const
Definition: ncSAMult.h:109
#define assume(x)
Definition: mod2.h:390

Field Documentation

◆ m_k

const int CHWeylSpecialPairMultiplier::m_k
private

Definition at line 557 of file ncSAMult.h.


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