promote -- promote to another ring

promote -- promote to another ring

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

The element f should be an element of some base ring of R.

A special feature is that if f is rational, and R is not an algebra over QQ, then an element of R is provided by attempting the evident division.

See also:

baseRings -- store the list of base rings of a ring

Ways to use promote :

promote(Matrix,QQ)

promote(Matrix,ZZ)

promote(MonoidElement,Ring)

promote(MonoidElement,RingElement)

promote(QQ,QQ)

promote(QQ,Ring)

promote(QQ,RingElement)

promote(RingElement,Ring)

promote(RingElement,RingElement)

promote(RR,EngineRing)

promote(ZZ,EngineRing)

promote(ZZ,QQ)

promote(ZZ,Ring)

promote(ZZ,RingElement)

promote(ZZ,ZZ)