Searched +refs:db +refs:mnump (Results 1 – 1 of 1) sorted by path
13 (macsyma-module db)160 (or (atom x) (mnump (car x))))492 (cond ((mnump x) (dintnum x))497 (cond ((mnump x) (dintnum x))583 (mnump (car cl)))) ;from its property list.