Top
Back: modS
Forward: mprimdec_lib
FastBack: lll_lib
FastForward: mprimdec_lib
Up: modstd_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.4.10.3 modHenselStd

Procedure from library modstd.lib (see modstd_lib).

Usage:
modHenselStd(I);

Return:
a standard basis of I;

Note:
The procedure computes a standard basis of I (over the rational numbers) by using modular computations and Hensellifting. For further experiments see procedure modS.

Example:
 
LIB "modstd.lib";
ring r = 0,(x,y,z),dp;
ideal I = 3x3+x2+1,11y5+y3+2,5z4+z2+4;
ideal J = modHenselStd(I);
J;
==> J[1]=3x3+x2+1
==> J[2]=5z4+z2+4
==> J[3]=11y5+y3+2

Top Back: modS Forward: mprimdec_lib FastBack: lll_lib FastForward: mprimdec_lib Up: modstd_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-2, Oct 2010, generated by texi2html.