My Project
Loading...
Searching...
No Matches
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:132
int k
Definition cfEzgcd.cc:99
CSpecialPairMultiplier(ring r, int i, int j)
Definition ncSAMult.cc:1060
#define Print
Definition emacs.cc:80
int j
Definition facHensel.cc:110
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)
ring GetBasering() const
Definition ncSAMult.h:35
#define assume(x)
Definition mod2.h:389

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: