Quotient ring involving Laurent polynomials

asked 2018-06-18 14:35:35 -0500

CJLai gravatar image

updated 2018-06-18 21:45:37 -0500

Hi all, I have actually two closely related questions:

Q1 Below is a working code that involves no Laurent polynomials:

sage: P = PolynomialRing(ZZ,'t0,t1')
sage: A.<T0,T1> = QuotientRing(P,[t0^2-1, t1^2-1])
sage: T0^2
sage: T1^2

The output is

1
1

I want to make a q-analog of it so it will produce its (Q,q)-deformation:

(Q-1)*T0 + Q
(q-1)*T1 + q

My attempt below didn't compile, and I'm wondering if there's a good solution to it.

sage: R = LaurentPolynomialRing(ZZ,'Q,q')
sage: P = PolynomialRing(R,'t0,t1')
sage: A.<T0,T1> = QuotientRing(P,[t0^2-1, t1^2-1])
sage: T0^2
sage: T1^2

Q2 I'm trying to implement the most general Hecke algebra of type B2 with unequal parameters for the two nodes. This is labeled as a TODO in the Sage Reference Manual (cannot post direct link due too low karma):

doc.sagemath.org/html/en/reference/algebras/sage/algebras/iwahori_hecke_algebra.html

Does anyone know any update to this?

edit retag flag offensive close merge delete

Comments

Regarding Q1: Just after posting the question I realized that T0 and T1 commute in the ring in Q1, which is not my intended object. However, it's still a question I'd like to ask.

If any of you is interested, for the Hecke algebra I end up using free algebra quotient

CJLai gravatar imageCJLai ( 2018-06-18 21:48:42 -0500 )edit