Changes http://wiki.axiom-developer.org/DynamicFunctionDomains/diff
--
??changed:
function(the domain constructor PPF is a function of
-sort, or functor) and the compiler can take dependent
+sorts, or functor) and the compiler can take dependent
types in its signature,structurally::
??changed:
)abbrev package FOO Foo
---%Foo
-Foo(n:PositiveInteger, k:PositiveInteger):T==C where
- T == with
- point:()->PrimeField(n)
- C == add
- point()==k::Integer::PrimeField(n)
+Foo(n:PositiveInteger, k:Integer):with point:()->PrimeField(n)
+ == add point()==k::PrimeField(n)
\end{axiom}
??changed:
-in any computation in compiler code (and in interpreter). Still
-can't call this bar(n,k) unless you use a macro expansion:
+in any computation in compiler code (and in interpreter). In the
+interpreter you can call this bar(n,k):
??changed:
\begin{axiom}
-bar ==>point()$Foo
-bar(4,7)
+bar(n,k) == point()$Foo(n,k)
+bar(7,4)
\end{axiom}
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
