Hi everyone,

I'm trying to calculate the fixed point of the cosine function using the Y 
function (in YSTREAM); my guide to do this is the Scratchpad II Newsletter 
(nov/1987) that describes the fixedPoint function - by the Authors' names I 
inferred that Y and fixedPoint are the same (?).

Well, first I tried the following:

scos x == cos(x)$STTF(Float)
f1(x: Stream Float):Stream Float == cons(1.0, scos(x))

Y f1

That gaves me the error

 >> Error detected within library code:
   Trying to use uninitialized stream

Then I made a similar function using the Stream's map! function:

f1(x: Stream Float):Stream Float == cons(1.0, map!(cos, x))

Y f1

Now the error is

   Compiling function f1 with type Stream(Float) -> Stream(Float) 
 
   >> System error:
   The value
  0
is not of type
  CONS

I'm quite a newbie, so I don“t really understand what's going on, any clues?

-- 
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/637904e9-d3a6-445a-b1da-000d41cff1ccn%40googlegroups.com.

Reply via email to