Thanks, this solves one of the two problems! The first problem seems to have to do that seeningly the interpreter deals differently with numbers 1 and 2 and perhaps calls < from the Integers.
The coorect behaviour is shown by the following example with Strings: C := FiniteSet(String, ["red", "green", "yellow", "pink"]) (160) FiniteSet(String,["red","green","yellow","pink"]) Type: Type c := index(2)$C (161) "green" Type: FiniteSet(String,["red","green","yellow","pink"]) d := nextItem c (162) "yellow" Type: Union(FiniteSet(String,["red","green","yellow","pink"]),...) c <= d (163) true Type: Boolean d <= c (164) false Type: Boolean c < d (165) true Am 30.06.18 um 17:52 schrieb Waldek Hebisch: > Just quick remark: in similar situations I used a helper > package, like: > > )abbrev package OTNHELP OneToNHelper > OneToNHelper : with > mklist : PositiveInteger -> List(PositiveInteger) > == add > mklist(n) == [i :: PositiveInteger for i in 1..n]$List(PositiveInteger) > > Than in OneToN: > > private ==> FiniteSet(PositiveInteger, mklist(n)$OneToNHelper) add > > This seems to work around the problem. > -- Mit freundlichen Grüßen Johannes Grabmeier Prof. Dr. Johannes Grabmeier Köckstraße 1, D-94469 Deggendorf Tel. +49-(0)-991-2979584, Tel. +49-(0)-151-681-70756 Tel. +49-(0)-991-3615-141 (d), Fax: +49-(0)-32224-192688 -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
