### Quotient ring involving Laurent polynomials

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
The algebra I'm trying to implement is 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?