/ inferno-1.0e / appl / math