Singular Manual: ideal related functions (plural)

| #### 7.2.1.4 ideal related functions (plural) `dim` Gelfand-Kirillov dimension of basering modulo the ideal of leading terms (see dim (plural)) `eliminate` elimination of variables (see eliminate (plural)) `intersect` ideal intersection (see intersect (plural)) `kbase` vector space basis of basering modulo the leading ideal (see kbase (plural)) `lead` leading terms of a set of generators (see lead) `lift` lift-matrix (see lift (plural)) `liftstd` left Groebner basis and transformation matrix computation (see liftstd (plural)) `maxideal` generators of a power of the maximal ideal at 0 (see maxideal) `modulo` represents 74#74(see modulo (plural)) `mres` minimal free resolution of an ideal and a minimal set of generators of the given ideal (see mres (plural)) `ncols` number of columns (see ncols) `nres` computes a free resolution of an ideal resp. module M which is minimized from the second free module on (see nres (plural)) `oppose` creates an opposite ideal of a given ideal from the given ring into a basering (see oppose) `preimage` preimage under a ring map (see preimage (plural)) `quotient` ideal quotient (see quotient (plural)) `reduce` left normal form with respect to a left Groebner basis (see reduce (plural)) `simplify` simplify a set of polynomials (see simplify) `size` number of non-zero generators (see size) `slimgb` left Groebner basis computation with slim technique (see slimgb (plural)) `std` left Groebner basis computation (see std (plural)) `subst` substitute a ring variable (see subst (plural)) `syz` computation of the first syzygy module (see syz (plural)) `twostd` two-sided Groebner basis computation (see twostd (plural)) `vdim` vector space dimension of basering modulo the leading ideal (see vdim (plural))

User manual for Singular version 4.4.1, 2025, generated by texi2html.