I want from from expression like
e=(1+h+∂h∂x)(1+h+∂h∂y)
arrive to
e≈1+2h+∂h∂x+∂h∂y+O(…)
by assumptions h≪1;∂h∂x≪1;∂h∂y≪1
Is there instrument for such transformations in sagemath? The problem I'm running into is h being function of some vairables, while every occurance of big O notation in documentation operates on some ring variable.
