Changeset 8e132d in git for Singular/LIB/moddiq.lib

Timestamp:

Feb 27, 2020, 2:32:06 PM (4 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

22c5aa2cd252c6263d00e025ca562af804079008

Parents:

ec0708752f1b91087c273c68f2c17b842db5a772

Message:

moddiq.lib: ref, keywords, examples

File:

• Singular/LIB/moddiq.lib (modified) (3 diffs)

Singular/LIB/moddiq.lib

@@ -50 +50 @@
     ideal i=cyclic(6);
     ideal j=-15*var(5)+16*var(6)^3-60*var(6)^2+225*var(6)-4,2*var(5)^2-7*var(5)+2*var(6)^2-7*var(6)+28,(4*var(6)-1)*var(5)-var(6)+4,4*var(1)+var(5)+var(6),4*var(2)+var(5)+var(6),4*var(3)+var(5)+var(6),4*var(4)+var(5)+var(6); 
+    modQuotient(i,j);
     modQuotient(i,modQuotient(i,j));
 }
@@ -158 +159 @@
 NOTE:     The procedure computes a standard basis of (I:J^\infty) (over the rational
           numbers) by using modular methods.
+KEYWORDS: saturation
 SEE ALSO: modular; sat
 EXAMPLE:  example modSat; shows an example"
@@ -173 +175 @@
     ideal i=cyclic(6);
     ideal j=-15*var(5)+16*var(6)^3-60*var(6)^2+225*var(6)-4,2*var(5)^2-7*var(5)+2*var(6)^2-7*var(6)+28,(4*var(6)-1)*var(5)-var(6)+4,4*var(1)+var(5)+var(6),4*var(2)+var(5)+var(6),4*var(3)+var(5)+var(6),4*var(4)+var(5)+var(6); 
+    modSat(i,j);
     modSat(i,modSat(i,j)[1])[1];
 }