eeLift -- call engine to lift a ring element

eeLift -- call engine to lift a ring element

eeLift(f,R) -- lift a ring element f to the ring R.

See also:

high level gb engine commands

Code:

     -- ../../../Macaulay2/m2/gbinterface.m2:24-26
     eeLift = (f,R) -> (
          sendgg(ggPush R, ggPush f, gglift);
          R.pop())