maptype on algebraic functions tested