"Serge D. Mechveliani" <[email protected]> writes: | People, | I need to build (in Spad) an element x : (D : EuclideanDomain) | into SExpression.
I suspect the real issue is why you want SExpression as target, therefore forgoing the typing relation? It is agreable to you to maintain the type information even when you use a uniform syntax representation like SExpression? If yes, why don't you use Any? -- Gaby | I do not mind to set it there, for example, via OutputForm. | So, I try | | ----------------------------------------- | )abbrev package FOO Foo | Foo(D : EuclideanDomain) : with | f : D -> SExpression | == | add | f x == | xOF := coerce(x) :: OutputForm | xI := convert(xOF) $InputForm | xStr := unparse(xI) :: String | convert(xStr :: Symbol) $SExpression | ----------------------------------------- | | I have spent 1 hour to find this conversion which satisfies the compiler. | Instead of writing | x :: OutputForm :: String :: SExpression, | | one needs to guess of all these clever coerce, convert, unparse, | and also of introducing InputForm, where this InputForm seems to have | no relevance to the subject. | | 1. Is there possible a simpler code? | 2. If it is not, can the compiler be improved in this point? | | I suspect that all such questions about improving the compiler need to be | consdered in the frame of Aldor, and one could write things in Aldor, | with using the FriCAS library. | (?) | But | a) I do not know, of whether Aldor is currently workable in this mode, | b) it seems, there are some problems with openness and license. | | Thanks, | | Regards, | | ------ | Sergei | [email protected] | | -- | 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. -- 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.
