Changes http://wiki.axiom-developer.org/DynamicFunctionDomains/diff
--
??changed:
-\begin{axiom}
+\begin{spad}
)abbrev package FOO Foo
??changed:
== add point()==k::PrimeField(n)
-\end{axiom}
+\end{spad}
++added:
+\begin{spad}
+)abbrev package FOO2 Foo2
+Foo2(n:PositiveInteger, k:IntegerMod(n)):with point:()->PrimeField(n)
+ == add point()==convert(k)$IntegerMod(n)::PrimeField(n)
+\end{spad}
+
+\begin{axiom}
+point()$Foo2(13,2)
+\end{axiom}
+
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
