ncSAMult.cc File Reference

#include "misc/auxiliary.h"
#include "nc/nc.h"
#include "nc/sca.h"
#include "misc/options.h"
#include "coeffs/numbers.h"
#include "monomials/ring.h"
#include "monomials/p_polys.h"
#include "nc/ncSAMult.h"

Go to the source code of this file.

Macros
#define	MYTEST   0
#define	OUTPUT   MYTEST
#define	PLURAL_INTERNAL_DECLARATIONS

Functions
BOOLEAN	ncInitSpecialPairMultiplication (ring r)
CSpecialPairMultiplier *	AnalyzePair (const ring r, int i, int j)

Macro Definition Documentation

MYTEST

#define MYTEST   0

Definition at line 11 of file ncSAMult.cc.

OUTPUT

#define OUTPUT   MYTEST

Definition at line 29 of file ncSAMult.cc.

PLURAL_INTERNAL_DECLARATIONS

#define PLURAL_INTERNAL_DECLARATIONS

Definition at line 34 of file ncSAMult.cc.

Function Documentation

AnalyzePair()

CSpecialPairMultiplier* AnalyzePair	(	const ring	r,
		int	i,
		int	j
	)

Definition at line 777 of file ncSAMult.cc.

{
#if OUTPUT
  Print("AnalyzePair(ring, i: %d, j: %d)!", i, j);
  PrintLn();
#endif
 
  Enum_ncSAType type = CFormulaPowerMultiplier::AnalyzePair(r, i, j);
 
  if( type == _ncSA_notImplemented ) return NULL;
 
 
  // last possibility:
  return new CExternalSpecialPairMultiplier(r, i, j, type); // For tests!
 
 
  if( type == _ncSA_1xy0x0y0 )
    return new CCommutativeSpecialPairMultiplier(r, i, j);
 
  if( type == _ncSA_Mxy0x0y0 )
    return new CAntiCommutativeSpecialPairMultiplier(r, i, j);
 
  if( type == _ncSA_Qxy0x0y0 )
  {
    const number q = p_GetCoeff(GetC(r, i, j), r);
    return new CQuasiCommutativeSpecialPairMultiplier(r, i, j, q);
  }
 
  const poly d = GetD(r, i, j);
 
  assume( d != NULL );
  assume( pNext(d) == NULL );
 
  const number g = p_GetCoeff(d, r);
 
  if( type == _ncSA_1xy0x0yG ) // Weyl
    return new CWeylSpecialPairMultiplier(r, i, j, g);
 
  if( type == _ncSA_1xyAx0y0 ) // Shift 1
    return new CShiftSpecialPairMultiplier(r, i, j, i, g);
 
  if( type == _ncSA_1xy0xBy0 ) // Shift 2
    return new CShiftSpecialPairMultiplier(r, i, j, j, g);
 
  if( type == _ncSA_1xy0x0yT2 ) // simple homogenized Weyl algebra
    return new CHWeylSpecialPairMultiplier(r, i, j, p_IsPurePower(d, r));
 
}

ncInitSpecialPairMultiplication()

BOOLEAN ncInitSpecialPairMultiplication

(

ring

r

)

Definition at line 265 of file ncSAMult.cc.

{
#if OUTPUT
  PrintS("ncInitSpecialPairMultiplication(ring), ring: \n");
  rWrite(r, TRUE);
  PrintLn();
#endif
 
  if(!rIsPluralRing(r))// ; // :(((
    return TRUE;
 
  if(rIsSCA(r))
    return TRUE;
 
  if( r->GetNC()->GetGlobalMultiplier() != NULL )
  {
    WarnS("Already defined!");
    return TRUE;
  }
 
  r->GetNC()->GetGlobalMultiplier() = new CGlobalMultiplier(r);
 
  ggnc_p_ProcsSet(r, r->p_Procs);
  return FALSE; // ok!
}