Indeed it's a problem with conversion. The following returns quickly
dsp(x, ['a,'b,'c,'d,'5,'5,'t,'s,'r,'s,'s,'s,'s])
The problem seems to be that you have the number 5 in your list.
If you evaluate [a,b,c,d,5,5,t,s,r,s,s,s,s] in a session, you get
(18) -> [a,b,c,d,5,5,t,s,r,s,s,s,s]
(18) [a, b, c, d, 5, 5, t, s, r, s, s, s, s]
Type: List(Polynomial(Integer))
You give FriCAS the task to figure out how to convert from Polynomial
Integer to Symbol.
(19) -> p := (a::Polynomial(Integer))
(19) a
Type: Polynomial(Integer)
(20) -> p::Symbol
(20) a
Type: Symbol
(21) -> q := (5::Polynomial(Integer))
(21) 5
Type: Polynomial(Integer)
(22) -> 5::Symbol
Cannot convert the value from type PositiveInteger to Symbol .
Ralf
> foo.spad
> )abbrev domain FOO foo
> foo() : Exports == Implementation where
> Exports == with
> mkfoo : Integer -> %
> dsp: (%,List Symbol) -> OutputForm
> Implementation == Integer add
> Rep := Integer
> mkfoo(x:Integer) == x@%
> dsp(x:%,il:List Symbol):OutputForm ==
> l:List OutputForm := [outputForm(s)$OutputForm for s in il]
> first l
>
> Example: dsp(5,[a,b,c,d,s,r])
>
> foo.input:
> dsp(x:Integer,il:List Symbol):OutputForm ==
> l:List OutputForm := [outputForm(s)$OutputForm for s in il]
> first l
>
> Example: dsp(5,[a,b,c,d,5,5,t,s,r,s,s,s,s]) (killed after 1h)
>
> Thanks
> Kurt
>
--
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/0ee512b6-0c07-5aad-1c89-aeca29898db4%40hemmecke.org.
