|Title||CALI: A REDUCE Package for Commutative Algebra, Version 2.2.1|
|Author(s)|| Hans-Gert Gräbe|
|Type||Technical Report, Misc|
|Abstract||This paper explains, that constructive problems from very different areas of commutative algebra can be formulated in a unified way as the computation of a basis for the intersection of the kernels of a finite number of linear functionals generating a dual S-module. Our implementation honours this point of view, presenting two general drivers dualbases and dualbases for the computation of such bases (even as submodules of a free module M = S m ) with affine ... resp.|
projective dimension zero.
|Keywords||affine and projective monomial curves, affine and projective sets of points, analytic spread, associated graded ring, blowup, border bases, constructive commutative algebra, dual bases, elimination, equidimensional part, extended Gröbner factorizer|