mul::can_make_flat(): Finish ancient unfinished code.
authorRichard Kreckel <kreckel@ginac.de>
Tue, 24 Nov 2015 10:14:51 +0000 (11:14 +0100)
committerRichard Kreckel <kreckel@ginac.de>
Tue, 24 Nov 2015 10:14:51 +0000 (11:14 +0100)
commit26e2662e3e963db592080c7dc573384850d4eade
tree3b6550f358e55e1b03adf43d6b1c5052b061342b
parent052e9928511dd77d1d5d489b2a61b75579cc44e3
mul::can_make_flat(): Finish ancient unfinished code.

This makes mul(expairseq({a*b,2},{b})) construct the canonical
mul(expairseq({a,3},{b,2})). Normally, such term rewriting is done
by the .eval() methods, but this is not done when a plain object of
a class derived from basic is constructed.
ginac/mul.cpp