]> www.ginac.de Git - ginac.git/commit
git://www.ginac.de / ginac.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 09403bb) | patch
Added a proof for our new simplification rule for powers.
authorChris Dams <Chris.Dams@mi.infn.it>
Thu, 1 Feb 2007 16:15:02 +0000 (16:15 +0000)
committerChris Dams <Chris.Dams@mi.infn.it>
Thu, 1 Feb 2007 16:15:02 +0000 (16:15 +0000)
commita35c58dffed76bd9991af62eb88aa1138782d0ef
tree54ee586d0b8a33fd8d506a5b5ad11114f9d0f24dtree | snapshot
parent09403bb1127f7ef58dce7b669e681c74dd77eaedcommit | diff
Added a proof for our new simplification rule for powers.
doc/powerlaws.tex diff | blob | history
GiNaC -- a C++ library for symbolic computations