Ian Hinder

I think these could go in WeylScal4.m after the existing symmetry call (AssertSymmetricDecreasing[gamma[ua,lb,lc], lb, lc]). Kranc expands tensor expressions R[la,lb,lc,ld] first as R[1,2,3,4] etc, then converts to symbols R1234. Once...

It's not the duplicate lines in a calculation which would be deleted, it's the duplicate elements created in MakeExplicit in TensorTools. See line 477 on TensorTools.m (https://github.com/ianhinder/Kranc/blob/master/Tools/CodeGen/TensorTools.m): ``` MakeExplicit[l:List[Rule[_, _]...

This is probably because we are now dealing with antisymmetric tensors for the first time, so it's not just that duplicates need to be removed, but also negative components and...

Erik, I can't get the effect that you saw. For some reason, my rules for R don't seem to have any effect. Can you send me a patch to WeylScal4.m...

You have to put the rules on Tensor[R, i_, j_, k_, l_] instead of R[i_,j_,k_,l_] because the latter is converted into the former. I have implemented this in WeylScal4 now...

Example file demonstrating the problem is at https://gist.github.com/ianhinder/c2d3ca1ba646ca6618cd.

I like this idea. You could provide a CommonEquations option to CreateKrancThorn which contained all the definitions as they are currently given in each individual calculation. Then when you refer...

This situation arises because I didn't want to use the inheritance mechanism for accessing the Coordinates variables, since this would make thorns unconditionally dependent on having Coordinates, which is a...

The complications are (1) choosing the energy, and (2) case discriminations for parameters. This is a much higher-level feature than is currently available in Kranc. Would it be better in...

Splitting by variable was implemented in e11f056834d3106e84c21c4edfac945a125f3e96. I wrote code last night to split by pattern, which I can commit, but the interface might change in the future. What did...