Changeset d5065a in git


Ignore:
Timestamp:
Feb 6, 2020, 1:33:55 PM (4 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'c7af8613769b29c741d6c338945669719f1fc4f8')
Children:
313f4e891d5112f7957b9c17638a587ce05a0557
Parents:
cf89c1e4088b55203c03806fea43114bb0c73f5d
Message:
fix: examples in invar.lib
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Singular/LIB/invar.lib

    rcf89c1 rd5065a  
    1919  torusreynolds(f)       applies the Reynolds operator to f if the group is a torus or a finite group.
    2020  cyclotomic(n,z)        the n-th cyclotomic polynomial in the variable z.
    21 
     21";
    2222
    2323////////////////////////////////////////////////////////////////////////////////
     
    5757        SL(3);
    5858        "> group;";
    59         group;
     59        Invar::group;
    6060        "> groupideal;";
    6161        groupideal;
     
    128128        print(SLrep);
    129129        "> print(sympower(SLrep,3));";
    130 //      print(sympower(SLrep,3));               // doesn't work in the example
     130        print(sympower(SLrep,3));               // doesn't work in the example
    131131                                                // environment. Bug in Singular??
    132132                                                // We'll have to cheat:
    133 "g(1)^3,     3*g(1)^2*g(2),          3*g(1)*g(2)^2,          g(2)^3,";
    134 "g(1)^2*g(3),3*g(1)^2*g(4)-2*g(1),   3*g(1)*g(2)*g(4)-1*g(2),g(2)^2*g(4),";
    135 "g(1)*g(3)^2,3*g(1)*g(3)*g(4)-1*g(3),3*g(1)*g(4)^2-2*g(4),   g(2)*g(4)^2,";
    136 "g(3)^3,     3*g(3)^2*g(4),          3*g(3)*g(4)^2,          g(4)^3";
     133//"g(1)^3,     3*g(1)^2*g(2),          3*g(1)*g(2)^2,          g(2)^3,";
     134//"g(1)^2*g(3),3*g(1)^2*g(4)-2*g(1),   3*g(1)*g(2)*g(4)-1*g(2),g(2)^2*g(4),";
     135//"g(1)*g(3)^2,3*g(1)*g(3)*g(4)-1*g(3),3*g(1)*g(4)^2-2*g(4),   g(2)*g(4)^2,";
     136//"g(3)^3,     3*g(3)^2*g(4),          3*g(3)*g(4)^2,          g(4)^3";
    137137}
    138138
     
    171171      print(B);
    172172      ring polyring=0,(x(1..n)),dp;
    173       keepring polyring;
     173      export polyring;
    174174      ideal ZFideal=imap(r,B);
    175175      ZFideal=minbase(ZFideal);
     
    298298        torus(3);
    299299        "> group;";
    300         group;
     300        Invar::group;
    301301        "> groupideal;";
    302302        groupideal;
Note: See TracChangeset for help on using the changeset viewer.