Changeset 804d68 in git


Ignore:
Timestamp:
Jan 23, 2007, 7:27:17 PM (17 years ago)
Author:
Hans Schönemann <hannes@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b21a664aa22dc6e196223af8a74ad4885e83547c')
Children:
699567b13d1a31435754a539ed8b14924b96762b
Parents:
b788ab439857884880c28825ed58ad95b56e2587
Message:
*hannes: reduction ->sagbiReduction


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

Legend:

Unmodified
Added
Removed
  • Singular/LIB/sagbi.lib

    rb788ab r804d68  
    11//////////////////////////////////////////////////////////////////////////////
    2 version="$Id: sagbi.lib,v 1.8 2007-01-23 15:03:37 Singular Exp $";
     2version="$Id: sagbi.lib,v 1.9 2007-01-23 18:27:17 Singular Exp $";
    33category="Commutative Algebra";
    44info="
     
    88
    99PROCEDURES:
    10  reduction(p,I);  perform one step subalgebra reducton (for short S-reduction) of p w.r.t I
     10 sagbiRreduction(p,I);  perform one step subalgebra reducton (for short S-reduction) of p w.r.t I
    1111 sagbiSPoly(I);   compute the S-polynomials of the Subalgebra defined by the genartors of I
    1212 sagbiNF(id,I);   perform iterated S-reductions in order to compute Subalgebras normal forms
     
    254254///////////////////////////////////////////////////////////////////////////////
    255255
    256 proc reduction(poly p,ideal dom,list #)//one step Subalgebra reduction
    257 "USAGE: reduction(p,dom[,n]); p poly , dom  ideal
     256proc sagbiReduction(poly p,ideal dom,list #)//one step Subalgebra reduction
     257"USAGE: sagbiReduction(p,dom[,n]); p poly , dom  ideal
    258258RETURN: a polynomial
    259259@format
     
    262262    n may take the values (0 or default),1 or 2.
    263263@end format
    264 EXAMPLE: reduction; show an example"
     264EXAMPLE: sagbiReduction; show an example"
    265265{
    266266  def bsr=basering;
     
    387387  ideal dom =x2,y2,xy-y;
    388388  poly p=x4+x3y+xy2-y2;
    389   reduction(p,dom);
    390   reduction(p,dom,1);
    391   reduction(p,dom,2);
     389  sagbiReduction(p,dom);
     390  sagbiReduction(p,dom,1);
     391  sagbiReduction(p,dom,2);
    392392}
    393393
     
    396396{
    397397  poly p1=p;
    398   poly p2=reduction(p,dom,#);
     398  poly p2=sagbiReduction(p,dom,#);
    399399  while (p1!=p2)
    400400  {
    401401    p1=p2;
    402     p2=reduction(p1,dom,#);
     402    p2=sagbiReduction(p1,dom,#);
    403403  }
    404404  return(p2);
     
    412412  while(p1!=0)
    413413  {
    414     p2=reduction(p1,dom,#);
     414    p2=sagbiReduction(p1,dom,#);
    415415    if(p2!=p1)
    416416    {
Note: See TracChangeset for help on using the changeset viewer.