Dive Computer Function Definition Algebra