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