added algebra design doc