Searched defs:mapDown (Results 1 – 2 of 2) sorted by relevance
123 mapDown (const CanonicalForm& F, const Variable& alpha, const in mapDown() function431 mapDown (const CanonicalForm& F, const CanonicalForm& prim_elem, const in mapDown() function
206 mapDown (const CanonicalForm& F, const ExtensionInfo& info, CFList& source, in mapDown() function