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

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


Top Back: solve_IP Forward: modQuotient FastBack: FastForward: Up: Singular Manual Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 4.4.0, 2024, generated by texi2html.