Changeset da05799 in git


Ignore:
Timestamp:
Nov 23, 2023, 2:55:20 PM (6 months ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', 'b4f17ed1d25f93d46dbe29e4b499baecc2fd51bb')
Children:
314804350c1c90de217107755f6c8496d424a4a8
Parents:
aa56047b340ec16bc4b83c34472830b3a59783cd
Message:
typos (rp->ip)
Files:
3 edited

Legend:

Unmodified
Added
Removed

  • Singular/LIB/JMBTest.lib

    raa56047 rda05799  
    11//////////////////////////////////////////////////////////////////////
    2 version="version JMBTest.lib 4.2.0.2 dec_2021 "; // $Id$
     2version="version JMBTest.lib 4.4.0.0 Nov_2023 "; // $Id$
    33category="Algebraic Geometry";
    44// summary description of the library
    … …  
    2424mod Vm is different from zero, the given one is not a J-Marked basis.
    2525
    26 The algorithm terminates only if the ordering is rp.
     26The algorithm terminates only if the ordering is ip.
    2727Anyway, the number of reduction steps is bounded.
    2828
    … …  
    7272example
    7373{ "EXAMPLE:"; echo = 2;
    74 ring r=0, (x,y,z), rp;
     74ring r=0, (x,y,z), ip;
    7575jmp r1;
    7676r1.h=z^3;
    … …  
    148148example
    149149{ "EXAMPLE:"; echo = 2;
    150  ring r=0, (x,y,z), rp;
     150 ring r=0, (x,y,z), ip;
    151151jmp r1;
    152152r1.h=z^3;
    … …  
    181181example
    182182{ "EXAMPLE:"; echo = 2;
    183  ring r=0, (x,y,z), rp;
     183 ring r=0, (x,y,z), ip;
    184184ideal I=y,x,z;
    185185Minimus(I);
    … …  
    203203example
    204204{ "EXAMPLE:"; echo = 2;
    205  ring r=0, (x,y,z), rp;
     205 ring r=0, (x,y,z), ip;
    206206ideal I=y,x,z;
    207207Maximus(I);
    … …  
    246246example
    247247{ "EXAMPLE:"; echo = 2;
    248  ring r=0, (x,y,z), rp;
     248 ring r=0, (x,y,z), ip;
    249249jmp p1;
    250250p1.h=poly(1);
    … …  
    292292    if(A[1]>B[1])
    293293      {
    294 //the ordering MUST be rp
     294//the ordering MUST be ip
    295295        //print("Maggiore per Lex");
    296296        d=1;
    … …  
    301301example
    302302{ "EXAMPLE:"; echo = 2;
    303  ring r=0, (x,y,z), rp;
     303 ring r=0, (x,y,z), ip;
    304304jmp r1;
    305305r1.h=z^3;
    … …  
    345345example
    346346{ "EXAMPLE:"; echo = 2;
    347  ring r=0, (x,y,z), rp;
     347 ring r=0, (x,y,z), ip;
    348348jmp r1;
    349349r1.h=z^3;
    … …  
    387387example
    388388{ "EXAMPLE:"; echo = 2;
    389  ring r=0, (x,y,z), rp;
     389 ring r=0, (x,y,z), ip;
    390390jmp r1;
    391391r1.h=z^3;
    … …  
    415415example
    416416{ "EXAMPLE:"; echo = 2;
    417  ring r=0, (x,y,z), rp;
     417 ring r=0, (x,y,z), ip;
    418418jmp r1;
    419419r1.h=z^3;
    … …  
    447447example
    448448{ "EXAMPLE:"; echo = 2;
    449  ring r=0, (x,y,z), rp;
     449 ring r=0, (x,y,z), ip;
    450450 list P=x^2,1,1;
    451451jmp r1;
    … …  
    492492example
    493493{ "EXAMPLE:"; echo = 2;
    494  ring r=0, (x,y,z,t), rp;
     494 ring r=0, (x,y,z,t), ip;
    495495jmp r1;
    496496r1.h=z^3;
    … …  
    633633example
    634634{ "EXAMPLE:"; echo = 2;
    635  ring r=0, (x,y,z), rp;
     635 ring r=0, (x,y,z), ip;
    636636 jmp r1;
    637637 r1.h=z^3;
    … …  
    676676example
    677677{ "EXAMPLE:"; echo = 2;
    678  ring r=0, (x,y,z), rp;
     678 ring r=0, (x,y,z), ip;
    679679jmp r1;
    680680r1.h=z^3;
    … …  
    730730example
    731731{ "EXAMPLE:"; echo = 2;
    732  ring r=0, (x,y,z), rp;
     732 ring r=0, (x,y,z), ip;
    733733jmp A;
    734734A.h=y*z^2;
    … …  
    786786example
    787787{ "EXAMPLE:"; echo = 2;
    788   ring r=0, (x,y,z), rp;
     788  ring r=0, (x,y,z), ip;
    789789jmp r1;
    790790r1.h=z^3;
    … …  
    816816example
    817817{ "EXAMPLE:"; echo = 2;
    818  ring r=0, (x,y,z), rp;
     818 ring r=0, (x,y,z), ip;
    819819jmp r1;
    820820r1.h=z^3;
    … …  
    959959example
    960960{ "EXAMPLE:"; echo = 2;
    961  ring r=0, (x,y,z), rp;
     961 ring r=0, (x,y,z), ip;
    962962 jmp r1;
    963963 r1.h=z^3;

  • Singular/LIB/pointid.lib

    raa56047 rda05799  
    11/////////////////////////////////////////////////////////////////////////////
    2 version="version pointid.lib 4.1.2.0 Feb_2019 "; // $Id$
     2version="version pointid.lib 4.4.0.0 Nov_2023 "; // $Id$
    33category="Commutative Algebra";
    44info="
    … …  
    8888          - a module s.t. the ai are generators or@*
    8989          - a matrix s.t. the ai are columns
    90 ASSUME:  basering must have ordering rp, i.e., be of the form 0,x(1..n),rp;
     90ASSUME:  basering must have ordering ip, i.e., be of the form 0,x(1..n),ip;
    9191         (the first entry of a point belongs to the lex-smallest variable, etc.)
    9292RETURN:  ideal, the non-monomials of the vanishing ideal I(A) of A
    … …  
    218218example
    219219{ "EXAMPLE:"; echo = 2;
    220    ring R1 = 0,x(1..3),rp;
     220   ring R1 = 0,x(1..3),ip;
    221221   vector a1 = [4,0,0];
    222222   vector a2 = [2,1,4];
    … …  
    240240   nonMonomials(MOD);
    241241
    242    ring R2 = 0,x(1..2),rp;
     242   ring R2 = 0,x(1..2),ip;
    243243   list l1 = 0,0;
    244244   list l2 = 0,1;
    … …  
    362362example
    363363{ "EXAMPLE:"; echo = 2;
    364    ring R = 0,x(1..3),rp;
     364   ring R = 0,x(1..3),ip;
    365365   poly n1 = 1;
    366366   poly n2 = x(1);
    … …  
    387387          - a module s.t. the ai are generators or@*
    388388          - a matrix s.t. the ai are columns
    389 ASSUME:  basering must have ordering rp, i.e., be of the form 0,x(1..n),rp;
     389ASSUME:  basering must have ordering ip, i.e., be of the form 0,x(1..n),ip;
    390390         (the first entry of a point belongs to the lex-smallest variable, etc.)
    391391RETURN:  a list where the first entry contains the Groebner basis G of I(A)
    … …  
    641641example
    642642{ "EXAMPLE:"; echo = 2;
    643    ring R = 0,x(1..3),rp;
     643   ring R = 0,x(1..3),ip;
    644644   vector a1 = [4,0,0];
    645645   vector a2 = [2,1,4];
Note: See TracChangeset for help on using the changeset viewer.