Ian Hinder

In C, the type of sqrt is double -> double. In C++, there are several overloaded functions called sqrt, with signatures double -> double, float -> float and long double...

But does anyone understand why the original problem appears in the first place? Is it a fault of Kranc, a fault of the compiler, or an ambiguity in the C++...

[This page](http://www.cplusplus.com/reference/clibrary/cmath/sqrt/) suggests that including cmath or math.h is equivalent, but that is not said explicitly and this is obviously not an authoritative source. Do you know a good place...

Would a good alternative be to check for storage for those variables instead of having a separate parameter or grid scalar? Which option would be better? Since the numerical value...

There is now an internal mechanism to only access certain grid function if a certain variable is set. This is currently used for the Jacobians and the stress-energy hack. What...

I think the important thing is to be able to test that it works. If we don't have access to anything older than 7, then we should not say we...

We would have to carefully add logic to make sure that the resulting program is equivalent. Isn't this something that we can rely on the compiler to do?

Indeed it is strange to do that. It is EinsteinExact which is behaving strangely, so maybe this logic should be in there? Or maybe we decide it is common to...

This is beyond the scope of Kranc I think. Advanced symbolic calculations like this should be performed in xAct, which supports 3+1 decompositions natively. Kranc has initial support (#26) for...

Do you mean that Kranc should prevent shorthands and gridfunctions being defined by the user with these names? Yes, I agree. We should have a list of protected names which...