Пример #1
0
	def specialize(self):
		"""specializes to weight k -- i.e. projects to Sym^k  -- NO CHARACTER HERE!!"""
		assert 0==1, "didn't program character here yet"
		k=self.weight
		if k==0:
			return symk(0,self.moments[0])
		else:
			# R.<X,Y>=PolynomialRing(QQ,2)
			R = PolynomialRing(QQ,('X','Y'))
			P=0
			for j in range(0,k+1):
				P=P+binomial(k,j)*((-1)**j)*self.moments[j]*(X**j)*(Y**(k-j))
			return symk(k,P)	
Пример #2
0
	def specialize(self):
		"""specializes to weight k -- i.e. projects to Sym^k"""
		k=self.weight
		if k==0:
			# R.<X,Y>=PolynomialRing(QQ,2)
			R = PolynomialRing(QQ,('X','Y'))
			X,Y = R.gens()
			P=0
			for j in range(0,k+1):
				P=P+binomial(k,j)*((-1)**j)*self.moment(j)*(X**j)*(Y**(k-j))
			return symk(k,P)