Changeset ba2be4 in git for Singular/LIB/modstd.lib


Ignore:
Timestamp:
Jul 8, 2010, 12:36:30 PM (14 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
3a2b8e5d6b761f4acde24375e684b3c6daf02645
Parents:
99af0d3e643769a827817de5d58cba7541a19539
Message:
steidel: minor fixes

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

Legend:

Unmodified
Added
Removed
  • Singular/LIB/modstd.lib

    r99af0d rba2be4  
    1 //GP, last modified 23.10.06
    21////////////////////////////////////////////////////////////////////////////////
    32version="$Id$";
     
    502501@*       - variant = 3: homogenize - std(.,#[1]) resp. groebner - dehomogenize,
    503502@*       - variant = 4: std(.,#[1]) resp. groebner,
    504 @*       - variant = 5: liftstd.
     503@*       - variant = 5: liftstd1.
    505504EXAMPLE: example modpStd; shows an example
    506505"
     
    801800      {
    802801         variant = 5;
    803          if(printlevel >= 10) { "variant = 2"; }
     802         if(printlevel >= 10) { "variant = 5"; }
     803         "=============================================================";
     804         "WARNING: This variant is not applicable if ordering is mixed.";
     805         "=============================================================";
    804806         matrix trans;
    805807      }
     
    11001102   ideal J1 = modStd(I,1,1);
    11011103   J1;
    1102    // requires MP
     1104   //requires MP
    11031105   //ideal J2 = modStd(I,3);
    11041106   //J2;
     
    11091111   ideal I = cyclic(4);
    11101112   ideal J1 = modStd(I,1);
    1111    // requires MP
    1112    //ideal J2 = modStd(I,2,1);
    1113    //size(reduce(J1,J2));
    1114    //size(reduce(J2,J1));
     1113   ideal J2 = modStd(I,1,1);
     1114   size(reduce(J1,J2));
     1115   size(reduce(J2,J1));
    11151116}
    11161117
Note: See TracChangeset for help on using the changeset viewer.