Interplay between discretization and algebraic computation in adaptive numerical