Searched defs:autosimplify (Results 1 – 1 of 1) sorted by relevance
1590 std::string autosimplify(GIAC_CONTEXT){ in autosimplify() function1598 std::string autosimplify(const std::string & s,GIAC_CONTEXT){ in autosimplify() function