Singular Manual: moddiq_lib

> | ### D.4.14 moddiq_lib Library: moddiq.lib Purpose: Double ideal quotient using modular methods Authors: Y. Ishihara yishihara@rikkyo.ac.jp Overview: A library for computing ideal quotient and saturation in the polynomial ring over the rational numbers using modular methods. References: M. Noro, K. Yokoyama: Usage of Modular Techniques for Efficient Computation of Ideal Operations. Math.Comput.Sci. 12: 1, 1-32. (2017). Procedures:
> D.4.14.1 modQuotient |  | standard basis of (I:J) using modular methods
> D.4.14.2 modSat |  | standard basis of (I:J^infty) using modular methods

User manual for Singular version 4-2-0p1, 2020, generated by texi2html.