patch for symbol.

[Chris Dams]

Hi!

May every GiNaC user and developer have a good 2004.

Here's a patch from GiNaC's RSI-prevention department. Reason for the
patch: creating a real symbol is such a common operation that it should be
as simple as possible.

regards,
Chris
-------------- next part --------------
Index: symbol.cpp
===================================================================
RCS file: /home/cvs/GiNaC/ginac/symbol.cpp,v
retrieving revision 1.53
diff -r1.53 symbol.cpp
317a318,327
> //////////
> // utility functions
> //////////
> 
> /** Utility function to make a real symbol. */
> ex real_symbol(const std::string& name)
> {
>    return (new symbol(name, symbol_options::real))->setflag(status_flags::dynallocated);
> }
> 
Index: symbol.h
===================================================================
RCS file: /home/cvs/GiNaC/ginac/symbol.h,v
retrieving revision 1.53
diff -r1.53 symbol.h
112a113,115
> /** Utility function to make a real symbol. */
> ex real_symbol(const std::string& name);
>