login  home  contents  what's new  discussion  bug reports help  links  subscribe  changes  refresh  edit

 Submitted by : kratt6 at: 2009-01-13T01:09:22-08:00 (14 years ago) Name : Axiom Version : default friCAS-20090114 Axiom-20050901 OpenAxiom-20091012 OpenAxiom-20110220 OpenAxiom-Release-141 Category : Axiom Aldor Interface Axiom Compiler Axiom Library Axiom Interpreter Axiom Documentation Axiom User Interface building Axiom from source lisp system MathAction Doyen CD Reduce Axiom on Windows Axiom on Linux Severity : critical serious normal minor wishlist Status : open closed rejected not reproducible fix proposed fixed somewhere duplicate need more info Optional subject :   Optional comment :

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 1 exposed and 1 unexposed library operations named elt
having 1 argument(s) but none was determined to be applicable.
Use HyperDoc Browse, or issue
)display op elt
package-calling the operation or using coercions on the arguments
will allow you to apply the operation.
Cannot find application of object of type Expression(Integer) to
argument(s) of type(s)
Variable(function)
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 1 exposed and 1 unexposed library operations named elt
having 1 argument(s) but none was determined to be applicable.
Use HyperDoc Browse, or issue
)display op elt
package-calling the operation or using coercions on the arguments
will allow you to apply the operation.
Cannot find application of object of type Expression(Integer) to
argument(s) of type(s)
Variable(function)

the real issue --kratt6, Tue, 13 Jan 2009 05:08:55 -0800 reply
axiom
first [1 for m in 1..4] - m
m is declared as being in PositiveInteger but has not been given a
value.

possibly this is related to a problem in the source code of guessExpRat, see the comment there

better name... --kratt6, Tue, 13 Jan 2009 05:10:09 -0800 reply
Name: #439 defining a recurrence messes up type of argument => #439 iterator variable is not completely local

 Subject:   Be Bold !! ( 15 subscribers )