I find the types of "lookup" and "index" in FriCAS a bit strange.
http://fricas.github.io/api/Finite.html#l-finite-index index: PositiveInteger -> % lookup: % -> PositiveInteger Yes, it's just a definition, but I would have expected that "index" returns the index of an element, i.e. a number. And lookup(i) gives the i-th element. Interestingly, in the Aldor library it's exactly as I would expect. https://github.com/pippijn/aldor/blob/master/aldor/lib/algebra/src/categories/sit_fset.as index: % -> Z; lookup: Z -> %; Ralf -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/31f46ae9-c2de-3a8e-9a40-509efbc666b4%40hemmecke.org.
