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