Home Online Manual
Top
Back: locNormal
Forward: modQuotient
FastBack:
FastForward:
Up: Singular Manual
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.4.12 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.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