|
|
|
last edited 15 years ago by kratt6 |
Edit detail for #439 iterator variable is not completely local revision 1 of 2
| 1 2 | ||
|
Editor: kratt6
Time: 2009/01/13 05:10:09 GMT-8 |
||
| Note: the real issue | ||
changed: - \begin{axiom} )expose RECOP GUESSRESULT ==> Record(function: EXPR INT, order: NNI) f := operator 'f -- Somos 4 s: INT -> INT; s(0)==1; s(1)==1; s(2)==1; s(3)==1; s(n)==(s(n-1)*s(n-3)+s(n-2)^2)/s(n-4); getEq guessRec([s m for m in 0..18], maxPower==2).1.function-f(n)*f(n+4)-f(n+1)*f(n+3)-f(n+2)^2 getEq guessRec([s n for n in 0..18], maxPower==2).1.function-f(n)*f(n+4)-f(n+1)*f(n+3)-f(n+2)^2 \end{axiom} From kratt6 Tue Jan 13 05:08:55 -0800 2009 From: kratt6 Date: Tue, 13 Jan 2009 05:08:55 -0800 Subject: the real issue Message-ID: <20090113050855-0800@axiom-wiki.newsynthesis.org> \begin{axiom} first [1 for m in 1..4] - m \end{axiom} possibly this is related to a problem in the source code of guessExpRat, see the comment there
axiom
)expose RECOP
RecurrenceOperator is now explicitly exposed in frame initial GUESSRESULT ==> Record(function: EXPR INT, order: NNI)
Type: Void
axiom
f := operator 'f
 | (1) |
Type: BasicOperator?
axiom
-- Somos 4 s: INT -> INT;
Type: Void
axiom
s(0)==1; s(1)==1; s(2)==1; s(3)==1;
Type: Void
axiom
s(n)==(s(n-1)*s(n-3)+s(n-2)^2)/s(n-4);
Type: Void
axiom
getEq guessRec([s m for m in 0..18], maxPower==2).1.function-f(n)*f(n+4)-f(n+1)*f(n+3)-f(n+2)^2
axiom
Compiling function s with type Integer -> Integer
axiom
Compiling function s as a recurrence relation.
There are no library operations named getEq
Use HyperDoc Browse or issue
)what op getEq
to learn if there is any operation containing " getEq " in its
name.
Cannot find a definition or applicable library operation named getEq
with argument type(s)
Expression Integer
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
getEq guessRec([s n for n in 0..18], maxPower==2).1.function-f(n)*f(n+4)-f(n+1)*f(n+3)-f(n+2)^2
There are no library operations named getEq
Use HyperDoc Browse or issue
)what op getEq
to learn if there is any operation containing " getEq " in its
name.
Cannot find a definition or applicable library operation named getEq
with argument type(s)
Expression Integer
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.