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 11:01:31 +0000 (12:01 +0100)
commit67ce3e7263c01ffa9d6df8d31d4d5506776f3bf7
treea724773b9796749c88588e1d7ae2d09b13c3bcf7
parent3b5611d85547f2e2da692f092812b3a40a969d27
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.

Cherry-picked from 26e2662e.
ginac/mul.cpp