#include "METOOLS/Explicit/Lorentz_Calculator.H" #include "METOOLS/Currents/C_Scalar.H" #include "METOOLS/Currents/C_Spinor.H" #include "METOOLS/Currents/C_Vector.H" #include "METOOLS/Explicit/Vertex.H" #include "MODEL/Main/Single_Vertex.H" #include "ATOOLS/Org/Message.H" #include "ATOOLS/Org/Exception.H" #include "ATOOLS/Math/MyComplex.H" namespace METOOLS { template class FFV1_Calculator: public Lorentz_Calculator { public: typedef std::complex SComplex; const SComplex I = SComplex(0.0,1.0); FFV1_Calculator(const Vertex_Key &key): Lorentz_Calculator(key) {} std::string Label() const { return "FFV1"; } CObject *Evaluate(const CObject_Vector &jj) { // if outgoing index is 0 if (p_v->V()->id.back()==0){ const CSpinor & j1 = ((jj[0]->Get< CSpinor >())->B() == -1) ? (*(jj[0]->Get< CSpinor >())) : (*(jj[0]->Get< CSpinor >())).CConj() ; const SComplex & j10 = j1[0]; const SComplex & j11 = j1[1]; const SComplex & j12 = j1[2]; const SComplex & j13 = j1[3]; const CVec4 & j2 = *(jj[1]->Get< CVec4 >()); const SComplex & j20 = j2[0]; const SComplex & j21 = j2[ATOOLS::Spinor::R1()]; const SComplex & j22 = j2[ATOOLS::Spinor::R2()]; const SComplex & j23 = j2[ATOOLS::Spinor::R3()]; CSpinor* j0 = NULL; switch(+(j1.On()<<(2))){ case 4: j0 = CSpinor::New(m_r[0],-1,0,0,0,0,2); (*j0)[0] = 0; (*j0)[1] = 0; (*j0)[2] = 1.0*j10*j20 - 1.0*j10*j23 - 1.0*j11*j21 - 1.0*I*j11*j22; (*j0)[3] = -1.0*j10*j21 + 1.0*I*j10*j22 + 1.0*j11*j20 + 1.0*j11*j23; j0->SetS(j1.S()|j2.S()); return j0; case 8: j0 = CSpinor::New(m_r[0],-1,0,0,0,0,1); (*j0)[0] = 1.0*j12*j20 + 1.0*j12*j23 + 1.0*j13*j21 + 1.0*I*j13*j22; (*j0)[1] = 1.0*j12*j21 - 1.0*I*j12*j22 + 1.0*j13*j20 - 1.0*j13*j23; (*j0)[2] = 0; (*j0)[3] = 0; j0->SetS(j1.S()|j2.S()); return j0; case 12: j0 = CSpinor::New(m_r[0],-1,0,0,0,0,3); (*j0)[0] = 1.0*j12*j20 + 1.0*j12*j23 + 1.0*j13*j21 + 1.0*I*j13*j22; (*j0)[1] = 1.0*j12*j21 - 1.0*I*j12*j22 + 1.0*j13*j20 - 1.0*j13*j23; (*j0)[2] = 1.0*j10*j20 - 1.0*j10*j23 - 1.0*j11*j21 - 1.0*I*j11*j22; (*j0)[3] = -1.0*j10*j21 + 1.0*I*j10*j22 + 1.0*j11*j20 + 1.0*j11*j23; j0->SetS(j1.S()|j2.S()); return j0; default: THROW(fatal_error, "Massless spinor optimization error in Lorentz calculator"); } } // if outgoing index is 1 if (p_v->V()->id.back()==1){ const CSpinor & j0 = ((jj[1]->Get< CSpinor >())->B() == 1) ? (*(jj[1]->Get< CSpinor >())) : (*(jj[1]->Get< CSpinor >())).CConj() ; const SComplex & j00 = j0[0]; const SComplex & j01 = j0[1]; const SComplex & j02 = j0[2]; const SComplex & j03 = j0[3]; const CVec4 & j2 = *(jj[0]->Get< CVec4 >()); const SComplex & j20 = j2[0]; const SComplex & j21 = j2[ATOOLS::Spinor::R1()]; const SComplex & j22 = j2[ATOOLS::Spinor::R2()]; const SComplex & j23 = j2[ATOOLS::Spinor::R3()]; CSpinor* j1 = NULL; switch(+(j0.On()<<(0))){ case 1: j1 = CSpinor::New(m_r[1],1,0,0,0,0,2); (*j1)[0] = 0; (*j1)[1] = 0; (*j1)[2] = 1.0*j00*j20 + 1.0*j00*j23 + 1.0*j01*j21 - 1.0*I*j01*j22; (*j1)[3] = 1.0*j00*j21 + 1.0*I*j00*j22 + 1.0*j01*j20 - 1.0*j01*j23; j1->SetS(j0.S()|j2.S()); return j1; case 2: j1 = CSpinor::New(m_r[1],1,0,0,0,0,1); (*j1)[0] = 1.0*j02*j20 - 1.0*j02*j23 - 1.0*j03*j21 + 1.0*I*j03*j22; (*j1)[1] = -1.0*j02*j21 - 1.0*I*j02*j22 + 1.0*j03*j20 + 1.0*j03*j23; (*j1)[2] = 0; (*j1)[3] = 0; j1->SetS(j0.S()|j2.S()); return j1; case 3: j1 = CSpinor::New(m_r[1],1,0,0,0,0,3); (*j1)[0] = 1.0*j02*j20 - 1.0*j02*j23 - 1.0*j03*j21 + 1.0*I*j03*j22; (*j1)[1] = -1.0*j02*j21 - 1.0*I*j02*j22 + 1.0*j03*j20 + 1.0*j03*j23; (*j1)[2] = 1.0*j00*j20 + 1.0*j00*j23 + 1.0*j01*j21 - 1.0*I*j01*j22; (*j1)[3] = 1.0*j00*j21 + 1.0*I*j00*j22 + 1.0*j01*j20 - 1.0*j01*j23; j1->SetS(j0.S()|j2.S()); return j1; default: THROW(fatal_error, "Massless spinor optimization error in Lorentz calculator"); } } // if outgoing index is 2 if (p_v->V()->id.back()==2){ const CSpinor & j0 = ((jj[0]->Get< CSpinor >())->B() == 1) ? (*(jj[0]->Get< CSpinor >())) : (*(jj[0]->Get< CSpinor >())).CConj() ; const SComplex & j00 = j0[0]; const SComplex & j01 = j0[1]; const SComplex & j02 = j0[2]; const SComplex & j03 = j0[3]; const CSpinor & j1 = ((jj[1]->Get< CSpinor >())->B() == -1) ? (*(jj[1]->Get< CSpinor >())) : (*(jj[1]->Get< CSpinor >())).CConj() ; const SComplex & j10 = j1[0]; const SComplex & j11 = j1[1]; const SComplex & j12 = j1[2]; const SComplex & j13 = j1[3]; CVec4* j2 = NULL; switch(+(j0.On()<<(0))+(j1.On()<<(2))){ case 5: return j2; case 6: j2 = CVec4::New(); (*j2)[0] = 1.0*j02*j10 + 1.0*j03*j11; (*j2)[ATOOLS::Spinor::R1()] = 1.0*j02*j11 + 1.0*j03*j10; (*j2)[ATOOLS::Spinor::R2()] = 1.0*I*j02*j11 - 1.0*I*j03*j10; (*j2)[ATOOLS::Spinor::R3()] = 1.0*j02*j10 - 1.0*j03*j11; j2->SetS(j0.S()|j1.S()); return j2; case 7: j2 = CVec4::New(); (*j2)[0] = 1.0*j02*j10 + 1.0*j03*j11; (*j2)[ATOOLS::Spinor::R1()] = 1.0*j02*j11 + 1.0*j03*j10; (*j2)[ATOOLS::Spinor::R2()] = 1.0*I*j02*j11 - 1.0*I*j03*j10; (*j2)[ATOOLS::Spinor::R3()] = 1.0*j02*j10 - 1.0*j03*j11; j2->SetS(j0.S()|j1.S()); return j2; case 9: j2 = CVec4::New(); (*j2)[0] = 1.0*j00*j12 + 1.0*j01*j13; (*j2)[ATOOLS::Spinor::R1()] = -1.0*j00*j13 - 1.0*j01*j12; (*j2)[ATOOLS::Spinor::R2()] = -1.0*I*j00*j13 + 1.0*I*j01*j12; (*j2)[ATOOLS::Spinor::R3()] = -1.0*j00*j12 + 1.0*j01*j13; j2->SetS(j0.S()|j1.S()); return j2; case 10: return j2; case 11: j2 = CVec4::New(); (*j2)[0] = 1.0*j00*j12 + 1.0*j01*j13; (*j2)[ATOOLS::Spinor::R1()] = -1.0*j00*j13 - 1.0*j01*j12; (*j2)[ATOOLS::Spinor::R2()] = -1.0*I*j00*j13 + 1.0*I*j01*j12; (*j2)[ATOOLS::Spinor::R3()] = -1.0*j00*j12 + 1.0*j01*j13; j2->SetS(j0.S()|j1.S()); return j2; case 13: j2 = CVec4::New(); (*j2)[0] = 1.0*j00*j12 + 1.0*j01*j13; (*j2)[ATOOLS::Spinor::R1()] = -1.0*j00*j13 - 1.0*j01*j12; (*j2)[ATOOLS::Spinor::R2()] = -1.0*I*j00*j13 + 1.0*I*j01*j12; (*j2)[ATOOLS::Spinor::R3()] = -1.0*j00*j12 + 1.0*j01*j13; j2->SetS(j0.S()|j1.S()); return j2; case 14: j2 = CVec4::New(); (*j2)[0] = 1.0*j02*j10 + 1.0*j03*j11; (*j2)[ATOOLS::Spinor::R1()] = 1.0*j02*j11 + 1.0*j03*j10; (*j2)[ATOOLS::Spinor::R2()] = 1.0*I*j02*j11 - 1.0*I*j03*j10; (*j2)[ATOOLS::Spinor::R3()] = 1.0*j02*j10 - 1.0*j03*j11; j2->SetS(j0.S()|j1.S()); return j2; case 15: j2 = CVec4::New(); (*j2)[0] = 1.0*j00*j12 + 1.0*j01*j13 + 1.0*j02*j10 + 1.0*j03*j11; (*j2)[ATOOLS::Spinor::R1()] = -1.0*j00*j13 - 1.0*j01*j12 + 1.0*j02*j11 + 1.0*j03*j10; (*j2)[ATOOLS::Spinor::R2()] = -1.0*I*j00*j13 + 1.0*I*j01*j12 + 1.0*I*j02*j11 - 1.0*I*j03*j10; (*j2)[ATOOLS::Spinor::R3()] = -1.0*j00*j12 + 1.0*j01*j13 + 1.0*j02*j10 - 1.0*j03*j11; j2->SetS(j0.S()|j1.S()); return j2; default: THROW(fatal_error, "Massless spinor optimization error in Lorentz calculator"); } } THROW(fatal_error, "Internal error in Lorentz calculator"); return NULL; } };// end of class FFV1_Calculator template class FFV1_Calculator; }// end of namespace METOOLS using namespace METOOLS; DECLARE_GETTER(FFV1_Calculator,"DFFV1", Lorentz_Calculator,Vertex_Key); Lorentz_Calculator *ATOOLS::Getter >:: operator()(const Vertex_Key &key) const { return new FFV1_Calculator(key); } void ATOOLS::Getter >:: PrintInfo(std::ostream &str,const size_t width) const { str<<"FFV1 vertex"; }