Changes http://wiki.axiom-developer.org/Guess/diff --
??changed:
-
+\begin{axiom}
+)lib RECOP FAMR2 FFFG FFFGF
+\end{axiom}
\begin{spad}
--removed:
- ord1: Integer -> Integer
-
- ord2: (Integer, Integer) -> Integer
-
- deg1: (Integer, Integer) -> Integer
-
- deg2: (Integer, Integer) -> Integer
-
-
Implementation == add
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
