help links subscribe changes refresh edit

	IssueTracker
#438 Conditional for inner functions in a package ←	↑	→ #44 IssueTracker needs to be able to use old Axiom versions

#439 iterator variable is not completely local

Edit detail for #439 iterator variable is not completely local revision 2 of 2

	1 2
Editor: kratt6 Time: 2009/01/13 05:10:09 GMT-8
Note: better name...

added:

From kratt6 Tue Jan 13 05:10:09 -0800 2009
From: kratt6
Date: Tue, 13 Jan 2009 05:10:09 -0800
Subject: better name...
Message-ID: <20090113051009-0800@axiom-wiki.newsynthesis.org>

Name: '#439 defining a recurrence messes up type of argument' => '#439 iterator variable is not completely local'

axiom

)expose RECOP

   RecurrenceOperator is now explicitly exposed in frame initial 
GUESSRESULT ==> Record(function: EXPR INT, order: NNI)

Type: Void

axiom

f := operator 'f

$\label{eq1}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
      to learn more about the available operations. Perhaps 
      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
      to learn more about the available operations. Perhaps 
      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