liftable -- whether a ring element can be lifted to another ring

Synopsis

• Usage:

  liftable(f,R)

• Inputs:

  • f, a ring element
  • R, a ring
• Outputs:

  • a Boolean value, whether f can be lifted to the ring R

Description

i1 : R = ZZ[x]

o1 = R

o1 : PolynomialRing

i2 : liftable ((x-1)*(x+1)-x^2, ZZ)

o2 = true

See also

• lift -- lift to another ring
• baseRings -- store the list of base rings of a ring