Changeset 9ee858 in git


Ignore:
Timestamp:
Dec 10, 2020, 11:05:44 AM (3 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
Children:
e7fbce812e18b9843d8a305dfb7927846e3f3659
Parents:
e3cb5594049a95a6761e0f1503ff435e561bd326
Message:
fix: Poly, makePoly (dupl.)
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Singular/LIB/stanleyreisner.lib

    re3cb559 r9ee858  
    2121T1(ideal)                   compute first order deformations
    2222T2(ideal)                   compute second order deformations
    23 makePoly(poly)              create a Poly
     23makeQPoly(poly)             create a QPoly
    2424fPiece(ideal,poly,poly)     create a FirstOrderDeformation
    2525sPiece(ideal,poly,poly)     create a SecondOrderDeformation
     
    3636  newstruct("FirstOrderDeformation","ideal source, ideal gens, ring over, list dgs, list rule, qring target ");
    3737  newstruct("SecondOrderDeformation","ideal source, list relations, list lamda, list dgs");
    38   newstruct("Poly","poly value, qring over");
     38  newstruct("QPoly","poly value, qring over");
    3939  newstruct("LinksDeformation","ideal links, poly a, FirstOrderDeformation FirstDeformation, SecondOrderDeformation SecondDeformation");
    4040  system("install","FirstOrderDeformation","print",printFirstOrderDeformation,1);
    4141  system("install","SecondOrderDeformation","print",printSecondOrderDeformation,1);
    4242  system("install","LinksDeformation","print",printLinksDeformation,1);
    43   system("install","Poly","+",addPolys,2);
    44   system("install","Poly","print",printPoly,1);
     43  system("install","QPoly","+",addQPolys,2);
     44  system("install","QPoly","print",printQPoly,1);
    4545}
    4646
     
    129129
    130130
    131 proc printPoly(Poly f)
    132 "USAGE:  printPoly(f); f = Poly.
     131proc printQPoly(QPoly f)
     132"USAGE:  printQPoly(f); f = QPoly.
    133133ASSUME:  f is a polynomial in quotient ring.
    134134RETURN:  print the polynomial in the quotient ring.
    135 KEYWORDS: Poly, quotient ring.
    136 EXAMPLE: example printPoly, shows an example"
     135KEYWORDS: QPoly, quotient ring.
     136EXAMPLE: example printQPoly, shows an example"
    137137{
    138138  def Rold = basering;
     
    149149 qring Q=std(i);
    150150 poly p=x*y+z;
    151  Poly q=makePoly(p);
     151 QPoly q=makeQPoly(p);
    152152 q;
    153153}
     
    155155
    156156
    157 proc makePoly(poly p)
    158 "USAGE:  makePoly(p); p = polynomial.
     157proc makeQPoly(poly p)
     158"USAGE:  makeQPoly(p); p = polynomial.
    159159ASSUME:  p is a polynomial in basering.
    160 RETURN:  a Poly which is in a quotient ring.
     160RETURN:  a QPoly which is in a quotient ring.
    161161THEORY:  The procedure will convert a polynomial in basering to a polynomial in a quotient ring.
    162 KEYWORDS: Poly, quotient ring.
    163 EXAMPLE: example makePoly; shows an example"
     162KEYWORDS: QPoly, quotient ring.
     163EXAMPLE: example makeQPoly; shows an example"
    164164{
    165165  def rc=basering;
    166   Poly P;
     166  QPoly P;
    167167  P.over=rc;
    168168  //option(redSB);
     
    177177 qring Q=std(i);
    178178 poly p=x*y+z;
    179  Poly q=makePoly(p);
     179 QPoly q=makeQPoly(p);
    180180 q.over;
    181181 q.value;
     
    184184
    185185
    186 proc addPolys(Poly f, Poly g)
    187 "USAGE:  addPolys(f,g); f = Poly, g = Poly.
     186proc addQPolys(QPoly f, QPoly g)
     187"USAGE:  addQPolys(f,g); f = QPoly, g = QPoly.
    188188ASSUME:  f and g are the polynomials in a quotient ring.
    189189RETURN:  the sum of f and g in the quotient ring.
    190190THEORY:  The procedure will compute the normal form of f+g.
    191 KEYWORDS: Poly
    192 EXAMPLE: example addPolys; shows an example"
     191KEYWORDS: QPoly
     192EXAMPLE: example addQPolys; shows an example"
    193193{
    194194  def Rold = basering;
     
    198198  poly gg = g.value;
    199199  poly ffplusgg = ff+gg;
    200   Poly fplusg;
     200  QPoly fplusg;
    201201  fplusg.value = ffplusgg;
    202202  fplusg.over = Rcurrent;
Note: See TracChangeset for help on using the changeset viewer.