From 9ba83e8743e17fbfbb32b285baa8608f2b498996 Mon Sep 17 00:00:00 2001 From: Jean-Paul Pelteret Date: Mon, 10 Jun 2019 09:09:17 +0200 Subject: [PATCH] Add a couple of sentances on what the uses of a CAS are. --- 9.1/paper.tex | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/9.1/paper.tex b/9.1/paper.tex index cedb062..c30c871 100644 --- a/9.1/paper.tex +++ b/9.1/paper.tex @@ -340,6 +340,13 @@ user's requirements. To complement the automatic differentiation features in \dealii{}, this release sees the first step towards integrating and supporting a highly performant computer algebra system (CAS) via the SymEngine library \cite{symengine-web-page}. +This allows the development of exact algebraic expressions using variables that are +manipulated symbolically and may represent any value (or supported data structure). +In the context of finite element simulations, typical applications include (but, due to +the generality of the CAS, are not limited to) the development of constitutive models +and the implementation of finite element assembly operations through the construction +and linearization of finite element residuals. + The \texttt{Expression} class in the namespace \texttt{Differentiation::SD} interfaces to SymEngine and forms the basis of symbolic computations, offering a full set of overloaded operators and a C++ style interface. This class offers the following -- 2.39.5