> | ### D.4.15 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.15.1 modQuotient |  | standard basis of (I:J) using modular methods
> D.4.15.2 modSat |  | standard basis of (I:J^infty) using modular methods

User manual for Singular version 4.3.2, 2023, generated by texi2html.