# Changeset 9db834 in git

Ignore:
Timestamp:
Mar 15, 2018, 4:09:35 PM (5 years ago)
Branches:
Children:
c017640743111f9dd1c6c09436b391ea68e50b3c
Parents:
7687d1ff67ab5824aba6ae95e9e9dfc2a6b77317
Message:
`Update doc`
File:
1 edited

Unmodified
Removed
• ## Singular/LIB/fpalgebras.lib

 r7687d1f //////////////////////////////////////////////////////////////// version="version fpalgebras.lib 4.1.1.0 Feb_2018 "; version="version fpalgebras.lib 4.1.1.0 Mar_2018 "; category="Noncommutative"; info=" PROCEDURES: operatorAlgebra(string a, int d); baumslagSolitar(int n, int m, int d, list #); baumslag(int m, int n, int d); //////////////////////////////////////////////////////////////////// // Simple Algebras ///////////////////////////////////////////////// //////////////////////////////////////////////////////////////////// proc simpleAlgebra(string a, int d) // TODO name "USAGE: simpleAlgebra(a,d); a a string, d an integer // Operator Algebras /////////////////////////////////////////////// //////////////////////////////////////////////////////////////////// proc operatorAlgebra(string a, int d) "USAGE: operatorAlgebra(a,d); a a string, d an integer RETURN: ring NOTE: - the ring contains the ideal I, which contains the required relations @*      weyl1inverse @* @*    This is a collection of common algebras @* " { @*    - negativ input is only allowed in the group case! @*    - d gives a degreebound and must be >m,n @* @*    This is a family @* " { @*      < a, b | a^m = b^n = 1 > @*    -d gives the degreebound for the Letterplace ring @* @*    This is a family @* " { @*    - representation in the form x_i^p_i - x_(i+1)^p_(i+1) @*    - d gives the degreebound for the Letterplace ring @* @*    This is a family @* " { @*    - representation in the form x_i^p_i - 1 @*    - d gives the degreebound for the Letterplace ring @* @*    This is a family @* " { @*    - no inverse generators needed @*    - d gives the degreebound for the Letterplace ring @* @*    This is a family @* " { @*      < x_1, x_2, ... , x_m | x_i * x_(i + 1) = x_(i + 2) > @*    - d gives the degreebound for the Letterplace ring @* @*    This is a family @* " // TODO: basefield Q oder F2? RETURN: ring NOTE: - the ring contains the ideal I, which contains the required relations @*    - g gives the number of the example @*    - d gives the degreebound for the Letterplace ring @*    - g gives the number of the example (1 - 5) @*    - d gives the degreebound for the Letterplace ring @* @*    This is a family @* The examples are found in RETURN: ring NOTE: - the ring contains the ideal I, which contains the required relations @*    - g gives the number of the example @*    - d gives the degreebound for the Letterplace ring @*    - g gives the number of the example (1 - 14) @*    - d gives the degreebound for the Letterplace ring @* @*    This is a family @* The examples are found in
Note: See TracChangeset for help on using the changeset viewer.