⌘K
ideal
make an ideal
ideal(f1, f2, …)
returns an
Ideal
Produces the ideal generated by the given ring elements. The arguments may also be given as a list, a sequence, a matrix, or a module, in which case the generators are taken from it.
i1 : R = QQ[x,y,z] i2 : I = ideal(x^2-y*z, x*y-z^2) o2 = ideal (x² - y z, x y - z²) o2 : Ideal of R i3 : dim I, degree I o3 = (1, 4) o3 : Sequence
Ways to use ideal
| ideal(RingElement) | the principal ideal of one element |
| ideal(List) | from a list of generators |
| ideal(Matrix) | generated by the entries of a matrix |
| ideal(Module) | for a submodule of a free module of rank one |
See also
Operations that decompose an ideal live in separate packages, which load on demand. The badge shows where each one comes from.