  The Weierstrass curve is a pointed curve $(X,\infty)$ with a numerical
semigroup $H_X$, which is a normalization of the curve given by the Weierstrass
canonical form, $y^r + A_{1}(x) y^{r-1} + A_{2}(x) y^{r-2} +\dots + A_{r-1}(x)
y + A_{r}(x)=0$ where each $A_j$ is a polynomial in $x$ of degree $\leq j s/r$
for certain coprime positive integers $r$ and $s$, $r$&#60;$s$, such that the
generators of the Weierstrass non-gap sequence $H_X$ at $\infty$ include $r$
and $s$. The Weierstrass curve has the projection $\varpi_r\colon X \to
{\mathbb P}$, $(x,y)\mapsto x$, as a covering space. Let $R_X := {\mathbf
H}^0(X, {\mathcal O}_X(*\infty))$ and $R_{\mathbb P} := {\mathbf H}^0({\mathbb
P}, {\mathcal O}_{\mathbb P}(*\infty))$ whose affine part is ${\mathbb C}[x]$.
In this paper, for every Weierstrass curve $X$, we show the explicit expression
of the complementary module $R_X^{\mathfrak c}$ of $R_{\mathbb P}$-module $R_X$
as an extension of the expression of the plane Weierstrass curves by Kunz. The
extension naturally leads the explicit expressions of the holomorphic one form
except $\infty$, ${\mathbf H}^0({\mathbb P}, {\mathcal A}_{\mathbb
P}(*\infty))$ in terms of $R_X$. Since for every compact Riemann surface, we
find a Weierstrass curve that is bi-rational to the surface, we also comment
that the explicit expression of $R_X^{\mathfrak c}$ naturally leads the
algebraic construction of generalized Weierstrass' sigma functions for every
compact Riemann surface and is also connected with the data on how the Riemann
surface is embedded into the universal Grassmannian manifolds.
