Changes http://wiki.axiom-developer.org/RecurrenceRelationOperator/diff
--
??changed:
-Things to
-do:
+Things to do:
++added:
+[rec.spad]
+
+Here is an example:
+
\begin{axiom}
??changed:
\begin{axiom}
-)abbrev package RECOP RecurrenceOperator
-RecurrenceOperator(R, F): Exports == Implementation where
- R: Join(OrderedSet, IntegralDomain, RetractableTo Integer)
- F: FunctionSpace R
-
- Exports == with
-
- evalRec: (BasicOperator, Symbol, F, F, F, List F) -> F
-
- Implementation == add
-
- ddrec: List F -> OutputForm
- ddrec l ==
- k := kernels(l.4)
- op := operator(k.1)::OutputForm
- values := reverse l
-
- vals: List OutputForm
- := cons(elt(op, [(l.3)::OutputForm]) = eval(l.1, l.2,
l.3)::OutputForm,
-[56 more lines...]
+)lib RECOP
+dummy := new()$Symbol;
+f := operator 'f;
+eq := f(dummy) - f(dummy - 1) - f(dummy - 2);
+r:=evalRec(f, dummy, n, n0, eq, [1,1])$RecurrenceOperator(Integer, Expression
Integer)
+eval(r, n0=1)
\end{axiom}
--removed:
-Here is an example:
-
-\begin{axiom}
-argsym := new()$Symbol;
-argexp := argsym::Expression Integer;
-op := operator new()$Symbol;
-ne := elt(op, argexp - 1) + elt(op, argexp - 2::Expression Integer);
-r:=evalRec(op, argsym, a::Expression Integer, a::Expression Integer, ne, [1,1])
- $RecurrenceOperator(Integer, Expression Integer)
-eval(r, a=7)
-\end{axiom}
-
-From unknown Sat Apr 2 08:13:16 -0600 2005
-From: unknown
-Date: Sat, 02 Apr 2005 08:13:16 -0600
-Subject:
-Message-ID: <[EMAIL PROTECTED]>
-
- * I don't think that the following can be justified mathematically:
-[20 more lines...]
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
