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

idealFromCharacter -- Generate a lattice ideal from a character.

Synopsis

Description

i1 : R = QQ[x,y]

o1 = R

o1 : PolynomialRing
i2 : I = ideal(x^3-1,y-x)

             3
o2 = ideal (x  - 1, - x + y)

o2 : Ideal of R
i3 : cv = isCellular (I,ReturnCellVars=>true)

o3 = {x, y}

o3 : List
i4 : pc = partialCharacter (I,CellVariables=>cv)

o4 = PartialCharacter{c => {1, 1}  }
                      J => {x, y}
                      L => | 1  0 |
                           | -1 3 |

o4 : PartialCharacter
i5 : idealFromCharacter (R,pc) == I
-------------------------------------------------
4ti2 version 1.3.2, Copyright (C) 2006 4ti2 team.
4ti2 comes with ABSOLUTELY NO WARRANTY.
This is free software, and you are welcome
to redistribute it under certain conditions.
For details, see the file COPYING.
-------------------------------------------------
Using 64 bit integers.
4ti2 Total Time:  0.00 secs.
using temporary file name /tmp/M2-14670-0/0

o5 = true

Caveat

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

Ways to use idealFromCharacter :