>> InputForm and EXPR INT are by definition not typesafe.
> 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
I agree that both domains might be useful for "symbolic computation",
but "symbolically" I can also use the big M's.
Ralf
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
