d:NUMERIC
f:_proof
f:algdep
f:algred
f:bound
f:diffs
f:equal
f:gcdex
f:gcdk_n
f:hermite
f:insert
f:int
f:intt
f:inttest
f:linsys
f:lookup
f:pde_exp
f:pde_ln
f:pde_var
f:pdioe
f:primpart
f:rlti
f:sim
f:simplify
f:solveRde
f:spde
f:split1
f:split2
f:sqffTab
f:sub
f:subres
f:subst
f:tower
f:weaknorm
