Changeset 9db834 in git


Ignore:
Timestamp:
Mar 15, 2018, 4:09:35 PM (6 years ago)
Author:
Karim Abou Zeid <karim23697@…>
Branches:
(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')
Children:
c017640743111f9dd1c6c09436b391ea68e50b3c
Parents:
7687d1ff67ab5824aba6ae95e9e9dfc2a6b77317
Message:
Update doc
File:
1 edited

Legend:

Unmodified
Added
Removed

  • Singular/LIB/fpalgebras.lib

    r7687d1f r9db834  
    11////////////////////////////////////////////////////////////////
    2 version="version fpalgebras.lib 4.1.1.0 Feb_2018 ";
     2version="version fpalgebras.lib 4.1.1.0 Mar_2018 ";
    33category="Noncommutative";
    44info="
    … …  
    1414
    1515PROCEDURES:
     16operatorAlgebra(string a, int d);
    1617baumslagSolitar(int n, int m, int d, list #);
    1718baumslag(int m, int n, int d);
    … …  
    4546
    4647////////////////////////////////////////////////////////////////////
    47 // Simple Algebras /////////////////////////////////////////////////
    48 ////////////////////////////////////////////////////////////////////
    49 
    50 proc simpleAlgebra(string a, int d) // TODO name
    51 "USAGE: simpleAlgebra(a,d); a a string, d an integer
     48// Operator Algebras ///////////////////////////////////////////////
     49////////////////////////////////////////////////////////////////////
     50
     51proc operatorAlgebra(string a, int d)
     52"USAGE: operatorAlgebra(a,d); a a string, d an integer
    5253RETURN: ring
    5354NOTE: - the ring contains the ideal I, which contains the required relations
    … …  
    6768@*      weyl1inverse
    6869@*
     70@*    This is a collection of common algebras
     71@*
    6972"
    7073{
    … …  
    178181@*    - negativ input is only allowed in the group case!
    179182@*    - d gives a degreebound and must be >m,n
     183@*
     184@*    This is a family
     185@*
    180186"
    181187{
    … …  
    274280@*      < a, b | a^m = b^n = 1 >
    275281@*    -d gives the degreebound for the Letterplace ring
     282@*
     283@*    This is a family
     284@*
    276285"
    277286{
    … …  
    885894@*    - representation in the form x_i^p_i - x_(i+1)^p_(i+1)
    886895@*    - d gives the degreebound for the Letterplace ring
     896@*
     897@*    This is a family
     898@*
    887899"
    888900{
    … …  
    934946@*    - representation in the form x_i^p_i - 1
    935947@*    - d gives the degreebound for the Letterplace ring
     948@*
     949@*    This is a family
     950@*
    936951"
    937952{
    … …  
    984999@*    - no inverse generators needed
    9851000@*    - d gives the degreebound for the Letterplace ring
     1001@*
     1002@*    This is a family
     1003@*
    9861004"
    9871005{
    … …  
    10361054@*      < x_1, x_2, ... , x_m | x_i * x_(i + 1) = x_(i + 2) >
    10371055@*    - d gives the degreebound for the Letterplace ring
     1056@*
     1057@*    This is a family
     1058@*
    10381059"
    10391060// TODO: basefield Q oder F2?
    … …  
    10851106RETURN: ring
    10861107NOTE: - the ring contains the ideal I, which contains the required relations
    1087 @*    - g gives the number of the example
    1088 @*    - d gives the degreebound for the Letterplace ring
     1108@*    - g gives the number of the example (1 - 5)
     1109@*    - d gives the degreebound for the Letterplace ring
     1110@*
     1111@*    This is a family
    10891112@*
    10901113The examples are found in
    … …  
    11501173RETURN: ring
    11511174NOTE: - the ring contains the ideal I, which contains the required relations
    1152 @*    - g gives the number of the example
    1153 @*    - d gives the degreebound for the Letterplace ring
     1175@*    - g gives the number of the example (1 - 14)
     1176@*    - d gives the degreebound for the Letterplace ring
     1177@*
     1178@*    This is a family
    11541179@*
    11551180The examples are found in
Note: See TracChangeset for help on using the changeset viewer.