*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
ex to_rational(exmap & repl) const;
ex to_polynomial(exmap & repl) const;
exvector get_free_indices() const;
ex to_rational(exmap & repl) const;
ex to_polynomial(exmap & repl) const;
exvector get_free_indices() const;
ex expand_add(const add & a, int n, unsigned options) const;
ex expand_add_2(const add & a, unsigned options) const;
ex expand_add(const add & a, int n, unsigned options) const;
ex expand_add_2(const add & a, unsigned options) const;
- ex expand_mul(const mul & m, const numeric & n, unsigned options) const;
+ ex expand_mul(const mul & m, const numeric & n, unsigned options, bool from_expand = false) const;