The Complete Active Space Second-Order Perturbation Theory (CASPT2) is well-established as a high-accuracy electronic structure method. It was originally implemented in the early 1990s to an ...efficient computer code in the molcas program suite, and this implementation has been extensively used as a standard tool. Here, we report a comparison of it against two independent computer-aided implementations of the CASPT2 method, revealing that the CASPT2 energies provided by the original code of molcas (version 8 or earlier) are inconsistent with the predictions of the lately developed computer-aided implementations. It is shown that this error is associated with the projections of the first-order equation onto the fully internally contracted multireference bases which are partially inconsistent between the left- and right-hand sides. The degree of the errors is assessed by performing illustrative CASPT2 calculations. The errors in total CASPT2 energies are demonstrated to be negligible relative to chemical accuracy in many cases, while there is a difficult case where they may substantially alter chemical description. The incorporation of the consistent projections into molcas has been carried out, which is available in the version 8 sp1.
Abstract
The refinement calculus is a well-established theory for deriving program code from specifications. Recent research has extended the theory to handle timing requirements, as well as ...functional ones, and we have developed an interactive programming tool based on these extensions. Through a number of case studies completed using the tool, this paper explains how the tool helps the programmer by supporting the many forms of variables needed in the theory. These include simple state variables as in the untimed calculus, trace variables that model the evolution of properties over time, auxiliary variables that exist only to support formal reasoning, subroutine parameters, and variables shared between parallel processes.