On Tue, Jun 9, 2009 at 4:05 AM, Johannes Grabmeier wrote:
> I need Any for convenient use of different variable domains in a database
> prototype. This, however, causes problems, as equality semantics not
> transparent for me: Can anybody explain or/and give a way around. E.g.
> counting all occurencies "A" (of type String realized as Any) in a
> Table(Integer, Any) does not work, as the system considers each
> occurency "A" as a new object.
>
> Here some illustrations:
> ...
> aa : Any := "A" :: String
>
> (7) "A"
>
> Type: String
>
> ba : Any := "A" :: String
>
> (9) "A"
>
> (aa = ba)@Boolean
>
> (11) false
>
> Type: Boolean
>
There might be a better way but perhaps you could compare them as
OutputForms? E.g.
(26) -> (objectOf(aa)=objectOf(ba))@Boolean
(26) true
Type: Boolean
(27) -> (objectOf(aa)="A")@Boolean
(27) true
Type: Boolean
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
-~----------~----~----~----~------~----~------~--~---
