Changeset 18da050 in git for Singular/LIB/primitiv.lib

Timestamp:

Jul 2, 1999, 11:06:02 AM (25 years ago)

Author:

Olaf Bachmann <obachman@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

8c7c71771e971ec336b73a5dde1b7e8b53050848

Parents:

6de26a0e63b1ed1c30b10d4e5574fe8982f9f569

Message:

* moved randomLast from primdec.lib, primitve.lib to random.lib


git-svn-id: file:///usr/local/Singular/svn/trunk@3215 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• Singular/LIB/primitiv.lib (modified) (4 diffs)

Singular/LIB/primitiv.lib

@@ -1 @@
-// $Id: primitiv.lib,v 1.8 1999-04-14 12:11:53 Singular Exp $
+// $Id: primitiv.lib,v 1.9 1999-07-02 09:06:01 obachman Exp $
 // author:  Martin Lamm,  email: lamm@mathematik.uni-kl.de
 // last change:            19.03.99
@@ -5 +5 @@
 // This library is for Singular 1.2 or newer
 
-version="$Id: primitiv.lib,v 1.8 1999-04-14 12:11:53 Singular Exp $";
+version="$Id: primitiv.lib,v 1.9 1999-07-02 09:06:01 obachman Exp $";
 info="
 LIBRARY:    primitiv.lib    PROCEDURES FOR FINDING A PRIMITIVE ELEMENT
@@ -12 +12 @@
  primitive_extra(i);   find primitive element for two generators
  splitring(f,R[,L]);   define ring extension with name R and switch to it
- randomLast(b);        random transformation of the last variable
 ";
 
@@ -19 +18 @@
 ///////////////////////////////////////////////////////////////////////////////
 
-proc randomLast(int b)
-"USAGE:   randomLast(b);  b int
-RETURN:  ideal = maxideal(1), but the last variable is exchanged by
-         a sum of it with a linear random combination of the other
-         variables. The coefficients are in the interval [-b,b].
-EXAMPLE: example randomLast; shows an example
-"
-{
-  ideal i=maxideal(1);
-  int k=size(i);
-  i[k]=0;
-  i=randomid(i,size(i),b);
-  ideal ires=maxideal(1);
-  ires[k]=i[1]+var(k);
-  return(ires);
-}
-example
-{ "EXAMPLE:"; echo = 2;
-   ring  r = 0,(x,y,z),lp;
-   ideal i = randomLast(10);
-   i;
-}
 ///////////////////////////////////////////////////////////////////////////////