Lines Matching +defs:f +defs:repl
409 static ex replace_with_symbol(const ex & e, exmap & repl, exmap & rev_lookup) in replace_with_symbol()
435 static ex replace_with_symbol(const ex & e, exmap & repl) in replace_with_symbol()
466 ex basic::normal(exmap & repl, exmap & rev_lookup, int level, unsigned options) const in normal()
483 ex symbol::normal(exmap & repl, exmap & rev_lookup, int level, unsigned options) const in normal()
493 ex numeric::normal(exmap & repl, exmap & rev_lookup, int level, unsigned options) const in normal()
573 ex function::normal(exmap & repl, exmap & rev_lookup, int level, unsigned options) const in normal()
592 ex add::normal(exmap & repl, exmap & rev_lookup, int level, unsigned options) const in normal()
652 ex mul::normal(exmap & repl, exmap & rev_lookup, int level, unsigned options) const in normal()
683 ex power::normal(exmap & repl, exmap & rev_lookup, int level, unsigned options) const in normal()
750 ex pseries::normal(exmap & repl, exmap & rev_lookup, int level, unsigned options) const in normal()
779 exmap repl, rev_lookup; in normal() local
809 exmap repl, rev_lookup; in numer() local
831 exmap repl, rev_lookup; in denom() local
853 exmap repl, rev_lookup; in numer_denom() local
1062 static ex find_common_factor(const ex & e, ex & factor, exmap & repl) in find_common_factor()
1075 ex f = 1; in find_common_factor() local
1092 ex f = 1; in find_common_factor() local
1160 exmap repl; in collect_common_factors() local