next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Binomials :: idealFromCharacter

idealFromCharacter -- Generate a lattice ideal from a character.

Synopsis

Description

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

Caveat

The variables occurring in rho#"J" must be variables of R.

Ways to use idealFromCharacter :