R = QQ[x,y]
I = ideal(x^3-1,y-x)
cv = isCellular (I,ReturnCellVars=>true)
pc = partialCharacter (I,CellVariables=>cv)
idealFromCharacter (R,pc) == I