Changeset e3cb559 in git

Timestamp:

Dec 10, 2020, 11:02:12 AM (3 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b4f17ed1d25f93d46dbe29e4b499baecc2fd51bb')

Children:

9ee8586caa6203ffc06f1b7dc54ac0c8f95d1343

Parents:

04fd151aafcc56addbe8a6b608ae2390f6d8df17

Message:

doc: fix pdivi (dupl.)

File:

• Singular/LIB/redcgs.lib (modified) (9 diffs)

Singular/LIB/redcgs.lib

@@ -127 +127 @@
 subset(F,G);         If all elements of F belong to the ideal G it returns 1,
                      and 0 otherwise.
-pdivi(f,F);          Pseudodivision of a polynomial f by an ideal F in @R. Returns a
+pdivi2(f,F);         Pseudodivision of a polynomial f by an ideal F in @R. Returns a
                      list (r,q,m) such that m*f=r+sum(q.G).
 facvar(ideal J)      Returns all the free-square factors of the elements
@@ -430 +430 @@
 
 
-// pdivi : pseudodivision of a polynomial f by an ideal F in @R
+// pdivi2 : pseudodivision of a polynomial f by an ideal F in @R
 //         in the ring @R
 // input:
@@ -437 +437 @@
 // output:
 //   list (poly r, ideal q, poly mu)
-proc pdivi(poly f,ideal F)
-"USAGE:   pdivi(f,F);
+proc pdivi2(poly f,ideal F)
+"USAGE:   pdivi2(f,F);
           poly f: the polynomial to be divided
           ideal F: the divisor ideal
@@ -447 +447 @@
           list (r,q,m) such that m*f=r+sum(q.G).
 KEYWORDS: division, reduce
-EXAMPLE:  pdivi; shows an example"
+EXAMPLE:  example pdivi2; shows an example"
 {
   int i;
@@ -505 +505 @@
   poly f=(ab-ac)*xy+(ab)*x+(5c);
   ideal F=ax+b,cy+a;
-  def r=pdivi(f,F);
+  def r=pdivi2(f,F);
   r;
   r[3]*f-(r[2][1]*F[1]+r[2][2]*F[2])-r[1];
@@ -631 +631 @@
 NOTE:     Should be called from ring @R. Ideals N and W must be polynomials
           in the parameters forming a red-specification (see definition)         the papers).
-KEYWORDS: division, pdivi, reduce
+KEYWORDS: division, pdivi2, reduce
 EXAMPLE:  pnormalform; shows an example"
 {
@@ -933 +933 @@
   {
     H=delfromideal(F,i);
-    G[i]=pnormalform(pdivi(F[i],H)[1],N,W);
+    G[i]=pnormalform(pdivi2(F[i],H)[1],N,W);
   }
   return(G);
@@ -1219 +1219 @@
       {
         S=pspol(F[i],F[j]);
-        KK=pdivi(S,F);
+        KK=pdivi2(S,F);
         S=KK[1];
         if (S!=0)
@@ -3760 +3760 @@
   {
     H=delfromideal(F,i);
-    G[i]=pdivi(F[i],H)[1];
+    G[i]=pdivi2(F[i],H)[1];
   }
   return(G);