Changeset 9db834 in git
 Timestamp:
 Mar 15, 2018, 4:09:35 PM (5 years ago)
 Branches:
 (u'jengelhdatetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a657104b677b4c461d018cbf3204d72d34ad66a9')
 Children:
 c017640743111f9dd1c6c09436b391ea68e50b3c
 Parents:
 7687d1ff67ab5824aba6ae95e9e9dfc2a6b77317
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

Singular/LIB/fpalgebras.lib
r7687d1f r9db834 1 1 //////////////////////////////////////////////////////////////// 2 version="version fpalgebras.lib 4.1.1.0 Feb_2018 ";2 version="version fpalgebras.lib 4.1.1.0 Mar_2018 "; 3 3 category="Noncommutative"; 4 4 info=" … … 14 14 15 15 PROCEDURES: 16 operatorAlgebra(string a, int d); 16 17 baumslagSolitar(int n, int m, int d, list #); 17 18 baumslag(int m, int n, int d); … … 45 46 46 47 //////////////////////////////////////////////////////////////////// 47 // Simple Algebras /////////////////////////////////////////////////48 //////////////////////////////////////////////////////////////////// 49 50 proc simpleAlgebra(string a, int d) // TODO name51 "USAGE: simpleAlgebra(a,d); a a string, d an integer48 // Operator Algebras /////////////////////////////////////////////// 49 //////////////////////////////////////////////////////////////////// 50 51 proc operatorAlgebra(string a, int d) 52 "USAGE: operatorAlgebra(a,d); a a string, d an integer 52 53 RETURN: ring 53 54 NOTE:  the ring contains the ideal I, which contains the required relations … … 67 68 @* weyl1inverse 68 69 @* 70 @* This is a collection of common algebras 71 @* 69 72 " 70 73 { … … 178 181 @*  negativ input is only allowed in the group case! 179 182 @*  d gives a degreebound and must be >m,n 183 @* 184 @* This is a family 185 @* 180 186 " 181 187 { … … 274 280 @* < a, b  a^m = b^n = 1 > 275 281 @* d gives the degreebound for the Letterplace ring 282 @* 283 @* This is a family 284 @* 276 285 " 277 286 { … … 885 894 @*  representation in the form x_i^p_i  x_(i+1)^p_(i+1) 886 895 @*  d gives the degreebound for the Letterplace ring 896 @* 897 @* This is a family 898 @* 887 899 " 888 900 { … … 934 946 @*  representation in the form x_i^p_i  1 935 947 @*  d gives the degreebound for the Letterplace ring 948 @* 949 @* This is a family 950 @* 936 951 " 937 952 { … … 984 999 @*  no inverse generators needed 985 1000 @*  d gives the degreebound for the Letterplace ring 1001 @* 1002 @* This is a family 1003 @* 986 1004 " 987 1005 { … … 1036 1054 @* < x_1, x_2, ... , x_m  x_i * x_(i + 1) = x_(i + 2) > 1037 1055 @*  d gives the degreebound for the Letterplace ring 1056 @* 1057 @* This is a family 1058 @* 1038 1059 " 1039 1060 // TODO: basefield Q oder F2? … … 1085 1106 RETURN: ring 1086 1107 NOTE:  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 1089 1112 @* 1090 1113 The examples are found in … … 1150 1173 RETURN: ring 1151 1174 NOTE:  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 1154 1179 @* 1155 1180 The examples are found in
Note: See TracChangeset
for help on using the changeset viewer.