_E:=n->_(q^n,q^n)[oo]:
_f:='_f':
_g:=(a,b,T)->_f(a,b):
printf("CHOI's IDENTITY (Theorem 2.15, p.11)\n");
_CHOIID1:=
_E(4)^2*_E(10)^4*_E(20)/_E(2)/_E(5)^2/_E(8)/_g(-q^2
 ,-q^18,20)/_g(-q^16,-q^24,20)
 =( _E(5)*_E(10)*_g(-q^4,-q^6,20)/_g(-q^2,-q^3,20)/_g(-q^2,-q^8,20)
 -q^3*subs(q=-q^20,_E(1))*_E(40)*_g(-q^8,-q^32,20)/_g(q^4,-q^16,20)/_g(-q^16,-q^24,20)
 +q^6*_E(40)*_E(80)*_g(-q^8,-q^32,20)/_g(-q^16,-q^24,20)/_g(-q^32,-q^48,20)):
_CHOIID1;