Let $\theta$ be a real number. We define $A_{\theta}$, the algebra of continuous functions on a noncommutative $2$-torus, to be the universal $C^*$-algebra generated by two generators $U$ and $V$ which satisfy $$ UV=e^{2\pi i\theta}VU, UU*=U^*U=VV^*=V^*V=1. $$

In literature people define smooth functions on a noncommutative torus to be a dense subalgebra $A^{\infty}_{\theta}$of $A_{\theta}$ as $$ A^{\infty}_{\theta}:=\{\sum_{r,s\in \mathbb{Z}}a_{rs}U^rV^s|\{a_{rs}\}\in \mathcal{S}(\mathbb{Z^2})\} $$ where $\mathcal{S}(\mathbb{Z^2})$ denotes the space of rapid decreasing functions on $\mathbb{Z}^2$.

I'm not sure if the definition of $A^{\infty}_{\theta}$ is a convenient choice. In the commutative case, i.e. when $\theta=0$. $A^{\infty}_{\theta}$ coincides with the algebra of smooth functions on $T^2$ by Fourier transformation. In the noncommutative case, we can still do lots of differential operations on $A^{\infty}_{\theta}$. For example we have basic derivations on $A^{\infty}_{\theta}$. This means that elements in $A^{\infty}_{\theta}$ must be smooth but I wonder if there exist "smooth functions" outside $A^{\infty}_{\theta}$.

My question is: Is $A^{\infty}_{\theta}$ also the maximal noncommutative smooth functions on a noncommutative $2$-torus, i.e. the maximal subalgebra in $A_{\theta}$ such that arbitrary composition of basic derivations could be defined?