liftable -- whether lifting to another ring is possible

Synopsis

• Usage:

  liftable(f,R)

• Inputs:
  • f, a ring element or a matrix
  • 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

i3 : liftable(3/4,ZZ)

o3 = false

i4 : liftable((3/4)*4,ZZ)

o4 = true

See also

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