Dear Dan, Thank you for your patches!
> I have revised both the Kazhdan-Lusztig polynomial and Iwahori > Hecke algebra patches and reposted them on the trac server. > > http://trac.sagemath.org/sage_trac/ticket/7729 > http://trac.sagemath.org/sage_trac/ticket/7751 > > Things that should be in coxeter.py have been moved there, > cached methods are used when appropriate, and both patches > work with LaurentPolynomialRings. The patches seem to me > to be fairly mature and I hope someone will review them. When specifying both parameters q1=q2=0, should one obtain the nilCoxeter algebra, so s1^2=0? However, the code seems to give: sage: R = IwahoriHeckeAlgebraT("A3",0,0,prefix = "s") sage: [s1,s2,s3] = R.algebra_generators() sage: s1*s1 -s1 Also, I get some test failures for 7729 (they all seem trivial since the order of the summands is just interchanged), but nonetheless: /sage-4.3 anne$ sage -t devel/sage-combinat/sage/algebras/iwahori.py sage -t "4.3/devel/sage-combinat/sage/algebras/iwahori.py" ********************************************************************** File "/Applications/sage-4.3/devel/sage-combinat/sage/algebras/iwahori.py", line 173: sage: x = (T1*T2).inverse(); x Expected: (1-2*q^-1+q^-2)*1 + (-q^-1+q^-2)*T2 + (q^-2)*T2*T1 + (-q^-1+q^-2)*T1 Got: (q^-2)*T2*T1 + (-q^-1+q^-2)*T1 + (1-2*q^-1+q^-2)*1 + (-q^-1+q^-2)*T2 ********************************************************************** File "/Applications/sage-4.3/devel/sage-combinat/sage/algebras/iwahori.py", line 289: sage: T1*T2*T1*T0*T1*T1 Expected: q*T1*T2*T1*T0 + (q-1)*T1*T2*T0*T1*T0 Got: (q-1)*T1*T2*T0*T1*T0 + q*T1*T2*T1*T0 ********************************************************************** File "/Applications/sage-4.3/devel/sage-combinat/sage/algebras/iwahori.py", line 336: sage: H(T1+2*T2) Expected: 2*T2 + T1 Got: T1 + 2*T2 ********************************************************************** File "/Applications/sage-4.3/devel/sage-combinat/sage/algebras/iwahori.py", line 511: sage: H1.inverse_generator(2) Expected: (r2^-1+r1^-1)*1 + (-r1^-1*r2^-1)*T2 Got: (-r1^-1*r2^-1)*T2 + (r2^-1+r1^-1)*1 ********************************************************************** File "/Applications/sage-4.3/devel/sage-combinat/sage/algebras/iwahori.py", line 514: sage: H2.inverse_generator(2) Expected: (-1+r1^-1)*1 + (r1^-1)*T2 Got: (r1^-1)*T2 + (-1+r1^-1)*1 ********************************************************************** File "/Applications/sage-4.3/devel/sage-combinat/sage/algebras/iwahori.py", line 594: sage: [H._product_with_weyl_element(s1,x) for x in [T1,T2]] Expected: [q*1 + (q-1)*T1, T1*T2] Got: [(q-1)*T1 + q*1, T1*T2] ********************************************************************** File "/Applications/sage-4.3/devel/sage-combinat/sage/algebras/iwahori.py", line 65: sage: sum(H.algebra_generators())^2 Expected: x1*x2 + 2*q1*1 + (q1-1)*x2 + x2*x1 + (q1-1)*x1 Got: (q1-1)*x1 + (q1-1)*x2 + 2*q1*1 + x2*x1 + x1*x2 ********************************************************************** File "/Applications/sage-4.3/devel/sage-combinat/sage/algebras/iwahori.py", line 93: sage: T1+T2 Expected: T2 + T1 Got: T1 + T2 Best wishes, Anne -- You received this message because you are subscribed to the Google Groups "sage-combinat-devel" group. To post to this group, send email to sage-combinat-de...@googlegroups.com. To unsubscribe from this group, send email to sage-combinat-devel+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sage-combinat-devel?hl=en.
