Add an infinite weyl algebra class

[jmcdonough98]

This PR adds a class InfiniteDifferentialWeylAlgebra, the infinite analog of the currently existing DifferentialWeylAlgebra class. It is an algebra generated by two countable families of symbols x_i, dx_i subject to the relations [x_i, x_j] = [dx_i, dx_j] = 0 and [x_i, dx_j] = \delta_{i, j}

Part of #40241

cc: @tscrim

📝 Checklist

• The title is concise and informative.
• The description explains in detail what this PR is about.
• I have linked a relevant issue or discussion.
• I have created tests covering the changes.
• I have updated the documentation and checked the documentation preview.

⌛ Dependencies

[github-actions]

Documentation preview for this PR (built with commit c018c5b; changes) is ready! 🎉
This preview will update shortly after each push to this PR.

[tscrim]

We should not import this into the global namespace, but instead update the hook for DifferentialWeylAlgebra to punt to the infinite case when the generators are infinite. This will mean renaming DifferentialWeylAlgebra__classcall__ to DifferentialWeylAlgebra__classcall_private__ and expanding its signature to take an addition n parameter. When n == oo, then it returns the infinitely generated case.

[tscrim]

Suggested change

	@cached_method
	def one(self):
	"""
	Return the multiplicative identity element `1` of ``self``
	EXAMPLES::
	sage: W.<x> = InfiniteDifferentialWeylAlgebra(QQ)
	sage: x[1]*W.one() == x[1]
	True
	"""
	return self.element_class(self, {(self._var_index.one(), self._diff_index.one()): self.base_ring().one()})
	@cached_method
	def one_basis(self):
	"""
	Return the multiplicative identity element `1` of ``self``
	EXAMPLES::
	sage: W.<x> = InfiniteDifferentialWeylAlgebra(QQ)
	sage: W.one_basis() == W.one().leading_support()
	True
	sage: x[1]*W.one() == x[1]
	True
	"""
	return (self._var_index.one(), self._diff_index.one())