Public Member Functions | Private Attributes
CWeylSpecialPairMultiplier Class Reference

#include <ncSAMult.h>

Public Member Functions

 CWeylSpecialPairMultiplier (ring r, int i, int j, number g)
 
virtual ~CWeylSpecialPairMultiplier ()
 
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 intexpRight)
 
poly MultiplyET (const intexpLeft, const poly pTerm)
 

Private Attributes

const number m_g
 

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 544 of file ncSAMult.h.

Constructor & Destructor Documentation

CWeylSpecialPairMultiplier::CWeylSpecialPairMultiplier ( ring  r,
int  i,
int  j,
number  g 
)

Definition at line 622 of file ncSAMult.cc.

622  :
624 {
625 #if OUTPUT
626  Print("CWeylSpecialPairMultiplier::CWeylSpecialPairMultiplier(ring, i: %d, j: %d, g)!", i, j);
627  PrintLn();
628  PrintS("Parameter g: ");
629  n_Write(g, r);
630 #endif
631 }
void PrintLn()
Definition: reporter.cc:322
#define Print
Definition: emacs.cc:83
g
Definition: cfModGcd.cc:4031
CSpecialPairMultiplier(ring r, int i, int j)
Definition: ncSAMult.cc:1061
const ring r
Definition: syzextra.cc:208
int j
Definition: myNF.cc:70
static FORCE_INLINE void n_Write(number &n, const coeffs r, const BOOLEAN bShortOut=TRUE)
Definition: coeffs.h:592
int i
Definition: cfEzgcd.cc:123
void PrintS(const char *s)
Definition: reporter.cc:294
CWeylSpecialPairMultiplier::~CWeylSpecialPairMultiplier ( )
virtual

Definition at line 634 of file ncSAMult.cc.

635 {
636 #if OUTPUT
637  PrintS("CWeylSpecialPairMultiplier::~CWeylSpecialPairMultiplier()");
638  PrintLn();
639 #endif
640 }
void PrintLn()
Definition: reporter.cc:322
void PrintS(const char *s)
Definition: reporter.cc:294

Member Function Documentation

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

Implements CSpecialPairMultiplier.

Definition at line 643 of file ncSAMult.cc.

644 {
645 #if OUTPUT
646  Print("CWeylSpecialPairMultiplier::MultiplyEE(var(%d)^{%d}, var(%d)^{%d})!", GetJ(), expLeft, GetI(), expRight);
647  PrintLn();
648 #endif
649  // Char == 0, otherwise - problem!
650 
651 
652  const ring r = GetBasering();
653 
654  assume( expLeft*expRight > 0 );
655 
656  return CFormulaPowerMultiplier::ncSA_1xy0x0yG(GetI(), GetJ(), expRight, expLeft, m_g, r);
657 }
static poly ncSA_1xy0x0yG(const int i, const int j, const int n, const int m, const number m_g, const ring r)
Definition: ncSAFormula.cc:740
int GetJ() const
Definition: ncSAMult.h:114
void PrintLn()
Definition: reporter.cc:322
#define Print
Definition: emacs.cc:83
int GetI() const
Definition: ncSAMult.h:113
const ring r
Definition: syzextra.cc:208
#define assume(x)
Definition: mod2.h:405
ring GetBasering() const
Definition: ncSAMult.h:40

Field Documentation

const number CWeylSpecialPairMultiplier::m_g
private

Definition at line 547 of file ncSAMult.h.


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