Project

General

Profile

Actions

Wiki » History » Revision 10

« Previous | Revision 10/28 (diff) | Next »
Thomas Capricelli, 11/22/2009 02:25 AM


Description

Symia is a piece of software that helps programmers to perform symbolic computation, also known as symbolic calculs. The main characteristics are
  • Symia is a library : the target audience is programmers.
  • Symia is written in C++.
  • Symia is released under the GNU Lesser General Public License, so that even close-source software can make use of it.
  • Symia uses unit tests as a mean to prevent regression, to ensure robustness, and to provide working examples that the user can rely on.

The only other C++ library we are aware of is Ginac, which is released under the GNU General Public License, which prevent it from being used in the industry.

Symia is far from being able to do as much as, say, Maple or Ginac, but if your needs are basic, you can rely on the robust and tested Symia library.

Symia is developed and released by Sylphide Consulting. If you need some more features in Symia, you can either abandon the idea of using Symia, implement the missing features by yourself (and provide the code back, as the GNU LGPL says), or pay someone to do the job. Of course, Sylphide Consulting is an obvious choice for such a task, and we would be delighted if you contact us about it.

Design

Quite simple and classical, see the class diagram

Examples

The following code highlights the most important features of Symia.

{
    Expression x("x"), y("y"), a("a"), b("b"), c("c"); // create symbols

    // Operators and most classical functions are overloaded, so you can construct
    // complex expressions the way you expect.
    Expression e = a*x+b*x*x*exp(-c*(x+1)/(x*x));

    // Helpers are provided to display an expression
    QString e_as_text = e.toString(); 
    // now e_as_text is "a*x+b*x*x*exp(-c*(x+1)/(x*x))" 

    // You can substitute an expression to any symbol
    e = e.replace(x, b+log(c))
    // e now is "a*(b+log(c))+b*(b+log(c))*(b+log(c))*exp(-c*(b+log(c)+1)/((b+log(c))*(b+log(c))))" 
    // yes, this is ugly, and this is the reason what you are happy a computer handles it for you.

    // Evaluation is about using replace() as well
    e = e.replace(a,-3).replace(c,1).replace(b,.78);
    // e now is "-2.31455" 
}

Frequently Asked Questions

Where does the name come from ? This is short for symbolia, which has already too much hits in google.

Updated by Thomas Capricelli about 11 years ago · 10 revisions