SourceForge has been redesigned. Learn more.
Close

#17 apply rule to a dot product

open
nobody
None
5
2012-11-18
2010-03-14
Anonymous
No

I want to create a rule to "normal order" a product of operators:

a[l] . a[k]. adj(a[j]) . adj(a[i]) -> adj(a[j]) . adj(a[i]) . a[l] . a[k] + deltaK[i,l] * deltaK[j,k] + deltaK[j,l] * deltaK[i,k] + deltaK[k,j] * adj(a[i]) . a[l] + deltaK[i,l] * adj(a[j]) . a[k]

defining the rule

b[arg2]. adj(b[arg1]) ---> adj(b[arg1]) . b[arg2] + deltaK[arg1,arg2]

my code is

matchdeclare([arg1,arg2,boson],true);
defrule( rulewick01 , boson[arg2]. adj(boson[arg1]) , adj(boson[arg1]) . boson[arg2] + deltaK[arg1,arg2] )

It work fine for product of two operator, but when I have more factors, it fails. What's is going wrong?

Thanks

Mauricio Matera

Discussion


Log in to post a comment.