On Sun, Oct 26, 2008 at 9:08 PM, Ralf Hemmecke wrote:
>
>>> InputForm and EXPR INT are by definition not typesafe.
>Bill Page wrote:
>> I do not think this is correct - at least until you give a definition
>> of what "typesafe" might mean in this context. I can not think of
>> any manipulation of values of EXPR INT or InputForm which do
>> not produce good values in their respective domains.
>
> (12) -> vl : List Symbol := [x,y]
>
> (12) [x,y]
> Type: List(Symbol)
> (13) -> p:DMP(vl,Integer):=1
>
> (13) 1
> Type: DistributedMultivariatePolynomial([x,y],Integer)
> (14) -> interpret(convert(p)@INFORM)
>
> (14) 1
> Type: PositiveInteger
>
Why do you consider the result in (14) not "typesafe"? I agree that
the type of this result is not the same as the type of p. But what is
the type of the right hand side of (13)? We can still always write:
(15) -> test(p=interpret(convert(p)@INFORM)::typeOf(p))
(15) true
Type: Boolean
Note: There is a bug here however. I should be able to write this:
(16) -> test(p=interpret(convert(p)@INFORM)$INFORM1(typeOf(p)))
There are no library operations named x
Use HyperDoc Browse or issue
)what op x
to learn if there is any operation containing " x " in its name.
Cannot find a definition or applicable library operation named x
with argument type(s)
Variable(y)
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
----
The error message above does not make sense.
> I agree that both domains might be useful for "symbolic computation",
> but "symbolically" I can also use the big M's.
>
I am uncertain about the status of calculus (and some other parts of
mathematics) as a purely *algebraic* concept. But surely you are not
arguing that Axiom should not attempt to handle these sort of
computations? It makes sense to me to have some domain in Axiom where
"symbolic computation" is possible.
Regards,
Bill Page.
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
