Changeset 3754ca in git for Singular/LIB/realrad.lib

Timestamp:

Apr 15, 2009, 1:28:08 PM (15 years ago)

Author:

Frank Seelisch <seelisch@…>

Branches:

(u'spielwiese', '4a9821a93ffdc22a6696668bd4f6b8c9de3e6c5f')

Children:

a6606e6cba9689ecbcc4e27ac00fb8c1deabd128

Parents:

40c648539a84cb2dc36e46b6b6c84deeb21e393b

Message:

minor textual changes prior to 3-1-0


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

File:

• Singular/LIB/realrad.lib (modified) (6 diffs)

Singular/LIB/realrad.lib

@@ -1 +1 @@
 ///////////////////////////////////////////////////////////////////////////////
-version="$Id: realrad.lib,v 1.7 2008-12-12 11:26:34 Singular Exp $";
+version="$Id: realrad.lib,v 1.8 2009-04-15 11:15:06 seelisch Exp $";
 category="real algebra";
 info="
@@ -180 +180 @@
  list prim,prepared,nonshape,realu;
  int r;//counter
- int l;//number of first poly with degree >1 or even
+ int l;//number of first polynomial with degree >1 or even
  l=size(j);
  for (r=1;r<=l;r++)
@@ -436 +436 @@
 //////////////////////////////////////////////////////////////////////////////
 proc realpoly(poly f)
-"USAGE:    realpoly(f); a univariate poly f;
+"USAGE:    realpoly(f); a univariate polynomial f;
 RETURN:    poly f, where f is the real part of the input f
 EXAMPLE:   example realpoly; shows an example"
@@ -542 +542 @@
    }
    //search for a p in Q[x_n] such that f is pos. sem. definite
-   //iff for every isolating setting S={a_1,...,a_r} holds that
+   //if and only if for every isolating setting S={a_1,...,a_r} holds that
    //every f(x_1,..,x_n-1, a_i) is positiv semidefinite
    //recursion of variables
@@ -795 +795 @@
         in the Bernstein basis pf lr=(l,r) an a number m in Q
  RETURN:a list erg=erg1,erg2 s.th. erg1=erg1[1],erg[2] and erg1[1] are
-        the bernstein coefficients of P wrt to erg1[2]=(l,m) and erg2[1]
+        the bernstein coefficients of P w.r.t. to erg1[2]=(l,m) and erg2[1]
         is one for erg2[2]=(m,r)
  EXAMPLE: Bernsteincoefficients shows no example
@@ -1046 +1046 @@
 static proc search_first(ideal j,int start, int i)
 "USAGE:    searchfirst(j, start, i);
-           id a reduced groebner basis wrt lex
+           id a reduced groebner basis w.r.t. lex
 RETURN:    if i=1 then turns the number of the first non univariate entry
            with order >1 in its leading term after start