I' m really sorry for my misunderstanding in the function
"explicitlyFinite",though the problem is about the function "map",for
example,
(1) -> res:List INT := [i for i in 1..3]
(1) [1,2,3]
Type:
List(Integer)
(2) -> s1:Stream INT := res :: Stream INT
(2) [1,2,3]
Type:
Stream(Integer)
(3) -> aMap : INT -> INT := i +-> i+1
(3) theMap(*1;anonymousFunction;0;frame1;internal)
Type: (Integer ->
Integer)
(4) -> s2 := map(aMap, s1)
(4) [2,3,4]
Type:
Stream(Integer)
(5) -> explicitlyFinite? s2
(5) true
Type:
Boolean
(6) -> )read test.input
test: () -> Boolean
Type:
Void
test(): Boolean ==
res : List INT := [i for i in 1..3]
s1 : Stream INT := res :: Stream INT
aMap : INT -> INT := i +-> i+1
s2 := map(aMap, s1)
explicitlyFinite? s2
Function declaration test : () -> Boolean has been added to
workspace.
Type:
Void
(8) -> test()
Compiling function test with type () -> Boolean
(8) false
Type:
Boolean
As shown above,when functioned alone in emacs,it turns out to be
true,however,the function "test()" turns out to be false.
so,bug?
2011/11/1 siqi zhou <[email protected]>
> Dear sirs,
> I'm very glad to write to you.I have no other choose but to ask for your
> help,though it may bother you.What troubles me a long time is a problem
> existing in Pesudo.spad .Now I 'll take an example to give a specific
> explanation.
> res:List CoefDom:=[i for i in 1..3]
> explicitlyFinite? res was ture when functioned alone in
> emacs,however,when I took use of it in the function constructed by
> myself,it turned out to be false.For example,the function
> generate(res:List CoefDom,2:Integer) was no problem(finite) when functioned
> alone in emacs ,but it also turned out to be false(infinite) in the
> function constructed by myself,so,is it a bug?
> Thank you very much !
> I look forward to hearing from you soon.
> Best wishes,
> Siqi
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
