An Algorithm for Computing Standard Bases by Change of Ordering via Algebraic Local Cohomology

DOI10.1007/978-3-662-44199-2_63MaRDI QIDQ2879155zbMATH OpenOpenAlexFDO

Authors Katsusuke Nabeshima, Shinichi Tajima

Publication date 8 September 2014

Published in Mathematical Software – ICMS 2014 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-44199-2_63

zbMATH Keywords

singularitiesstandard basesalgebraic local cohomology

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Local cohomology and commutative rings (13D45) Formal power series rings (13F25) Software, source code, etc. for problems pertaining to commutative algebra (13-04)

Recommendations

• Efficient computation of algebraic local cohomology classes and change of ordering for zero-dimensional standard bases
• Efficient computation of zero-dimensional Gröbner bases by change of ordering
• Algorithmic computation of local cohomology modules and the local cohomological dimension of algebraic varieties
• On efficient algorithms for computing parametric local cohomology classes associated with semi-quasihomogeneous singularities and standard bases
• Computing integral bases via localization and Hensel lifting
• A modified LLL algorithm for change of ordering of Gröbner basis
• scientific article; zbMATH DE number 5707353
• scientific article; zbMATH DE number 1241621
• A Gröbner-bases algorithm for the computation of the cohomology of Lie (super) algebras
• Algebraic local cohomology with parameters and parametric standard bases for zero-dimensional ideals

Cited in

(4)

• Efficient computation of algebraic local cohomology classes and change of ordering for zero-dimensional standard bases
• scientific article; zbMATH DE number 4131647 (Why is no real title available?)
• On efficient algorithms for computing parametric local cohomology classes associated with semi-quasihomogeneous singularities and standard bases
• Algebraic local cohomology with parameters and parametric standard bases for zero-dimensional ideals

Describes a project that uses

Uses Software

• Risa/Asir

This page was built for publication: An Algorithm for Computing Standard Bases by Change of Ordering via Algebraic Local Cohomology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2879155)