Changeset fe1b64 in git


Ignore:
Timestamp:
Feb 26, 2018, 3:34:52 PM (5 years ago)
Author:
Karim Abou Zeid <karim23697@…>
Branches:
(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a657104b677b4c461d018cbf3204d72d34ad66a9')
Children:
092377cdba0501e956f9019d2bd0ebb350e31c5c
Parents:
c70cf1673d807572cb068598a62958bd7374c8e0
Message:
Add PROCEDURES doc and update Baumslag doc
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Singular/LIB/fpalgebras.lib

    rc70cf1 rfe1b64  
    33category="Noncommutative";
    44info="
    5 LIBRARY: fpalgebras.lib   [TODO]
     5LIBRARY: fpalgebras.lib
    66AUTHORS: Karim Abou Zeid,       karim.abou.zeid at rwth-aachen.de
    77
     
    1010
    1111OVERVIEW:
    12 [TODO]
     12Generation of various groups and algebras in the Letterplace ring
    1313
    1414PROCEDURES:
    15 [TODO]
     15baumslagSolitar(int n, int m, int d, list #);
     16baumslag(int m, int n, int d);
     17crystallographicGroupP1(int d);
     18crystallographicGroupPM(int d);
     19crystallographicGroupPG(int d);
     20crystallographicGroupP2MM(int d);
     21crystallographicGroupP2(int d);
     22crystallographicGroupP2GG(int d);
     23crystallographicGroupCM(int d);
     24crystallographicGroupC2MM(int d);
     25crystallographicGroupP4(int d);
     26crystallographicGroupP4MM(int d);
     27crystallographicGroupP4GM(int d);
     28crystallographicGroupP3(int d);
     29crystallographicGroupP31M(int d);
     30crystallographicGroupP3M1(int d);
     31crystallographicGroupP6(int d);
     32crystallographicGroupP6MM(int d);
     33dyckGroup1(int n, int d, intvec P);
     34dyckGroup2(int n, int d, intvec P);
     35dyckGroup3(int n, int d, intvec P);
     36fibonacciGroup(int m, int d);
     37tetrahedronGroup(int g, int d);
     38triangularGroup(int g, int d);
    1639";
    1740
     
    2548////////////////////////////////////////////////////////////////////
    2649
    27 proc baumslagSolitar(int n,int m,int d,list #)
     50proc baumslagSolitar(int n, int m, int d, list #)
    2851"USAGE: baumslagSolitar(m,n,d[,IsGroup]); n an integer, m an integer, d an integer, IsGroup an optional integer
    2952RETURN: ring
     
    117140
    118141
    119 //Baumslag group with the following presentation
    120 //< a, b | a^m = b^n = 1 >
    121 
    122 proc baumslag(int m, int n, int d)
    123 "USAGE: baumslag(m,n,d); m an integer, n an integer, d an integer
    124 RETURN: ring
    125 NOTE: - the ring contains the ideal I, which contains the required relations
     142proc baumslagGroup(int m, int n, int d)
     143"USAGE: baumslagGroup(m,n,d); m an integer, n an integer, d an integer
     144RETURN: ring
     145NOTE: - the ring contains the ideal I, which contains the required relations
     146@*    - Baumslag group with the following presentation
     147@*      < a, b | a^m = b^n = 1 >
     148@*    -d gives the degreebound for the Letterplace ring
    126149"
    127150{
Note: See TracChangeset for help on using the changeset viewer.