PRTools manual
GETMAPPING_FILE
MAPPING_FILE = GETMAPPING_FILE(W)
MAPPING_FILE is the file that will execute the mapping in a call as A*W or MAP(A,W).