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:
(1) -> )r anyEqual
ai : IndexedString(10) := char "A"
(1) "A"
Type: IndexedString(10)
bi : IndexedString(10) := char "A"
(2) "A"
Type: IndexedString(10)
(ai = bi)@Boolean
(3) true
Type: Boolean
a : String := "A"
(4) "A"
Type: String
b : String := "A"
(5) "A"
Type: String
(a = b)@Boolean
(6) true
Type: Boolean
aa : Any := "A" :: String
(7) "A"
Type: String
domainOf aa
(8) String()
Type: OutputForm
ba : Any := "A" :: String
(9) "A"
Type: String
domainOf ba
(10) String()
Type: OutputForm
(aa = ba)@Boolean
(11) false
Type: Boolean
aA : Any := a
(12) "A"
Type: String
domainOf aa
(13) String()
Type: OutputForm
bA : Any := b
(14) "A"
Type: String
(aA = bA)@Boolean
(15) false
Type: Boolean
--
Mit freundlichen Grüßen
Johannes Grabmeier
Prof. Dr. Johannes Grabmeier
Köckstr. 1, D-94469-Deggendorf
Tel.-pv. +49-(0)-991-2979-584, Tel.-mob. 0171-550-3789
Tel.-d +49-(0)-991-3615-141, Sekr. -154
Fax-p: +49-(0)-1803-5518-17745
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
