Quotient ring involving Laurent polynomials

asked 2018-06-18 21:35:35 +0200

CJLai gravatar image

updated 2018-06-19 04:45:37 +0200

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


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):


Does anyone know any update to this?

edit retag flag offensive close merge delete


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-19 04:48:42 +0200 )edit