Singular

D.4.12 moddiq_lib

Library:

moddiq.lib

Purpose:

Double ideal quotient using modular methods

Authors:

Y. Ishihara [email protected]

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