axiom )expose RECOP Type: Void
axiom f := operator 'f
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(n1)*s(n3)+s(n2)^2)/s(n4); Type: Void
axiom getEq guessRec([s m for m in 0..18], 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, the real issue kratt6, Tue, 13 Jan 2009 05:08:55 0800 reply axiom first [1 for m in 1..4]  m possibly this is related to a problem in the source code of guessExpRat, see the comment there Name:#439 defining a recurrence messes up type of argument => #439 iterator variable is not completely local
