eePromote -- call engine to promote a ring element

eePromote -- call engine to promote a ring element

eePromote(f,R) -- promote a ring element f to the ring R.

See also:

high level gb engine commands

Code:

     -- ../../../Macaulay2/m2/gbinterface.m2:21-23
     eePromote = (f,R) -> (
          sendgg(ggPush R, ggPush f, ggpromote);
          R.pop())