Indrani A. Vasudeva Murthy |
|
ResearchComputer AlgebraThis project is a continuation of my work at the BIOMATH Department of Ghent University. I have been working on introducing a few Computer Algebra features into AToM3. With these features, we can manipulate algebraic expressions and equations. The ultimate aim is to be able to handle sets of DAEs, simplify them and sort them if possible. A brief discussion of the issues involved can be found in my report: Some issues concerning Computer Algebra in AToM3 [PDF]. In any Computer Algebra system, every algebraic entity, including expressions and equations, is internally stored in a unique, `canonical' form. We need a canonical representation to work within AToM3 as well. We have come up with such a canonical representation, and it has been implemented in a first version by Bhama Sridharan. The details of our definition, and a description of the implementation, can be found in this report: An algorithm to implement a canonical representation of algebraic expressions in AToM3 [PDF]. You can download and put your own equations into canonical form. Here is the tarred, gzipped AToM3 directory: Atom3_2.2.tgz . This contains a sub-directory `Algebra', which is included as the directory for code generation. Please see the ReadMe file in `Algebra' for a description of its contents. You can load the example equation models in the sub-directory `Algebra/Models'. After loading a model, if you click on the `make_canonical' button, you will see the canonical form of the equation generated as text output. Note: It may be possible to use graph grammar rules to implement some of the simplifications we have mentioned in the reports. However, in a future version, the graphical modelling of the equations may be done away with altogether. Hence currently the graphical icons are very basic ! Here are some links to some other Computer Algebra related documents, which I found interesting.
Here are some useful links:
Discretization of PDEsPhysics |